12 projects
multiple-integrate
Symbolic definite integration with geometric reductions, coordinate transformations, and convergence analysis.
asymptotic
Symbolic asymptotics, transseries, dominant balance, and certified remainders on SymPy
semialg
Exact real algebraic and semialgebraic geometry in Python: CAD, quantifier elimination, semialgebraic solving, decomposition, integration, and measure.
algroots
Exact and approximate methods for solving zero-dimensional polynomial and algebraic systems.
odeanalysis
Symbolic formal and structural analysis of ODEs and differential systems
funcprops
Symbolic analysis of real, complex, and multivariate function properties for SymPy
probstats
Probability and statistics for Python with exact and approximate inference, Bayesian methods, algebraic statistics, survival analysis, random matrices, and labeled-data support.
tensoratlas
SymPy-backed symbolic tensor algebra, coordinate geometry, forms, relativity, and geometric algebra.
exprtest
Fast symbolic expression predicates with exact, numeric, and heuristic methods.
symbopt
Certifying symbolic optimization built on SymPy
algrecognize
Recognize low-complexity algebraic numbers from high-precision numerical approximations using FLINT
pdesolve
Symbolic partial differential equation solver with classical, transform, reduction, and Green-function methods
