Faithfully reflecting the structure of informal mathematical proofs into formal type theories

G.I. Jojgov, R.P. Nederpelt, M. Scheffer

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
20 Downloads (Pure)
Original languageEnglish
Title of host publicationProceedings of the Mathematical Knowledge Management Symposium 2003 (Edinburgh, UK, November 25-29, 2003)
PublisherElsevier
Pages102-117
DOIs
Publication statusPublished - 2004
EventMathematical Knowledge Management Symposium 2003 - Edinburgh, United Kingdom
Duration: 25 Nov 200329 Nov 2003

Publication series

NameElectronic Notes in Theoretical Computer Science
Volume93
ISSN (Print)1571-0061

Conference

ConferenceMathematical Knowledge Management Symposium 2003
CountryUnited Kingdom
CityEdinburgh
Period25/11/0329/11/03

Cite this