RSS 2 projects tagged "Mathematics"

No download Website Updated 19 Nov 2003 JScript Logic

Screenshot
Pop 23.83
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 12.88
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

Burp

A program that backs up and restores data.

Screenshot

Project Spotlight

SeedDMS

A document management system.