RSS 2 projects tagged "Mathematics"

No download Website Updated 19 Nov 2003 JScript Logic

Screenshot
Pop 31.81
Vit 1.00

JScript Logic implements core routines for solving logic puzzles. Advanced features are being added for derivations using rules of formal logic.

No download Website Updated 03 Oct 2006 Molle

Screenshot
Pop 13.30
Vit 1.00

Molle is a cross-platform prover for modal logic. It exploits the modal semantic tableaux method. It features a very usable graphical interface, with an interactive representation of generated models.

Screenshot

Project Spotlight

Fingerprint GUI

A GUI toolset for fingerprint identification and authentication.

Screenshot

Project Spotlight

c-ares

A C library that resolves names asynchronously.