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 / dune
273 B 5 lines
1(library 2 (name leibniz) 3 (public_name leibniz) 4 (libraries str) 5 (modules expr canonical simplify substitute lexer parser diff eval integrate series multivariate numerical format polynomial groebner cse codegen limits matrix ode special transforms assumptions piecewise))