Interactive theorem proving in symbolic incidence geometry
Author(s)
Bibliographic Information
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
Search this Book/Journal
Note
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
