y-cruncher is a program that can compute Pi and other constants
Program to generate permutations and combinations
MathMod is a mathematical modeling software
Specification for interoperability of JavaScript algebraic structures
Program for topological degree calculation.
Neural network program. Creates and trains neural networks, shows data
Linear constraint feasibility check and get program.
Create multi-degree polynominals charts. Designed in FbEdit & WinAPI.
Open-Source Project for Credit Risk Modeling
A C++ program for plotting functions f=f(x).
A simple command line utility to produce an FFT/IFFT of ASCII data
TI graphing calculators <-> computer communication software
A command line toolki to solve a problem your favorite program defines
Addition, Subtraction & Multiplication for large integral numbers
Massively Parallel Graph processing on GPUs -- now part of Blazegraph
mathSuite Speed & Matrix Stream Processor
FDA's f2 computation with bootstrap technique
General purpose norm-1 minimization solver in Python
Software for exact computing based on interval arithmetic.
proof verifier for mathematical proofs and documentation generator
Software for data analysis, image processing, simulations, solver.
combinational logic functions minimization