An Automated Prover for Set Theory in Theorema

Wolfgang Windsteiger

An Automated Prover for 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	Calculemus 2002. 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning. Marseille, France, July 3-5, 2002. Work in Progress Papers
Number of pages	12
Publication status	Published - Jun 2002

Publication series

Name	Seki-Report Series
ISSN (Print)	1427-4447

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

@inproceedings{1a3e484ac7364a5cbedd1ffc8fc0e4aa,

title = "An Automated Prover for Set Theory in Theorema",

author = "Wolfgang Windsteiger",

year = "2002",

month = jun,

language = "English",

series = "Seki-Report Series",

booktitle = "Calculemus 2002. 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning. Marseille, France, July 3-5, 2002. Work in Progress Papers",

}

An Automated Prover for Set Theory in Theorema

Publication series

Fields of science

Projects

CALCULEMUS - Systems for Integrated Computation and Deduction

Solving and Proving in General Domains - Period I (Subproject of SFB F 13 Numerical and Symbolic Scientific Computation)

Cite this