13 results found Sort:

casadi
casadi casadi
402
1.9k
lgpl-3.0
55
CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-c...
matlab octave python library modular nonlinear c-plus-plus derivatives mathematics optimization code-generation optimal-control academic-project parameter-estimation scientific-computing nonlinear-programming symbolic-manipulation numerical-calculations algorithmic-differentation
Created 2012-10-31
16,994 commits to main branch, last one 22 hours ago
davidedc
Algebrite davidedc
60
977
mit
36
Computer Algebra System in Javascript (Typescript)
cas math algebra symbolic algebraic javascript coffeescript javascript-cas computer-algebra symbolic-computation algebraic-computation symbolic-manipulation computer-algebra-system
Created 2016-03-23
943 commits to master branch, last one 3 years ago
asc-community
AngouriMath asc-community
77
796
mit
28
New open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
math latex nuget parse csharp fsharp solver algebra jupyter parsing calculus equations inequality integration symbolic-math differentiation computer-algebra arbitrary-precision symbolic-manipulation
Created 2019-11-27
1,502 commits to master branch, last one 9 months ago
benruijl
symbolica benruijl
25
589
other
12
A modern computer algebra library for Python and Rust.
physics expansion arithmetic expressions mathematics factorization groebner-basis computer-algebra pattern-matching symbolic-computation numerical-integration polynomial-arithmetic symbolic-manipulation greatest-common-divisor
Created 2023-01-11
557 commits to main branch, last one 4 days ago
JuliaSymbolics
SymbolicUtils.jl JuliaSymbolics
120
545
other
17
Symbolic expressions, rewriting and simplification
julia symbolic-math pattern-matching symbolic-manipulation
Created 2020-02-09
1,711 commits to master branch, last one 18 hours ago
JuliaSymbolics
Metatheory.jl JuliaSymbolics
45
367
mit
12
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, ...
julia egraphs symbolic optimization term-rewriting equality-saturation programming-language symbolic-computation compiler-construction compiler-optimization symbolic-manipulation
Created 2021-01-12
679 commits to master branch, last one about a month ago
mathnet
mathnet-symbolics mathnet
68
355
mit
27
Math.NET Symbolics
math dotnet fsharp mathnet computer-algebra symbolic-manipulation
Created 2014-03-29
397 commits to master branch, last one about a year ago
fricas
fricas fricas
47
325
bsd-3-clause
24
Official repository of the FriCAS computer algebra system
math mathematics risch-algorithm computer-algebra symbolic-computation symbolic-integration symbolic-manipulation computer-algebra-system
Created 2014-05-07
3,225 commits to master branch, last one 4 days ago
kpeeters
cadabra2 kpeeters
41
237
gpl-3.0
20
A field-theory motivated approach to computer algebra.
physics python3 tensors cadabra2 cplusplus mathematics tensor-algebra computer-algebra science-research symbolic-manipulation computer-algebra-system
Created 2015-11-03
3,598 commits to master branch, last one 2 months ago
SymbolicML
DynamicExpressions.jl SymbolicML
16
116
apache-2.0
2
Ridiculously fast symbolic expressions
binary-trees symbolic-regression expression-evaluator symbolic-computation symbolic-manipulation
Created 2022-10-16
2,695 commits to master branch, last one 24 days ago
bjodah
pyodesys bjodah
7
93
bsd-2-clause
8
∫ Straightforward numerical integration of systems of ordinary differential equations
sympy code-generation numerical-codes initial-value-problem symbolic-manipulation ordinary-differential-equations
Created 2015-09-25
608 commits to master branch, last one 8 months ago
dfdx
Espresso.jl dfdx
8
58
other
9
Expression transformation package
macros metaprogramming pattern-matching symbolic-manipulation expression-transformation
Created 2016-07-27
247 commits to master branch, last one 6 months ago
bjodah
pyneqsys bjodah
6
50
bsd-2-clause
4
Solve symbolically defined systems of non-linear equations numerically.
sympy root-finding least-squares nonlinear-equations symbolic-manipulation
Created 2015-10-01
201 commits to master branch, last one 11 months ago