Eugenio Roanes Lozano

A completion of hypotheses method for 3D-geometry. 3D-extensions of Ceva and Menelaus theorems

Eugenio Roanes Macías, Eugenio Roanes Lozano, 2004 .

Obtaining a 3D extension of Pascal theorem for non-degenerated quadrics and its complete configuration with the aid of a computer algebra system

Eugenio Roanes Macías, Eugenio Roanes Lozano, Julio Fernández Biarge, 2009 .

A Logic and computer algebra approach to a decision-making problem in medicine

Victor Maojo, Luis M. Laita, Eugenio Roanes Lozano, 1998 .

A method for outlining 3D problems in order to study them mechanically. Application to prove the 3D-version of Desargues Theorem

Eugenio Roanes Macías, Eugenio Roanes Lozano, 2004 .

A maple package for automatic theorem proving and discovery in 3D-geometry

Eugenio Roanes Macías, Eugenio Roanes Lozano, 2006 .

What machines can and cannot do

Eugenio Roanes Lozano, Luis M. Laita, Luis de Ledesma Otamendi, 2007 .