- Isabelle
Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus.
in Software - Math@NIST - Java Numerics
The JavaNumerics page provides a focal point for information on numerical computing in Java. This is an activity of the Java Grande Forum Numerics Working Group, chaired by Ron Boisvert and Roldan Pozo.
in Software > Reference by 2 users - Maxima
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.
Maxima is a fairly complete computer algebra system written in lisp with an emphasis on symbolic computation. It is based on DOE-MACSYMA and licensed under the GPL. Its abilities include symbolic integration, 3D plotting, and an ODE solver.
algebra cas computation computer free gpl lisp macsyma mathematics maxima ode plotting symbolic
in Science by 7 users - Sage: Open Source Mathematics Software
Sage is a free open-source mathematics software system licensed under the GPL. It combines the power of many existing open-source packages into a common Python-based interface. Mission: Creating a viable free open source alternative to Magma, Maple, Mathematica and Matlab.
in Software > tools by 4 users - The Pi-Search Page
in Science > Reference by 2 users - Using your Head is Permitted
monthly math riddle page
in Web > reference - vdash
a wiki of formalized mathematics
in Web
Copyright © 2003-2008 Netvouz. All rights reserved. |
RSS Feed
|
Blog |
Contact |
Terms of use |
Cookies |
Privacy policy
RSS Feed
|
Blog |
Contact |
Terms of use |
Cookies |
Privacy policy