Browsing eNauka
Browsing by Author Quaresma, Pedro
Showing results 1 to 7 of 7
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2007 | Automatic verification of regular constructions in dynamic geometry systems | Janicic, Predrag   ; Quaresma, Pedro | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2023 | Deduction in Education: the Case of Serbia | Tomić, Bojan ; Milovanović, Milos; Medić-Simić, Gordana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2006 | Integrating dynamic geometry software, deduction systems, and theorem repositories | Quaresma, Pedro; Janicic, Predrag | Article | 23M23 |
| 2006 | System description: GCLCprover plus GeoThms | Janicic, Predrag ; Quaresma, Pedro | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2012 | The Area Method: A Recapitulation | Janičić, Predrag ; Narboux, Julien; Quaresma, Pedro | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2018 | Web geometry laboratory: case studies in Portugal and Serbia | Santos, Vanda; Quaresma, Pedro; Maric, Milena; Campos, Helena | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2008 | XML-based Format for Geometry : XML-based Format for Descriptions of Geometrical Constructions and Geometrical Proofs | Quaresma, Pedro; Janicic, Predrag ; Graovac, Jelena ; Vujoševic-Janicic, Milena ; Tošic, Dušan | Book parts | Mp. category will be shown later |