by Janičić, Predrag, Narboux, Julien
Published in Electronic proceedings in theoretical computer science (30.12.2021)

by Quaresma, Pedro
Published in Automated Deduction in Geometry

by Braun, Gabriel, Narboux, Julien
Published in Automated Deduction in Geometry

by Siddique, Umair, Aravantinos, Vincent, Tahar, Sofiène
Published in Automated Deduction in Geometry

by Ghourabi, Fadoua, Ida, Tetsuo, Kasem, Asem
Published in Automated Deduction in Geometry

by Moritsugu, Shuichi
Published in Automated Deduction in Geometry (01.01.2015)

by Bowers, John C., Streinu, Ileana
Published in Automated Deduction in Geometry

by Stojanović, Sana
Published in Automated Deduction in Geometry

by Borcea, Ciprian S., Streinu, Ileana
Published in Automated Deduction in Geometry

by Moritsugu, Shuichi
Published in Automated Deduction in Geometry

by Mathis, Pascal, Schreck, Pascal
Published in Automated Deduction in Geometry

by Wang, Dongming
Published in Automated Deduction in Geometry

by Meikle, Laura I., Fleuriot, Jacques D.
Published in Lecture notes in computer science (2006)

by Fuchs, Laurent, Théry, Laurent
Published in Automated Deduction in Geometry (2011)

by Stojanović, Sana, Pavlović, Vesna, Janičić, Predrag
Published in Automated Deduction in Geometry

by Beeson, Michael
Published in Automated Deduction in Geometry

by Botana, Francisco, Recio, Tomás
Published in Lecture notes in computer science (2006)

by Chen, Xuefeng, Li, Peng, Lin, Long, Wang, Dingkang
Published in Lecture notes in computer science (2006)

by Kovács, Zoltán
Published in Automated Deduction in Geometry (2015)

by Sitharam, Meera, Willoughby, Joel
Published in Automated Deduction in Geometry (2015)