An Automated Prover for Zermelo-Fraenkel Set Theory in Theorema

Wolfgang Windsteiger

Research Institute for Symbolic Computation

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proceedings LMCS'02
Number of pages	15
Publication status	Published - Oct 2002

Fields of science

101 Mathematics

CALCULEMUS - Systems for Integrated Computation and Deduction
N., N. (PI)
01.09.2000 → 31.08.2004
Project: Funded research › EU - European Union
Solving and Proving in General Domains - Period I (Subproject of SFB F 13 Numerical and Symbolic Scientific Computation)
Buchberger, B. (PI)
01.04.1998 → 31.03.2001
Project: Funded research › FWF - Austrian Science Fund

Cite this