- Good Math, Bad Math
Good Math, Bad Math is a blog which exists for two reasons: 1) For me to ramble about the beauty of mathematics, and try to share my enthusiasm for the subject. 1)To track down the bozos who use bad math to lie, distort reality, and in general support bad arguments; demonstrate their errors and their dishonesty; and generally mock them. The blog will also intermittently include me rambling about other obsessions: programming, music, and whatever else interests me.
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.
- Khan Academy
The Khan Academy is a not-for-profit 501(c)(3) with the mission of providing a world-class education to anyone, anywhere. We are complementing Salman's ever-growing library with user-paced exercises--developed as an open source project--allowing the Khan Academy to become the free classroom for the World.
in Education by 38 users
- 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 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 4 users
A puzzle-platforming game in four dimensions
- 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 7 users
- Step-by-Step Math Wolfram|Alpha Blog
in Web > reference
- The Pi-Search Page
in Science > Reference by 2 users
- Using your Head is Permitted
monthly math riddle page
in Web > reference
a wiki of formalized mathematics
Add Dynamic Computation and Visualization to Your Website
in Science > Reference
- Wolfram Mathematica Online Integrator
in Science > Reference by 15 users
math from all users