JuliaSymbolics's repositories
Symbolics.jl
Symbolic programming for the next generation of numerical software
SymbolicUtils.jl
Symbolic expressions, rewriting and simplification
Metatheory.jl
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
TermInterface.jl
Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert
SymbolicSMT.jl
Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions
SymbolicIntegration.jl
Julia implementations of symbolic integration algorithms. Risch method, Rule-based integration (RUBI), and much more.
Rewriters.jl
A library for composing together term rewriting combinators.
JuliaSymbolics.org
Website for the JuliaSymbolics organization.