E FIGUEIREDO QUARESMA DE ALMEIDA, PEDRO HENRIQUE
E FIGUEIREDO QUARESMA DE ALMEIDA, PEDRO HENRIQUE
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry
2024 Quaresma, Pedro; Graziani, Pierluigi; Nicoletti, Stefano M.
Measuring the Readability of Geometric Proofs: The Area Method Case.
2023 Quaresma, Pedro; Graziani, Pierluigi
Towards a Readability Criterion for Humans and Machines
2025 Quaresma, Pedro; Graziani, Pierluigi
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry | 1-gen-2024 | Quaresma, Pedro; Graziani, Pierluigi; Nicoletti, Stefano M. | |
| Measuring the Readability of Geometric Proofs: The Area Method Case. | 1-gen-2023 | Quaresma, Pedro; Graziani, Pierluigi | |
| Towards a Readability Criterion for Humans and Machines | 1-gen-2025 | Quaresma, Pedro; Graziani, Pierluigi |