Kerber, Manfred; Rowat, Colin; Windsteiger, Wolfgang Using Theorema in the formalization of theoretical economics. (English) Zbl 1335.68231 Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 58-73 (2011). MSC: 68T15 91-04 PDFBibTeX XMLCite \textit{M. Kerber} et al., Lect. Notes Comput. Sci. 6824, 58--73 (2011; Zbl 1335.68231) Full Text: DOI
Benzmüller, Christoph; Cheikhrouhou, Lassaad; Fehrer, Detlef; Fiedler, Armin; Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael; Konrad, Karsten; Meier, Andreas; Melis, Erica; Schaarschmidt, Wolf; Siekmann, Jörg; Sorge, Volker \(\Omega\)mega: towards a mathematical assistant. (English) Zbl 1430.68393 McCune, William (ed.), Automated deduction – CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1249, 252-255 (1997). MSC: 68V15 68V20 PDFBibTeX XMLCite \textit{C. Benzmüller} et al., Lect. Notes Comput. Sci. 1249, 252--255 (1997; Zbl 1430.68393) Full Text: DOI
Kerber, Manfred; Präcklein, Axel Using tactics to reformulate formulae for resolution theorem proving. (English) Zbl 0891.68094 Ann. Math. Artif. Intell. 18, No. 2-4, 221-241 (1996). MSC: 68T15 PDFBibTeX XMLCite \textit{M. Kerber} and \textit{A. Präcklein}, Ann. Math. Artif. Intell. 18, No. 2--4, 221--241 (1996; Zbl 0891.68094) Full Text: DOI