Computer Programs

< Mathematics <
TwitterFacebook
Get flash to fully experience Pearltrees
http://isabelle.in.tum.de/download.html

Download and installation

General Isabelle supports the three main platform families: Linux, Mac OS X, and Windows (via Cygwin). The main Isabelle bundle already includes pre-compiled logic images and add-on tools for convenience, with a few external requirements as explained below. The raw Isabelle source package is available here , but assembling a proper distribution from it is quite involved. Past releases are available from the archive .
Arabic &nbsp; Bosnian &nbsp; Bulgarian &nbsp; Catalan &nbsp; Chinese (Traditional) &nbsp; Croatian &nbsp; Czech &nbsp; Danish &nbsp; Dutch &nbsp; English &nbsp; Estonian &nbsp; Finnish &nbsp; French &nbsp; German &nbsp; Greek &nbsp; Hebrew &nbsp; Hungarian &nbsp; Icelandic &nbsp; Indonesian &nbsp; Italian &nbsp; Japanese &nbsp; Kazakh &nbsp; Korean &nbsp; Lithuanian &nbsp; Macedonian &nbsp; Malay &nbsp; Malayalam &nbsp; Norwegian &nbsp; Persian &nbsp; Polish &nbsp; Portuguese (Brazil) &nbsp; Portuguese (Portugal) &nbsp; Romanian &nbsp; Russian &nbsp; Serbian &nbsp; Slovak &nbsp; Slovenian &nbsp; Spanish &nbsp; Swedish &nbsp; Turkish &nbsp; Ukrainian &nbsp; Vietnamese &nbsp; http://www.geogebra.org/cms/

GeoGebra

http://maxima.sourceforge.net/

Maxima, a Computer Algebra System

Maxima is a system for the manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential equations, systems of linear equations, polynomials, and sets, lists, vectors, matrices, and tensors. Maxima yields high precision numeric results by using exact fractions, arbitrary precision integers, and variable precision floating point numbers. Maxima can plot functions and data in two and three dimensions. The Maxima source code can be compiled on many systems, including Windows, Linux, and MacOS X. The source code for all systems and precompiled binaries for Windows and Linux are available at the SourceForge file manager .
Hilbert Space Explorer - Extends ZFC set theory into Hilbert space, which is the foundation for quantum mechanics. Includes over 1,000 complete formal proofs. Updated 11-Sep-2009. Quantum Logic Explorer - Starts from the orthomodular lattice properties proved in the Hilbert Space Explorer and takes you into quantum logic with around 1,000 proofs. Updated 28-Oct-2011. Metamath Solitaire - A Java applet that demonstrates simple proofs.

Metamath Home Page

http://us.metamath.org/