• 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.
  in Science with blog math mathematics programming
• 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
• 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 with chemistry economy free math opensource physics science 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 with java math numerical 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 with gpl math mathematics opensource 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.
  in Software > tools with math opensource python by 7 users
• Step-by-Step Math Wolfram|Alpha Blog
  in Web > reference with math wolfram
• The Pi-Search Page
  in Science > Reference with math pi by 2 users
• Using your Head is Permitted
  monthly math riddle page
  in Web > reference with math programming puzzles riddles
• vdash
  a wiki of formalized mathematics
  in Web with math mathematics software wiki
• webMathematica
  Add Dynamic Computation and Visualization to Your Website
  in Science > Reference with computation math visualization web wolfram
• Wolfram Mathematica Online Integrator
  in Science > Reference with integration math symbolic web wolfram by 15 users

math from all users