De concurrentie ... en andere bronnen van informatie :-)

Commerciële programma's

• Cayley
• Derive
  Blijkbaar door TI overgenomen?
• DPGraph
  2D t/m 7D grafiek visualisatie programma
• IDL (Interactive Data Language)
• Macsyma
• Maple
• Magma
• Mathematica
• MuPAD
  Gratis ``light'' versie beschikbaar; output is in prettyprint Ascii formaat; functieplotter, eigen programmeertaal, Gröbner basissen; library code vrij in te kijken (ook in de light versie???)
• Reduce

Gratis programma's

• Fermat
  Fermat is a computer algebra system for Macs (68K or PPC) and Windows by Robert H. Lewis of Fordham University, that does arithmetic of arbitrarily long integers and fractions, symbolic calculations, graphics, and other numerical calculations. It is extremely fast and extremely economical of space. The main version is oriented toward polynomial and matrix algebra over the rationals Q and finite fields (hence the name "QFermat"). On the Mac side, there are versions that run under MPW for 68K Macs and stand-alone versions for PPC. There is also a "float" version for graphics.
• GAP
  Licentie: Copyrighted, maar vrij te gebruiken voor niet-commerciëe doeleinden
• GiNaC - GiNaC is not a CAS
  Licentie: GPL
  It has been specifically developed to become a replacement engine for xloops which is up to now powered by the Maple CAS. However, it is not restricted to high energy physics applications. Its design is revolutionary in a sense that contrary to other CAS it does not try to provide extensive algebraic capabilities and a simple programming language but instead accepts a given language (C++) and extends it by a set of algebraic capabilities.
• HartMath
  Licentie: GPL
  Taal: Java
  HartMath is an experimental computer algebra system written in Java 1.1. Some of the main implemented features are: big rational number arithmetic, symbolic derivatives, linear algebra, plot functions,numeric functions, pattern matching rules, pure functions, runs on EPOC32 operating system (i.e. Psion 5mx, Netbook or Ericsson MC218 with java virtual machine)
• JACAL
  Licentie: GPL
  Taal: Scheme
  JACAL is an interactive symbolic mathematics program. JACAL can manipulate and simplify equations, scalars, vectors, and matrices of single and multiple valued algebraic expressions containing numbers, variables, radicals, and algebraic differential, and holonomic functions.
  (met interessante documentatie op de homepage)
• jape
  Licentie: geen?
  Jape is an interactive tool designed to help with learning, teaching and using formal reasoning. It's a kind of interpreter: it takes in descriptions of logics as systems of inference rules, and allows you (or your friends, your colleagues, your students) to control the development of proofs in that logic. It has a tactic language which is used to control the display of proofs and to allow simple searches. It's very flexible: the syntax of logical formulae, the form of judgements, the rules used, the entries in menus, the effect of selection and double-clicking -- all are under the control of the person who encodes the logic.
• JSci - A science API for Java
  Licentie: free
  Taal: Java
  Eigen-vergelijkingen, Fourier transforms, statistics, Wavelets, matrices
• Kalamaris
  Licentie: GPL
  Mathematica-alike
  
• Maxima
  Licentie: GPL
  Taal: Common Lisp
  Macsyma kloon
• Metamath
  Licentie: GPL
  The Metamath Proof Explorer has 60 MBytes of web pages containing over 3000 completely worked out proofs in logic and set theory, interconnected with more than 130000 hyperlinked cross-references. Each proof is pieced together with razor-sharp precision using simple rules, allowing almost anyone with a technical bent to follow it without difficulty. With point-and-click links, every step can be drilled down deeper and deeper into the labyrinth until axioms will ultimately found at the bottom. Armchair mathematicians can spend literally days exploring the complex tangle of logic leading, say, from 2 + 2 = 4 back to the axioms of set theory. The proof collection includes many famous theorems of elementary set theory.
• Mockmma
  Licentie: open (source beschikbaar, enige voorwaarde is het overnemen van de copyright notice) Taal: Common Lisp
  Mathematica-achtig
• Octave
  Licentie: GPL
  a high-level language, primarily intended for numerical computations. It provides a convenient command line interface for solving linear and nonlinear problems numerically, and for performing other numerical experiments using a language that is mostly compatible with Matlab. It may also be used as a batch-oriented language.
• RLab
  Licentie: GPL
  Rlab is an interactive, interpreted scientific programming environment. Rlab is a very high level language intended to provide fast prototyping and program development, as well as easy data-visualization, and processing. Rlab is not a clone of languages such as those used by tools like Matlab or Matrix-X/Xmath. However, as Rlab focuses on creating a good experimental environment (or laboratory) in which to do matrix math, it can be called ``Matlab-like''; since the programming language possesses similar operators and concepts.
• SciLab
  License: free
  Scilab is a matrix-based scientific software package resembling Matlab and Xmath. Scilab contains hundreds of built-in mathematical functions, sophisticated data structures (including polynomials, rationals, linear systems, lists, etc...), a high-level interpreter and a macro language, and excellent graphics. Thanks to full dynamic link capability, C and Fortran programs can be added as new functions.
• SPIN, een pakket om gedistribueerde systemen formeel te verifiëren
• superficie
  Licentie: GPL
  3D-oppervlakte visualisatie (data moet je elders genereren)
  Homepage bevat links naar andere pakketten.
• yacas (Yet Another Computer Algebra System)
  Licentie: GPL
  Taal: C++
  arbitrary precision, rational numeric, vector, complex, and matrix computations (including inverses and determinants and solving matrix equations), derivatives, solving, Taylor series, numerical solving (Newtons method), and a lot more non-mathematical algorithms.
  Homepage bevat links naar andere wiskundepakketten.

Benchmarks

• Wester benchmark
• Computer Algebra Benchmark Initiative
• Comparison of Polynomial-Oriented Computer Algebra Systems
• TPTP (Thousands of Problems for Theorem Provers)
• Benchmarks

Standaarden

• MathML Opmaaktaal voor wiskunde (HTML-achtig)
• OpenMath soortgelijk, maar meer op inhoud toegspitst (MathML zorgt meer voor presentatie op scherm of papier)
• OMDoc

Varia

Uit te zoeken