MathMod is a mathematical modeling software
Partial Differential Equations, Complex Analysis, Mathematica, Farlow
A program to calculate and represent the Mandelbrot set
Generates Latin squares and counts their transversals
Welcome to the Volunteer-Based System for Research on the Internet!
proof verifier for mathematical proofs and documentation generator