João F. Ferreira
João F. Ferreira
Home
Projects
Publications
Teaching
Blog
Contact
Research Opportunities
Light
Dark
Automatic
Roland Backhouse
Latest
Structure Editing of Handwritten Mathematics: Improving the Computer Support for the Calculational Method
The Algorithmics of Solitaire-Like Games (Extended Version)
On Euclid's Algorithm and Elementary Number Theory
The Algorithmics of Solitaire-Like Games
Which Mathematics for the Information Society?
Recounting the Rationals: Twice!
Cite
×