A Survey of the Theorema Project

Bruno Buchberger, Tudor Jebelean, Daniela Dupre, Franz Kriftner, Mircea Marin, Eleana Tomuta

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

Original language	English
Title of host publication	Proceedings of ISSAC497 (International Symposium on Symbolic and Algebraic Computation, Maui, Hawaii)
Number of pages	7
Publication status	Published - 1997

Fields of science

@inproceedings{0f5b34c39f6247ed8e115f435deb09b0,

title = "A Survey of the Theorema Project",

author = "Bruno Buchberger and Tudor Jebelean and Daniela Dupre and Franz Kriftner and Mircea Marin and Eleana Tomuta",

year = "1997",

language = "English",

booktitle = "Proceedings of ISSAC497 (International Symposium on Symbolic and Algebraic Computation, Maui, Hawaii)",

}