Norbert Preining  Home/Search
Context
Related
| logic.at/people/pr...sketchasproof.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: logic.at/people/preining/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Contents Contents iii List of Figures v 1 Introduction 1 2 Projective Geometry 2 2.1 Historical Background . . . . . . . . . . . . . . . . . . . . . . . . . 2 2.1.1 The Euclidean Axiom of Parallelism . . . . . . . . . . . . . 3 2.1.2 Hilbert and the new approach to Geometry . . . . . . . . . 3 2.2 What is Projective Geometry . . . . . . . . . . . . . . . . . . . . . 5 2.3 Examples for Projective Planes . . . . . . . . . . . . . . . . . . . . 5 2.3.1 The projective closed Euclidean plane \Pi EP ... (Update)
Similar documents (at the sentence level):
9.5%: Sketch-as-Proof - Preining (Correct)
Active bibliography (related documents): More All
0.3: List of Axioms and Axiom Systems - Oldalsz Amokat Ellen (Correct)
0.3: Verification of non-linear overconstraints in Euclidean geometry .. - Bouhineau (Correct)
0.3: A Survey on the Theorema Project - Buchberger, Jebelean, Kriftner.. (1997) (Correct)
Similar documents based on text: More All
0.9: Distributed Objects - CORBA versus COM: A Comparison of.. - Bergler (Correct)
0.5: RNA Structures with Pseudoknots - Haslinger (1997) (Correct)
0.5: A Cache Server for News - Gschwind (1997) (Correct)
BibTeX entry: (Update)
@misc{ preining-sketchasproof,
author = "Norbert Preining",
title = "Sketch-as-proof: A proof-theoretic analysis of axiomatic projective geometry",
url = "citeseer.ist.psu.edu/520847.html" }
Citations (may not include all citations):229 A decision method for elementary algebra and geometry (context) - Tarski - 1951
105 Computability and Logic (context) - Boolos, Jeoerey - 1973
72 North Holland (context) - Takeuti - 1987
46 Proof Theory and Logical Complexity (context) - Girard - 1987
41 Mathematical Logic (context) - Shoeneld - 1967
26 Projective Geometry (context) - Coxeter - 1994
23 The complexity of closed world reasoning and circumscription (context) - Cadoli, Lenzerini - 1989
20 Grundlagen der Geometrie (context) - Hilbert
18 On indenite databases and the closed world assumption (context) - Minker - 1982
4 ber formal unentscheidbare S#tze der Principia Mathematica u.. (context) - del - 1931
4 Metamathematische Methoden in der Geometrie (context) - Schwabh, Wanda et al. - 1983
3 The number of proof lines and the size of proofs in rst orde.. (context) - Kraj, Pudl - 1988
3 Mechanical Theorem Proving in Geometries (context) - Wu - 1994
1 A conservative extension of Peano arithmetic (context) - Takeuti
1 Springer-Verlag (context) - Kreisel, Krivine - 1972
1 bibliotheca mathematica edition (context) - Kleene, metamathematics et al. - 1952
1 Skriptum zur Vorlesung an der TU Wien (context) - Kuich
Documents on the same site (http://www.logic.at/people/preining/):
Sketch-as-Proof - Preining (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC