An Inductive Approach to Formalizing Notions of Number Theory Proofs

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Computer Mathematics - Proceedings Of The Fifth Asian Symposium (Ascm 2001)
Publisher	World Scientific
Publication date	2001
Pages	131-140
Publication status	Published - 2001
Event	Fifth Asian Symposium - Matsuyama, Japan Duration: 26 Sept 2001 → 28 Sept 2001 Conference number: 5

OpenUrl availability

@inproceedings{3a2895d835744f1187b88cf8a2230ddc,

title = "An Inductive Approach to Formalizing Notions of Number Theory Proofs",

author = "Rasmussen, \{Thomas Marthedal\}",

year = "2001",

language = "English",

pages = "131--140",

booktitle = "Computer Mathematics - Proceedings Of The Fifth Asian Symposium (Ascm 2001)",

publisher = "World Scientific",

address = "Singapore",

note = "Fifth Asian Symposium, ASCM 2001 ; Conference date: 26-09-2001 Through 28-09-2001",

}

TY - GEN

T1 - An Inductive Approach to Formalizing Notions of Number Theory Proofs

AU - Rasmussen, Thomas Marthedal

N1 - Conference code: 5

PY - 2001

Y1 - 2001

M3 - Article in proceedings

SP - 131

EP - 140

BT - Computer Mathematics - Proceedings Of The Fifth Asian Symposium (Ascm 2001)

PB - World Scientific

T2 - Fifth Asian Symposium

Y2 - 26 September 2001 through 28 September 2001

ER -