Technische Universität München
Institut für Informatik Lehrstuhl für Informatik IV Automated Reasoning
Gernot Stenz
 |
| E-mail: |
stenzg@informatik.tu-muenchen.de
|
| Snail: |
Dr. Gernot Stenz
Institut für Informatik
Technische Universität München
Boltzmannstr. 3
D-85748 Garching b. München
Germany
|
| Phone: | +49 (89) 289-17878
|
| Fax: | +49 (89) 289-17307
|
| Room: | 00.09.063
|
|
Projects
-
The V-Modell XT, a process model for planning and realizing development projects..
-
Automated theorem proving for first order logic (with and
without equality) using the Disconnection Calculus and implementation of the
prover system DCTP.
-
Maintenance of the e-SETHEO prover system. e-SETHEO can be downloaded in gzipped tar form here: e-setheo-csp04bis.tgz. Read the README file for instructions first!
Former Projects
-
Integration of automated theorem proving as part of the Verisoft Project.
-
Integration of Strategy Parallelism into an Automated Theorem
Prover based on the High Performance Prover SETHEO
in the Framework of the DFG-Sonderforschungsbereich 342.
-
Integration of the Interactive Proof System KIV
and the Automated Theorem Prover
.
-
Natural language output of automatically generated proofs
utilizing the ILF
-System.
Publications
Former activities:
My Public PGP-Key
-----BEGIN PGP PUBLIC KEY BLOCK-----
Version: 2.6.3i
mQBtAzVAUQcAAAEDAKI3WVdDlPWNmu7k+DV7ISHMfrMmkfccFQ2mjKWOJMuTMDnP
CROqF4AoFdKm08KxC9M+HqtyUW84LeNYP3nZzDKKYG596GIEJqhN41MBHIi/6d0G
9AcOPriWM8OOLMuOOQAFEbQvR2Vybm90IFN0ZW56IDxzdGVuemdAaW5mb3JtYXRp
ay50dS1tdWVuY2hlbi5kZT6JAHUDBRA1QFEHljPDjizLjjkBARFXAv9hVBB/EKhE
u5bs62ohALwPsPKEmrLpfG42LCIqpsjYkCTF2JrKR2f7Iuy+8zFQAmgZ+YvnbqnV
Ys1awt0sfZMw1h+7VVTBJ64FJIYYgxLjurwZCkVlZuUvVQZ5akqu89Y=
=IlqX
-----END PGP PUBLIC KEY BLOCK-----
Private Stuff
Maintainer: stenzg@informatik.tu-muenchen.de,
updated January 29, 2007