JuliaSymbolics
A fast and modern CAS for a fast and modern language
Pinned Loading
Repositories
Showing 9 of 9 repositories
- SymbolicIntegration.jl Public
Julia implementations of symbolic integration algorithms. Risch method, Rule-based integration (RUBI), and much more.
JuliaSymbolics/SymbolicIntegration.jl’s past year of commit activity - Metatheory.jl Public
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.
JuliaSymbolics/Metatheory.jl’s past year of commit activity - TermInterface.jl Public
Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert
JuliaSymbolics/TermInterface.jl’s past year of commit activity
