RSS 4 projects tagged "Mathematics"

Download Website Updated 11 Aug 2009 Coq

Screenshot
Pop 39.12
Vit 3.60

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

Screenshot
Pop 100.10
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

Screenshot
Pop 17.89
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

Screenshot
Pop 13.64
Vit 22.91

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.

Screenshot

Project Spotlight

liblangtag

An interface library to access tags for identifying languages.

Screenshot

Project Spotlight

4DIAC

A framework for distributed industrial automation and control.