Search
“computational”
More pages from the web
156–160 of 297-
coq.inria.fr
Welcome ! | The Coq Proof Assistant
Home About Coq Get Coq Documentation Community The Coq Proof Assistant Welcome ! What is Coq ? Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an e
-
hearsey.org
Hearsey Technology; Richard M Hearsey
Richard Hearsey is a consultant on axial turbomachinery aerodynamics (design and performance prediction/analysis) and associated computer programming
-
hol.sourceforge.net
HOL4 Kananaskis
HOL4 Kananaskis 5 Easier to use: easy installation, bugs fixed! Cool examples: ARM6, ?-calculus, ACL2, Verified Lisp New libraries: SMT tool integration, fixed-width integers (words) New documentation: Extended Description, DPLL example, ... | Release n
-
isabelle.informatik.tu-muenchen.de
Isabelle
Isabelle · · Navigation Home Overview Download Documentation Community Site Mirrors: Cambridge (.uk) Munich (.de) Sydney (.au) What is Isabelle? Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal languag
-
jericho.at.ua
Jericho Situmorang - Main page
Monday12.7.20102:18:33 Am Welcome Guest | RSS Site menu Main page File Catalog Publisher Blog Forum Photo Albums Guestbook Contact Us Our poll Rate my site Excellent Good Not bad Bad Awful [ Results · Polls archive ] Total of answers: 4 Statistics Total