Theorema: An Integrated System for Computation and Deduction in Natural Style

Bruno Buchberger; Ovidiu Dipl.-Inf. Podisor; Klaus Dipl.-Ing. Aigner; Daniela Dupre; Koji Nakagawa; Yaroslav Dipl.-Ing. Usenko; Wolfgang Windsteiger; Claudio Dr. Dupre; Tudor Jebelean; Eleana Dr. Tomuta; Franz Kriftner; Mircea Marin

Theorema: An Integrated System for Computation and Deduction in Natural Style

Bruno Buchberger, Ovidiu Dipl.-Inf. Podisor, Klaus Dipl.-Ing. Aigner, Daniela Dupre, Koji Nakagawa, Yaroslav Dipl.-Ing. Usenko, Wolfgang Windsteiger, Claudio Dr. Dupre, Tudor Jebelean, Eleana Dr. Tomuta, Franz Kriftner, Mircea Marin

Research Institute for Symbolic Computation

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

Original language	English
Title of host publication	CADE 98 (International Conference on Computer Aided Deduction), Lindau, Germany. Workshop on integration of proving and computing.
Publication status	Published - Jul 1998

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101009 Geometry
101012 Combinatorics
101013 Mathematical logic
101020 Technical mathematics

Cite this

Buchberger, B., Dipl.-Inf. Podisor, O., Dipl.-Ing. Aigner, K., Dupre, D., Nakagawa, K., Dipl.-Ing. Usenko, Y., Windsteiger, W., Dr. Dupre, C., Jebelean, T., Dr. Tomuta, E., Kriftner, F., & Marin, M. (1998). Theorema: An Integrated System for Computation and Deduction in Natural Style. In CADE 98 (International Conference on Computer Aided Deduction), Lindau, Germany. Workshop on integration of proving and computing.

@inbook{b71c242320ab458aa544c1f7204b41d0,

title = "Theorema: An Integrated System for Computation and Deduction in Natural Style",

author = "Bruno Buchberger and \{Dipl.-Inf. Podisor\}, Ovidiu and \{Dipl.-Ing. Aigner\}, Klaus and Daniela Dupre and Koji Nakagawa and \{Dipl.-Ing. Usenko\}, Yaroslav and Wolfgang Windsteiger and \{Dr. Dupre\}, Claudio and Tudor Jebelean and \{Dr. Tomuta\}, Eleana and Franz Kriftner and Mircea Marin",

year = "1998",

month = jul,

language = "English",

booktitle = "CADE 98 (International Conference on Computer Aided Deduction), Lindau, Germany. Workshop on integration of proving and computing.",

}

Buchberger, B, Dipl.-Inf. Podisor, O, Dipl.-Ing. Aigner, K, Dupre, D, Nakagawa, K, Dipl.-Ing. Usenko, Y, Windsteiger, W, Dr. Dupre, C, Jebelean, T, Dr. Tomuta, E, Kriftner, F & Marin, M 1998, Theorema: An Integrated System for Computation and Deduction in Natural Style. in CADE 98 (International Conference on Computer Aided Deduction), Lindau, Germany. Workshop on integration of proving and computing..

Theorema: An Integrated System for Computation and Deduction in Natural Style. / Buchberger, Bruno; Dipl.-Inf. Podisor, Ovidiu; Dipl.-Ing. Aigner, Klaus et al.
CADE 98 (International Conference on Computer Aided Deduction), Lindau, Germany. Workshop on integration of proving and computing.. 1998.

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

TY - CHAP

T1 - Theorema: An Integrated System for Computation and Deduction in Natural Style

AU - Buchberger, Bruno

AU - Dipl.-Inf. Podisor, Ovidiu

AU - Dipl.-Ing. Aigner, Klaus

AU - Dupre, Daniela

AU - Nakagawa, Koji

AU - Dipl.-Ing. Usenko, Yaroslav

AU - Windsteiger, Wolfgang

AU - Dr. Dupre, Claudio

AU - Jebelean, Tudor

AU - Dr. Tomuta, Eleana

AU - Kriftner, Franz

AU - Marin, Mircea

PY - 1998/7

Y1 - 1998/7

M3 - Chapter

BT - CADE 98 (International Conference on Computer Aided Deduction), Lindau, Germany. Workshop on integration of proving and computing.

ER -