Norbert Preining

What to find on these pages:

Scientific work related stuff: please go here.
I have a big passion for mountains, here are some remarks, not much at the moment.
My work as mountain guide please go here.
Travelling is a lot of fun, if you want to read some stories, please go here.
Finally, there is some this and that, take a look at the sidebar below.

GPG: My DSA key for use with gpg and pgp v5 and newer. For retrieval of my keys you can mail me with subject “get DSA-key”.
Fingerprints:
DSA: 14DF 2E6C 0307 BE6D AD76 A9C0 D2BF 4AA3 09C5 B094
RSA: BE 15 9D B2 99 05 03 06 D3 A1 56 CC 20 F1 4C 19

topics

Home

Proof theory and proof systems for projective and affine geometry.
N. Preining. Technical Report TR-2002-FE01, Institut f. Computersprachen 185.2, Vienna University of Technology. June 2002. Position paper at the TABLEAUX 2002, Kopenhagen, Danmark. PDF

[2002-06-01 | /Work/Publications] permanent link