Symbolica logo. Symbolica logo. Symbolica
  • Documentation
  • Gallery
  • Pricing
  • Blog
  • About

Gallery

Symbolica notebooks in your browser.

Open a notebook to edit and run the examples. Browser examples need no installation (about 40 MB downloaded on first use).

General

Explore symbolic algebra, exact arithmetic, and fast numerical evaluation.

START HERE / SYMBOLIC ALGEBRA
(x + y)³
Expand. Differentiate. Rewrite. Experiment.
GeneralQuick start

Symbolica quick start

A hands-on introduction to exact numbers, expansion, factorization, derivatives, and pattern matching.

Open notebook →
NUMERICAL EVALUATION
f(x)
Optimize. Evaluate. Increase precision.
General

Numerical kernels

Create optimized numerical evaluators, inspect their instructions, and evaluate real or complex expressions at high precision.

Open notebook →

Tensor algebra

Explore symbolic linear algebra, contractions, and tensor building blocks.

SPINOR CURRENTS
J̄ γμ γν γρ
Tensors

Tensor explorer

Build a spinor current, execute its tensor network, and inspect the resulting tensor and its structure.

Open notebook →

HEPkit

A versatile toolkit for High-Energy Physics, covering graph generation, tensor manipulation, multi-loop amplitude computations, and IBP reductions. Learn more at hepkit.org.

FOUR-LOOP QCD
g → g
HEPkit

Four-loop gluon numerators

Generate four-loop gluon propagator diagrams, select a topology, and reduce its projected numerator.

Open notebook →
DIPHOTON PRODUCTION
e⁻ e⁺ → γ γ
HEPkit

Electron–positron annihilation

Calculate the spin-averaged squared amplitude and angular cross section, including the electron mass and photon interference.

Open notebook →
LOOP INTEGRALS
(k · p)²
HEPkit

Covariant tensor reduction

Reduce loop-momentum tensor numerators in symbolic dimension using HEPkit’s covariant tensor reducer.

Open notebook →
THREE-LOOP IBP REDUCTION
I(n₁, …, n₆)
HEPkit

Three-loop massive vacuum reduction

Generate and certify IBP rules for the equal-mass Mercedes graph, explore the rules, and reduce integrals in symbolic dimension.

Open notebook →
TWO-LOOP KITE INTEGRAL
f(ρ, r)
HEPkit

Massive kite integral

Compare exact hyperlogarithmic integration with AMFlow and DiffExp, varying the masses and spacelike momentum of a two-loop kite.

Open notebook →
Run a notebook at home
  1. Install uv.
  2. Click the download icon beside any notebook above.
  3. Open a terminal in the folder where you saved it and run:
uvx --refresh --python 3.14 --with symbolica marimo edit quick-start.py

Replace quick-start.py with your downloaded filename. uv installs Python, Symbolica, and marimo for you. The notebook opens in your browser and runs on your computer. If marimo asks to install a missing package, click Install.

Run this notebook at home

  1. Install uv (once)

    Get uv ↗ — it takes care of Python and the packages you need.

  2. Download the notebookquick-start.py
  3. Open it on your computer

    In the download folder, open a terminal and run:

Your notebook opens in your browser, ready to run. If prompted for a missing package, click Install.

Open in new tab ↗

Shift + Enter runs a cell; Ctrl + Space opens completions.

Loading notebook…