vm.fail / leibniz
symbolic mathematics engine in OCaml with differentiation, integration, simplification, and numerical methods
17
Fork 0

Configure Feed

Select the types of activity you want to include in your feed.

leibniz / lib
25 files
assumptions.ml
canonical.ml
codegen.ml
cse.ml
diff.ml
dune
eval.ml
expr.ml
format.ml
groebner.ml
integrate.ml
lexer.ml
limits.ml
matrix.ml
multivariate.ml
numerical.ml
ode.ml
parser.ml
piecewise.ml
polynomial.ml
series.ml
simplify.ml
special.ml
substitute.ml
transforms.ml