The theorema project: A Progress report

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

Original language	English
Title of host publication	Proceedings of the 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning
Number of pages	16
Publication status	Published - Dec 2000

Fields of science

@inproceedings{f3164ab1f8cd44bd959ef011a80ab03a,

title = "The theorema project: A Progress report",

author = "Bruno Buchberger and C. Dupre and Tudor Jebelean and K. Kriftner and Koji Nakagawa and D. Vasaru and Wolfgang Windsteiger",

year = "2000",

month = dec,

language = "English",

booktitle = "Proceedings of the 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning",

}