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.
in Science
• 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 with language math
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.
by 32 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.
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 4 users
• Miegakure
A puzzle-platforming game in four dimensions
in Games with 4d math puzzles
• 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.
by 6 users
• Step-by-Step Math Wolfram|Alpha Blog
with math wolfram
• The Pi-Search Page
with math pi by 2 users