Browsing by Author Teles, Joana
Results 4 to 5 of 5
previous
| Issue Date | Title | Author(s) | Type | Access |
|---|---|---|---|---|
| 10-Mar-2023 | A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools | Teles, Joana ; Santos, Vanda ; Quaresma, Pedro | article | openAccess |
| 2008 | The set of invariant star products on non-degenerate triangular Lie bialgebras obtained in the Etingof-Kahzdan quantization theory | Moreno, Carlos ; Teles, Joana | preprint | openAccess |