Back to Results
First PageMeta Content
Mathematical proof / QED manifesto / Square root of 2 / Automated reasoning / Metamath / Theorem / Algorithm / Proof assistant / Prime number / Mathematics / Logic / Mathematical logic


Document Date: 2005-06-08 08:30:23

Open Document

File Size: 685,95 KB

Share Result on Facebook

Company

ABC / hypothenuse AB / /

IndustryTerm

satisfaction algorithms / chip-design verification systems / Computer algebra systems / computer-algebra systems / mathematics proof systems / proof systems / /

Organization

Carnegie Mellon / Mathematical Association of America / Dana S. Scott University Professor Emeritus Carnegie Mellon University Pittsburgh / /

Person

Conor McBride / Larry Paulson Thierry Coquand Ruben / David Harel / Ivy Isabelle / Georges Gonthier Michael Beeson / Rob Arthan Andrzej Trybulec Bart / Isar Alfa / Markus Rozenkranz Conor McBride Paul / N.G. de Bruijn / Bart Jacobs / Henk Barendregt / Michael Beeson / Rob Arthan / Dana Scott / Carlos Tomei / Roger B. Nelson / Edsger W. Dijkstra / Konrad Slind / Freek Wiedijk / Pierre Letouzey / Norman Megill Wolfgang Windsteiger / Paul Jackson Christoph Benzm / Note / Dominique Cansell Helmut Schwichtenberg / Martin Pollet / William Farmer Norman Megill Wolfgang / Thierry Coquand Ruben Gamboa Christophe / Conor McBride Paul Jackson Christoph / Guy David / Bruno Buchberger / Ruben Gamboa Christophe Raffalli / Laurent Th´ery / Paul Rozi`ere William / John Harrison / Andreas Meier / Stanley Tennenbaum / John Rushby Laurent Th / William McCune Markus Wenzel / Klaus Sutner / /

Position

magician / proof assistant author / proof assistant / teacher / assistant / Farmer / /

ProgrammingLanguage

Mathematica / LaTeX / /

ProvinceOrState

Alberta / Pennsylvania / /

PublishedMedium

Foreword / the American Mathematical Monthly / /

Technology

design verification / ADC / large-scale Boolean satisfaction algorithms / Euclidean Algorithm / /

SocialTag