13 results found Sort:

casadi
casadi casadi
408
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
17,052 commits to main branch, last one 24 days 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
78
795
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 10 months ago
benruijl
symbolica benruijl
27
601
other
13
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
565 commits to main branch, last one 8 days ago
JuliaSymbolics
SymbolicUtils.jl JuliaSymbolics
121
547
other
16
Symbolic expressions, rewriting and simplification
julia symbolic-math pattern-matching symbolic-manipulation
Created 2020-02-09
1,754 commits to master branch, last one a day ago
JuliaSymbolics
Metatheory.jl JuliaSymbolics
45
371
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 2 months ago
mathnet
mathnet-symbolics mathnet
68
357
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
332
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,236 commits to master branch, last one a day ago
kpeeters
cadabra2 kpeeters
41
240
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 3 months ago
SymbolicML
DynamicExpressions.jl SymbolicML
15
117
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 about a month ago
bjodah
pyodesys bjodah
7
94
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 9 months ago
dfdx
Espresso.jl dfdx
8
59
other
9
Expression transformation package
macros metaprogramming pattern-matching symbolic-manipulation expression-transformation
Created 2016-07-27
247 commits to master branch, last one 7 months ago
bjodah
pyneqsys bjodah
6
51
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 12 months ago