An Inductive Approach to Formalizing Notions of Number Theory Proofs

Thomas M. Rasmussen

TypeConference paper [With referee]
ConferenceComputer Mathematics, ASCM 2001
Year2001    Vol. 9    pp. 131-140
PublisherWorld Scientific
SeriesLecture Notes Series in Computing
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering