RSS 4 projects tagged "Mathematics"

Download Website Updated 11 Aug 2009 Coq

Pop 38.77
Vit 3.59

The Coq tool is a proof assistant which is able to handle calculus assertions, to check proofs of these assertions mechanically, and to extract a certified program from the constructive proof of its formal specification.

Download Website Updated 14 Sep 2007 Orpie

Pop 99.90
Vit 4.09

Orpie is a fullscreen RPN calculator for the console. Its operation is similar to that of modern HP calculators, but data entry has been optimized for efficiency on a PC keyboard. Features include extensive scientific calculator functionality, units support, base conversions, command completion, configurable keybindings, and a visible interactive stack.

Download Website Updated 25 Aug 2006 GeoProof

Pop 18.00
Vit 1.00

GeoProof is a dynamic geometry application with proof related features. It can communicate with the Coq proof assistant to perform automatic and interactive proofs of theorems.

No download Website Updated 08 Nov 2012 ocamlmath

Pop 13.64
Vit 22.93

ocamlmath provides modules that may be used as interactive calculation constructions for general mathematics when loaded in the OCaml pseudo-interpreter, or as calculation library for the OCaml compiler.


Project Spotlight

Aspose.Tasks for Java

A non-graphical Java project management component.


Project Spotlight


A modular live environment.