Author/Creator: Botana, Francisco - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Botana, Francisco

1. Special issue on dynamic geometry and automated reasoning. (March 2020)

Authors:: Botana, Francisco; Kovács, Zoltán; Recio, Tomas
Journal:: Journal of symbolic computation
Issue:: Volume 97(2020)
Page Start:: 1
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Automated deduction in geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised selected papers /: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised selected papers. (2015)

Editors:: Botana, Francisco; Quaresma, Pedro
Other Names:: International Workshop on Automated Deduction in Geometry, 10th
Record Type:: Book
Extent:: 1 online resource (ix, 181 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Using a free open source software to teach mathematics. Issue 4 (10th May 2012)

Authors:: Botana, Francisco; Abánades, Miguel A.; Escribano, Jesús
Journal:: Computer applications in engineering education
Issue:: Volume 22:Issue 4(2014:Dec.)
Page Start:: 728
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗