Interactive theorem proving in symbolic incidence geometry
著者
書誌事項
Interactive theorem proving in symbolic incidence geometry
（Mitteilungen aus dem Mathem. Seminar Giessen / Geschäftsführung, D. Gaier, G. Pickert, Heft 233）
Selbstverlag des Mathematischen Instituts, 1998
この図書・雑誌をさがす
注記
Includes bibliographical references (p. 209-212) and index
"Die vorliegende Arbeit wurde als Habilitationsschrift vom Fachbereich Mathematik der Justus-Universität angenommen." -- T.p. verso
