MathJournal is an interactive program for the Tablet PC that provides a natural and intuitive environment for solving mathematical and engineering problems. MathJournal recognizes handwritten mathematical expressions, an ...
Axiom is a general purpose Computer Algebra system. It is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language ...
OpenCyc is a cut-down open version of the Cyc technology, the worlds largest and most complete general knowledge base and commonsense reasoning engine. Cycorp, the builders of Cyc, have set up an independent organization ...
Wolfram Alpha is a "Computational Knowledge Engine" - different from a search engine, it answers factual queries directly by computing the answer from structured data, rather than providing a list of documents ...
Mathematica is a computational software program used widely in scientific, engineering, and mathematical fields and other areas of technical computing.
Maple is a general-purpose commercial computer algebra system.