publicações selecionadas
-
artigo académico
- On difunctions. Journal of Logical and Algebraic Methods in Programming. 2023
-
documento
- Structure editing of handwritten mathematics: improving the computer support for the calculational method 2014
- The algorithmics of solitaire-like games. International Journal on Software Tools for Technology Transfer. 2013
- On Euclid's algorithm and elementary number theory. International Journal on Software Tools for Technology Transfer. 2011
- Which mathematics for the Information Society?. International Journal on Software Tools for Technology Transfer. 2009