Browsing tag: calculus  

Hilbert II 0.04.06

The Goal of Hilbert II is the creation of a system that enables a working mathematician to put the...

Feb 11th 2013, 17:44 GMT

vDEC 20080131

vDEC is a discrete exterior calculus and geometry processing library.

Feb 1st 2008, 07:30 GMT

Lambda 0.1.4

Lambda project is a Lambda calculus interpreter.

Oct 18th 2006, 02:05 GMT