OStatic

Asymptote is powerful descriptive vector graphics language for technical drawing, inspired by MetaPost but with an improved C++-like syntax. Asymptote...

The Natural Language Toolkit is a suite of Python packages and data for natural language processing; it comes with extensive API documentation and tut...

java symbolic computing library and math editor, with : polynomial system solving, vectors & matrices, factorization, derivatives, integrals (rati...

gnuplot is a command-line program that can generate two- and three-dimensional plots of functions and data. The program runs on all major computers an...

Mathematics formula renderer for Microsoft Word. Easy to use and really fast. Mathematics drawing toolbar for Microsoft Word. Math exercices storage D...

The aim of this project is to provide an API and implementation (within an integrated graphical environment) of tools that assist in the definition, m...

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prov...

Calculatrice graphique en fran?xdfais, destin?xa9e aux professeurs ou aux ?xa9tudiants du coll?xaege et du lyc?xa9e. Elle permet de faire du calcul ap...

A wxWidgets-based project aimed to make math-typing, plotting and symbolic math easier; user can easily input, plot and save/load math data in various...

Axiom is a computer algebra system. It consists of an interpreter, a compiler and a library of algorithms. Axiom is an excellent research platform as...