Zinn, Claus Supporting the formal verification of mathematical texts. (English) Zbl 1107.68104 J. Appl. Log. 4, No. 4, 592-621 (2006). MSC: 68T15 03B35 × Cite Format Result Cite Review PDF Full Text: DOI
Lyaletski, Alexander; Paskevich, Andrey; Verchinine, Konstantin SAD as a mathematical assistant – how should we go from here to there? (English) Zbl 1107.68099 J. Appl. Log. 4, No. 4, 560-591 (2006). MSC: 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Siekmann, Jörg; Benzmüller, Christoph; Autexier, Serge Computer supported mathematics with \(\Omega\)MEGA. (English) Zbl 1107.68101 J. Appl. Log. 4, No. 4, 533-559 (2006). MSC: 68T15 68W30 × Cite Format Result Cite Review PDF Full Text: DOI
Dixon, Lucas; Fleuriot, Jacques A proof-centric approach to mathematical assistants. (English) Zbl 1107.68096 J. Appl. Log. 4, No. 4, 505-532 (2006). MSC: 68T15 × Cite Format Result Cite Review PDF Full Text: DOI Link
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 × Cite Format Result Cite Review PDF Full Text: DOI
Andrews, Peter B.; Brown, Chad E. TPS: A hybrid automatic-interactive system for developing proofs. (English) Zbl 1107.68091 J. Appl. Log. 4, No. 4, 367-395 (2006). MSC: 68T15 × Cite Format Result Cite Review PDF Full Text: DOI