fricas / fricas Star 400 Code Issues Pull requests Official repository of the FriCAS computer algebra system math computer-algebra mathematics symbolic-manipulation symbolic-computation computer-algebra-system symbolic-integration risch-algorithm Updated Nov 5, 2026
JuliaSymbolics / SymbolicIntegration.jl Star 52 Code Issues Pull requests Discussions Julia implementations of symbolic integration algorithms: Risch method, rule based method symbolic analytical-solution integrals rule-based symbolic-integration risch-algorithm Updated Nov 12, 2026 Julia
evgwpw / Qedra Star 2 Code Issues Pull requests Discussions Computer algebra with verifiable answers: Risch, Gruntz, Kovacic, certificates, step-by-step solutions; CLI, MCP and browser (WebAssembly) lisp fsharp computer-algebra mcp webassembly cas symbolic-math risch-algorithm llm Updated Nov 15, 2026 Common Lisp
NsPowEr / CASForSwift-DSN Star 0 Code Issues Pull requests High-performance C++ Symbolic Algebra System (CAS) with Gröbner Basis F4 and Risch Integration. computer-algebra mathematics symbolic-computation computer-algebra-system groebner-basis mpfr cpp20 risch-algorithm Updated Jul 29, 2026 C++