Windsteiger, Wolfgang Learning to reason assisted by automated reasoning. (English) Zbl 07691307 Buzzard, Kevin (ed.) et al., Intelligent computer mathematics. 15th international conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13467, 305-320 (2022). MSC: 68Vxx PDFBibTeX XMLCite \textit{W. Windsteiger}, Lect. Notes Comput. Sci. 13467, 305--320 (2022; Zbl 07691307) Full Text: DOI
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
Buchberger, Bruno; Crǎciun, Adrian; Jebelean, Tudor; Kovács, Laura; Kutsia, Temur; Nakagawa, Koji; Piroi, Florina; Popov, Nikolaj; Robu, Judit; Rosenkranz, Markus; Windsteiger, Wolfgang Theorema: Towards computer-aided mathematical theory exploration. (English) Zbl 1107.68095 J. Appl. Log. 4, No. 4, 470-504 (2006). MSC: 68T15 13P10 PDFBibTeX XMLCite \textit{B. Buchberger} et al., J. Appl. Log. 4, No. 4, 470--504 (2006; Zbl 1107.68095) Full Text: DOI