Nikolić, Mladen; Marinković, Vesna; Kovács, Zoltán; Janičić, Predrag Portfolio theorem proving and prover runtime prediction for geometry. (English) Zbl 1431.68123 Ann. Math. Artif. Intell. 85, No. 2-4, 119-146 (2019). MSC: 68V15 51M04 68T05 68T20 PDFBibTeX XMLCite \textit{M. Nikolić} et al., Ann. Math. Artif. Intell. 85, No. 2--4, 119--146 (2019; Zbl 1431.68123) Full Text: DOI
Stojanović-Ðurđević, Sana From informal to formal proofs in Euclidean geometry. (English) Zbl 07055778 Ann. Math. Artif. Intell. 85, No. 2-4, 89-117 (2019). MSC: 03B35 68T15 PDFBibTeX XMLCite \textit{S. Stojanović-Ðurđević}, Ann. Math. Artif. Intell. 85, No. 2--4, 89--117 (2019; Zbl 07055778) Full Text: DOI
Stojanović Đurđević, Sana; Narboux, Julien; Janičić, Predrag Automated generation of machine verifiable and readable proofs: a case study of Tarski’s geometry. (English) Zbl 1327.68206 Ann. Math. Artif. Intell. 74, No. 3-4, 249-269 (2015). MSC: 68T15 03B35 PDFBibTeX XMLCite \textit{S. Stojanović Đurđević} et al., Ann. Math. Artif. Intell. 74, No. 3--4, 249--269 (2015; Zbl 1327.68206) Full Text: DOI HAL
Schmidt, Renate A. A new methodology for developing deduction methods. (English) Zbl 1192.68632 Ann. Math. Artif. Intell. 55, No. 1-2, 155-187 (2009). MSC: 68T15 03B25 03B35 03B45 03B70 03F03 68T27 PDFBibTeX XMLCite \textit{R. A. Schmidt}, Ann. Math. Artif. Intell. 55, No. 1--2, 155--187 (2009; Zbl 1192.68632) Full Text: DOI
Ge, Yeting; Barrett, Clark; Tinelli, Cesare Solving quantified verification conditions using satisfiability modulo theories. (English) Zbl 1184.68461 Ann. Math. Artif. Intell. 55, No. 1-2, 101-122 (2009). MSC: 68T15 03B35 68T20 PDFBibTeX XMLCite \textit{Y. Ge} et al., Ann. Math. Artif. Intell. 55, No. 1--2, 101--122 (2009; Zbl 1184.68461) Full Text: DOI
Höfner, Peter; Struth, Georg; Sutcliffe, Geoff Automated verification of refinement laws. (English) Zbl 1184.68463 Ann. Math. Artif. Intell. 55, No. 1-2, 35-62 (2009). MSC: 68T15 03G25 68Q60 PDFBibTeX XMLCite \textit{P. Höfner} et al., Ann. Math. Artif. Intell. 55, No. 1--2, 35--62 (2009; Zbl 1184.68463) Full Text: DOI Link