Advertisement
Hilbert II
The Goal of Hilbert II is the creation of a system that enables a working mathematician to put theorems into it....
put theorems mathematician helper predicate calculus Hilbert theorems
django-hilbert
A loose collection of utility functions...
Math::Curve::Hilbert
Perl Implementation of Hilberts space filling Curve...