Automath - PDFSEARCH.IO - Document Search Engine

Automath
Results: 5

#	Item
1	A new implementation of Automath Freek Wiedijk () ∗ Department of Computer Science, University of Nijmegen, the Netherlands Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-01-15 09:13:06
2	De Bruijn’s ideas on the Formalization of Mathematics Herman Geuvers Radboud Universiteit Nijmegen & Technische Universiteit Eindhoven Foundation of Mathematics for Computer-Aided Formalization Padova, 9-11 January 201 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2013-01-17 04:22:03 Type theory Philosophy of mathematics Proof assistants Automath Automated theorem proving Proof theory Nicolaas Govert de Bruijn Mathematical proof Foundations of mathematics Mathematical logic Theorem Mathematics
3	Can the computer really help us to prove theorems? Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-11-17 12:13:56 Proof assistants Automated theorem proving Logic in computer science Type theory Automath Logic for Computable Functions Nqthm Proof theory ACL2 Mathematical proof Andrzej Trybulec Isabelle
4	Automath in historisch perspectief Herman Geuvers Radboud Universiteit Nijmegen & Technische Universiteit Eindhoven Symposium ter ere van de 90ste verjaardag van N.G. de Bruijn Technische Universiteit Eindhoven 5 septemb Add to Reading List Source URL: www.cs.ru.nl Language: Dutch - Date: 2008-09-05 18:00:56
5	Is ZF a hack? Comparing the complexity of some (formalist interpretations of ) Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2008-04-30 04:22:51 Set theory Type theory Model theory Z notation Automath Axiom of choice Axiom schema of replacement New Foundations Axiom Mathematical logic Logic Mathematics

UPDATE