Symbolica
High-performance symbolic‑numeric computing.
Exact algebra and optimized numerical kernels for Python and Rust.
from symbolica import *
x, y = S('x', 'y')
Expression.solve([x**2 + y**2 - 25, x - 2*y], [x, y])from symbolica import *
x, y, f = S('x', 'y', 'f')
# Mix built-in and user-defined functions in one expression
e = E('cos(x)*3*x^2 + f(x)')
ev = e.evaluator([x], functions=[FunctionDefinition(f, [y], y**2)])
# Evaluate the optimized evaluator
value = ev.evaluate_with_prec([Float('0.3', decimal_digits=20)], 20)[0]
valuefrom symbolica import *
x = S('x')
# Find an exact antiderivative, including the exponential and trig terms.
E('exp(x)*sin(x)').integrate(x)from symbolica import *
# A sum of fourth powers hides two quadratic factors.
p = E('x^4 + 4*y^4')
p.factor()from symbolica import *
e = E('(sin(a)^2 + cos(a)^2)*(sin(b)^2 + cos(b)^2)')
# x_ matches any argument: one rule simplifies both angles.
e.replace(E('sin(x_)^2 + cos(x_)^2'), 1)Used by researchers at
- CERN
- ETH Zurich
- KIT
- Southeast University
- University of Bern
- University of Helsinki
- University of Zurich
Fast calculations
State-of-the-art algorithms and optimized numerical kernels for demanding symbolic and numeric computations.
Performance comparisonsCompact expressions
A compact expression representation keeps large computations lean. Stream expressions beyond RAM when you need more room.
Memory efficiencyNotebook ready
Work in Jupyter or marimo with beautifully typeset mathematics and rich output.
In [1]:
E('sin(x)^2').integrate(x)Out[1]:
Install Symbolica
Get started in minutes with Python or Rust.
Python
pip install symbolicaRust
cargo add symbolica