Mathematics
Software for mathematics: algebra, numerical computing, geometry, proofs and solvers.
Includes: Computer algebra, numerical software, dynamic geometry, proof assistants, SAT and SMT solvers and formula editors.
For example: GeoGebra, GNU Octave, Mathematica.
65 listed products
| Product | What it says it does |
|---|---|
| Alt-Ergo | Alt-Ergo is an automatic prover of mathematical formulas used behind software verification tools such as Frama-C, SPARK, Why3, Atelier-B… |
| APOPT | Turn race footage into personal highlight reels, training videos into practical form feedback, and wearable data into decisions athletes… |
| Magma | Magma is a large, well-supported software package designed for computations in algebra, number theory, algebraic geometry, and algebraic… |
| XMLmind XML Editor | A strictly validating, near WYSIWYG, DocBook editor, DITA editor, XHTML editor, MathML editor, XML editor, aimed at technical writers |
| Yacas | Yacas is an easy to use, general purpose Computer Algebra System, a program for symbolic manipulation of mathematical expressions. |
| CPLEX | Model and solve complex planning, scheduling and resource assignment problems with world-class optimization solvers. |
| Dmaths | macros pour faciliter l'édition de formules mathématiques sous Libreoffice, OpenOffice et Word. |
| Geometrix | Logiciel d'intelligence artificielle, GEOMETRIX est la seule application capable de corriger en direct |
| Matheass | MatheAss is an extensive collection of routines that allow many tasks from school mathematics to be solved |
| MathGraph32 | Logiciel libre de géométrie, d'analyse et de simulation multiplateforme par Yves Biton |
| Meta.Numerics | Meta.Numerics is a library for advanced scientific computation in the .NET Framework. |
| Optimus platform | find out how Optimus enables leading manufacturers in engineering-intense industries |
| Photomath | Our step-by-step explanations help you break down problems so you can learn as you go. |
| SmartDO | Global Design Optimization Software for CAE Optimization, FEA Optimization and general purpose design optimization |
| SPASS | as a workbench of tools where the successor of the classic prover is simply one component. |
| Stella | Stella lets you create and view polyhedra, then print the unfolded nets required to build your own paper models. |
| TomSym | TomSym is a TOMLAB class for modeling optimization, constraint programming and optimal control problems in MATLAB, |
| Algebrator | Solve an equation, inequality or a system. |
| GeoGebra | GeoGebra is an interactive mathematics platform for teaching and learning. |
| HOL Light | HOL Light is a computer program to help users prove interesting mathematical |
| InstrumenPoche | un outil permettant de créer et lire des animations d'outils de géométrie |
| KaTeX | The fastest math typesetting library for the web. |
| Kig | Kig is an interactive mathematics software for learning and teaching geometry. |
| LibreOffice Math | Easily write mathematical formulas using a visual editor or plain text. |
| LiveMath | A symbolic algebra and graphing platform for the rest of us |
| MathJax | A JavaScript display engine for mathematics that works in all browsers. |
| MathType | Create and edit math formulas with our math editor, MathType. |
| MINLOG | Minlog is an interactive proof system developed by |
| OpenOffice Math | Math is Apache OpenOffice’s component for mathematical equations. |
| OptiY | Leader in CAE-based Design for Reliability and Quality |
| Polymake | polymake is open source software for research in polyhedral geometry. |
| Prover9 | Prover9 is an automated theorem prover for first-order and equational logic, |
| Sage | SageMath - Open-Source Mathematical Software System |
| TracenPoche | TracenPoche est un logiciel de géométrie dynamique utilisable sur |
| Vampire theorem prover | Vampire is a theorem prover, that is, a system able to prove theorems |
| WIRIS | Digital solutions for Math and Science Education | Wiris |
| Cinderella | The Interactive Geometry Software |
| Fermat | Fermat, Computer Algebra System |
| MuPAD | computer algebra system (CAS), originally developed by the MuPAD research group at the University of Paderborn, Germany |
| Prototype Verification System | specification language integrated with support tools and an automated theorem prover |
| FORM | mathematical software for symbolic manipulation |
| Gekko (optimization software) | modeling language for machine learning and optimization |
| Kimeme | open platform for multi-objective optimization |
| OpenCog | open source artificial intelligence software framework |
| Theorem Proving System | automated theorem proving system for first-order and higher-order logic |
| Axiom | computer algebra system |
| C.a.R. | interactive geometry app |
| Cabri Geometry | interactive geometry program |
| CaRMetal | interactive geometry program |
| GRASP | SAT instance solver |
| Integer set library | mathematical software |
| Isabelle | higher-order logic (HOL) proof assistant |
| KFormula | KDE formula editor |
| KSEG | geometry software |
| Macsyma | computer algebra system |
| Maxima | computer algebra system |
| Scicos | software |
| SMath Studio | computer algebra system |
| TOMLAB | mathematical optimization software |
| GEONExT | Not observed |
| Geoplan | Not observed |
| ModelCenter | Not observed |
| PROPT | Not observed |
| ScicosLab | Not observed |
| TOMNET | Not observed |
38 of these are read from their own pages. A product appears where AirStack's category list places it; 7,865 of 13,386 listed products carry no category yet.