http://montie.com/scuttle/ Recent bookmarks posted to Product Design Links 60 http://www.qedeq.org/ Hilbert II wants to become a free, world wide mathematical knowledge base that contains mathematical theorems and proofs in a formal correct form. All belonging documents are published under the GNU Free Documentation License. We aim to adapt the common m montie Fri, 19 Jan 2007 07:18:40 +0000 axiom math proof rule theorem http://freshmeat.net/projects/qedeq/?branch_id=41776&release_id=245291 The Goal of Hilbert II, which is in the tradition of Hilbert's program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it. These proofs are automatically ver montie Fri, 19 Jan 2007 07:15:36 +0000 axiom math proof rule theorem http://www.jessrules.com/ Jess is a rule engine and scripting environment written entirely in Sun's JavaTM language by Ernest Friedman-Hill at Sandia National Laboratories in Livermore, CA. Using Jess, you can build Java software that has the capacity to "reason" using knowledg montie Sun, 15 Oct 2006 06:43:18 +0000 java reason rule scripting