Google's software suite for combinatorial optimization
Mathematical Contest resources
Tool support for the Z formal notation
This zip jar contains the current coverings of periodic paths.
Create charts by retrieving data from Stata on-the-fly
Unicode XML TEI text analysis platform
External plugins for modnlp/teccli
Manual counter with the keyboard or the mouse on images
Interactive scientific graphing and data analysis software.
Open Source and data mining software
This is a Java APP for Probability and Statistics Tables
Java language binding for the GNU Linear Programming Kit (GLPK)
Mixed Integer Linear Programming (MILP) solver.
Calculates Volume, Surface Area & Centroid of a Closed Triangular Mesh
A java infix evaluator based on "Shunting Yard" algorithm.
Mathematics, linear algebra and optimisation
Numerical models for chemical and process engineering
A collection of web apps interacting with Stata through SWire
Java math expression parser and script interpreter
Curvature Filters are efficient solvers for Variational Models