Mathematics software reviews
Showing 51 to 75 from 122 matches
|
Hessian GTK 0.40 Mathematics Hessian GTK calculates the local minimum/maximum/saddle point of a second grade math function. Hessian is a math program that lets GPL (GNU General Public License) |
|
High Visibility Calculator 0.0.9 Mathematics GPL (GNU General Public License) |
|
HOL-OCL 0.9.0 Mathematics HOL-OCL is an interactive proof environment for the Object Constraint Language (OCL) GPL (GNU General Public License) |
|
Hypre 1.14.0b Mathematics Hypre's goal of the Scalable Linear Solvers project is to develop scalable algorithms and software for solving large, sparse lin Free for non-commercial use |
|
Isabelle 2005 Mathematics Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich BSD License |
|
K3DSurf 0.6.1.1 Mathematics K3DSurf is a program who generate 3D surfaces with Mathematical formulas ( Parameter or Explicit equations). A more advanced versi GPL (GNU General Public License) |
|
KnotPlot 27Oct05 Mathematics KnotPlot is an OpenGL program that runs on most types of computers. KnotPlot is freeware to visualize, manipulate, and physically si Free for non-commercial use |
|
Konzept 0.2 Mathematics Konzept is a small class diagram editor GPL (GNU General Public License) |
|
kpolynome 0.1 Mathematics GPL (GNU General Public License) |
|
KSEG 0.402 Mathematics KSEG is a Free (GPL) interactive geometry program for exploring Euclidean geometry GPL (GNU General Public License) |
|
L2P 1.0-pre1 Mathematics L2P creates PNG images of mathematical expressions formatted in LaTeX Public Domain |
|
lamprop 1.3.1 Mathematics lamprop's purpose is to calculate some properties of fiber-reinforced composite laminates GPL (GNU General Public License) |
|
Lattice point Enumeration 1.2-mk-0.6 (Macchiato) Mathematics Lattice point Enumeration is a computer software dedicated to the problems of counting and detecting lattice points inside convex pol GPL (GNU General Public License) |
|
Low Resolution Modeline Calculator 0.9.2 Mathematics Low Resolution Modeline Calculator is a modeline calculator for legacy CRT displays, including TVs, arcade monitors, and VGA monitors GPL (GNU General Public License) |
|
machine learning framework 1.5 Mathematics machine learning framework for Mathematica is a collection of powerful machine learning algorithms integrated into a framework for th Freeware |
|
MagNum 1.0.0 Mathematics GPL (GNU General Public License) |
|
Mantissa 7.0 Mathematics Mantissa is a collection of various mathematical tools aimed towards for simulation BSD License |
|
Master Math Word Problems 1.6 Mathematics Solving word problems is an area where elementary students overwhelmingly display difficulties GPL (GNU General Public License) |
|
MAT Template Library 0.1.7 Mathematics MAT Template Library is a C++ mathematical template class library MIT/X Consortium License |
|
Mathemagics 1.1 Mathematics GPL (GNU General Public License) |
|
mcl-algorithm 06-021 Mathematics mcl-algorithm is a scalable cluster algorithm for graphs based on stochastic flow. The flow process employed by the algorithm is m GPL (GNU General Public License) |
|
Model Builder 0.3.5 Mathematics Model Builder is a graphical tool for designing, simulating, and analyzing mathematical models consisting of a system of ordinary dif GPL (GNU General Public License) |
|
Molle 1.0 Mathematics Molle is a cross-platform prover for modal logic Academic Free License (AFL) |
|
MOMHVis 1.0.0 Mathematics GPL (GNU General Public License) |
|
Multiplication Station 1.3.3 Mathematics Multiplication Station project is an application to help memorize multiplication tables through 12x12 GPL (GNU General Public License) |