Advertisement
Pragmatic Mathematical Service
Pragmatic Mathematical Service package contains a handful of Javascript functions....
JavaScript mathematical JavaScript library functions mathematical functions
Formulas Rendering Plug-In for the Gimp 2
Formulas Rendering Plug-In for the Gimp 2 is a simple plugin that allows you to change the values of each color channel of layer...
K3DSurf
K3DSurf is a program who generate 3D surfaces with Mathematical formulas....
3D 3D drawing surfaces 3D surfaces generator mathematical formulas
Isabelle
Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich....
assistant proof theorem prover mathematical formulas proof assistant
KSpread
KSpread is a scriptable spreadsheet program which provides both table-oriented sheets....
spreadsheet scriptable mathematical formulas scriptable spreadsheet table-oriented sheets