Tomás Jesús Recio Muñiz

The moment of truth, in automatic theorem proving in elementary geometry: (extended abstract)

Carlos Beltran Álvarez, G. Dalzotto, Tomás Jesús Recio Muñiz, 2006 .

Symbolic simplification of kinematic equations. Rigid motion representation and the Stewart platform case

Tomás Jesús Recio Muñiz, María José González López, 1995 .

A really elementary proof of real Lüroth's theorem

Juan Rafael Sendra Pons, Tomás Jesús Recio Muñiz, 1997 .

Computing envelopes in dynamic geometry environments

Tomás Jesús Recio Muñiz, Francisco Botana Ferreiro, 2015 .

Implementing theorem proving in GeoGebra by exact check o a statement in a bounded number of test cases

Tomás Jesús Recio Muñiz, Z. Kovács, Simon Weitzhofer, 2012 .