Links to some other sites

• Lawrence C. Paulson
• Andrei Voronkov
• Peter Aczel
• formal methods
• Robert Stephen Boyer
• Review of Quaife's thesis.
• Larry Wos
• QED Project
• AAR: Association for Automated Reasoning
• Automated Reasoning at the University of New Mexico
• Robert Veroff
• Deepak Kapur
• Otter and Mace2
• Prover9 and Mace4
• EQP
• William McCune home page
• Jean Larson's list of homepages of set theorists
• Kenneth Kunen
• Thomas Jech
• Automated Reasoning links provided by University of Iowa
• Maria Paola Bonacina
• Hantao Zhang
• Bruno Buchberger Theorema Project
• Alexander Leitsch
• Peter Baumgartner
• J Strother Moore
• Mizar home page
• Piotr Rudnicki
• R. Padmanabhan
• Google search engine
• arXiv Print archives
• Michael Ley's database computer science bibliography
• Stanford database of existing mechanized reasoning systems
• Award-winning Logic Software from CSLI by Jon Barwise and John Etchemendy
• Steven Roger Givant
• Peter Andrews
• David A. Plaisted
• Metamath Proof Explorer
• Jacob T. Schwartz
• Set Theory for Computing by Cantone, Omodeo and Policriti
• Domenico Cantone
• Alberto Policriti
• Eugenio Omodeo
• Andrea Formisano
• Randall Holmes
• Michael Beeson
• Branden Fitelson's Robbins Algebra page
• The LogiCal Project
• Gilles Dowek
• Stephane Vaillant
• Hans Nivelle
• MathSciNet Mathematical Reviews on the Web
• Geoff Sutcliffe's TPTP Problem Library for Automated Theorem Proving
• Hilberticus - A Tool Deciding an Elementary Sublanguage of Set Theory
• Natarajan Shankar
• David McAllester
• Benjamin Shults

Link back to Belinfante's vita.

Modified: 2006 October 5