QED manifesto - PDFSEARCH.IO - Document Search Engine

QED manifesto
Results: 8

#	Item
1	Hammering towards QED Jasmin C. Blanchette Inria Nancy & LORIA, France Cezary Kaliszyk University of Innsbruck, Austria Lawrence C. Paulson Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-07-01 13:38:31 Automated theorem proving Proof assistants Formal methods Statements Model theory QED manifesto Theorem Mathematical proof Automated reasoning First-order logic Isabelle Mathematical logic
2	The QED manifesto revisited Freek Wiedijk Institute for Computing and Information Sciences Radboud University Nijmegen Toernooiveld 1, 6525 ED Nijmegen, The Netherlands Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2007-08-28 11:00:07
3	Hammering towards QED Jasmin C. Blanchette Technische Universit¨at M¨ unchen Cezary Kaliszyk University of Innsbruck, Austria Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Formal methods Automated theorem proving Mathematical logic Model theory Mathematical proof QED manifesto Theorem Proof assistant Automated reasoning Mathematics Logic Theoretical computer science
4	It is Time to Mechanize Programming Language Metatheory? Benjamin C. Pierce1 , Peter Sewell2 , Stephanie Weirich1 , and Steve Zdancewic1 1 Department of Computer and Information Science, University of Pennsylvania Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-10-11 03:37:08 Formal methods Automated theorem proving Logic in computer science POPLmark challenge Programming language theory Formal sciences QED manifesto Nqthm Theoretical computer science Mathematics Logic
5	Escape to ATP for Mizar Piotr Rudnicki∗ Josef Urban† University of Alberta Add to Reading List Source URL: pxtp2011.loria.fr Language: English - Date: 2011-08-12 05:51:25 Formal methods Automated theorem proving Mizar system QED manifesto Proof assistant Automated proof checking Automated reasoning Mizar and Alcor Mizar Theoretical computer science Mathematics Applied mathematics
6	PDF Document Add to Reading List Source URL: mizar.org Language: English - Date: 2010-03-05 21:10:35 Type theory Mathematical logic QED manifesto Proof theory Mizar system Proof assistant Mathematical proof Constructivism Setoid Mathematics Logic Formal methods
7	PDF Document Add to Reading List Source URL: mizar.org Language: English - Date: 2007-04-17 17:02:53 Mathematical logic Knowledge Mizar system QED manifesto Proof assistant Mathematical proof Automated proof checking Andrzej Trybulec Constructivism Logic Mathematics Formal methods
8	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2005-06-08 08:30:23 Mathematical proof QED manifesto Square root of 2 Automated reasoning Metamath Theorem Algorithm Proof assistant Prime number Mathematics Logic Mathematical logic