A bridge between dynamic geometry and computer algebra E Roanes-Lozano, E Roanes-Macías, M Villar-Mena Mathematical and Computer Modelling 37 (9-10), 1005-1028, 2003 | 67 | 2003 |
A polynomial model for multi-valued Logics with a touch of Algebraic Geometry and Computer Algebra E Roanes-Lozano, LM Laita, E Roanes-Macı́as Mathematics and Computers in Simulation 45 (1-2), 83-99, 1998 | 65 | 1998 |
An accelerated-time simulation of departing passengers’ flow in airport terminals E Roanes-Lozano, LM Laita, E Roanes-Macı́as Mathematics and Computers in Simulation 67 (1-2), 163-172, 2004 | 53 | 2004 |
Railway interlocking systems and Gröbner bases E Roanes-Lozano, E Roanes-Macías, LM Laita Mathematics and Computers in Simulation 51 (5), 473-481, 2000 | 51 | 2000 |
An expert system for managing medical appropriateness criteria based on computer algebra techniques LM Laita, E Roanes-Lozano, V Maojo, E Roanes-Macias, L De Ledesma, ... Computers & Mathematics with Applications 42 (12), 1505-1522, 2001 | 39 | 2001 |
Automatic determination of geometric loci. 3D-Extension of Simson-Steiner Theorem E Roanes-Macías, E Roanes-Lozano Artificial Intelligence and Symbolic Computation: International Conference …, 2001 | 32 | 2001 |
Didáctica de las Matemáticas E Roanes Macías Didáctica de las matemáticas, 1976 | 25 | 1976 |
An algebraic approach to rule based expert systems E Roanes-Lozano, LM Laita, A Hernando, E Roanes-Macías RACSAM 104 (1), 19-40, 2010 | 24 | 2010 |
Nuevas tecnologías en geometría E Roanes, ER Lozano Editorial Complutense, 1994 | 24* | 1994 |
Maple V in AI: the Boolean algebra associated to a KBS E Roanes-Lozano, LM Laita, E Roanes-Macías CAN Nieuwsbrief 14, 65-70, 1995 | 23 | 1995 |
Some applications of Grobner bases E Roanes-Lozano, E Roanes-Macías, LM Laiti Computing in Science & Engineering 6 (3), 56-60, 2004 | 21 | 2004 |
An application of an AI methodology to railway interlocking systems using computer algebra E Roanes-Lozano, LM Laita, E Roanes-Macías Tasks and Methods in Applied Artificial Intelligence: 11th International …, 1998 | 20 | 1998 |
An interpretation of the propositional Boolean algebra as a k-algebra. Effective calculus LM Laita, L de Ledesma, E Roanes-Lozano, E Roanes-Macías Integrating Symbolic Mathematical Computation and Artificial Intelligence …, 1995 | 20 | 1995 |
A Maple package for automatic theorem proving and discovery in 3D-geometry E Roanes-Macías, E Roanes-Lozano International Workshop on Automated Deduction in Geometry, 171-188, 2006 | 19 | 2006 |
Cálculos matemáticos por ordenador con Maple V. 5 E Roanes-Macías, E Roanes-Lozano Editorial Rubiños-1890, Madrid 348, 1999 | 19 | 1999 |
The geometry of algebraic systems and their exact solving using Grobner bases E Roanes-Lozano, E Roanes-Macías, LM Laita Computing in Science & Engineering 6 (2), 76-79, 2004 | 17 | 2004 |
Evolution of railway network flexibility: The Spanish broad gauge case E Roanes-Lozano, LM Laita, E Roanes-Macías, MJ Wester, ... Mathematics and Computers in Simulation 79 (8), 2317-2332, 2009 | 13 | 2009 |
A Groebner bases-based approach to backward reasoning in rule based expert systems E Roanes-Lozano, A Hernando, LM Laita, E Roanes-Macías Annals of Mathematics and Artificial Intelligence 56, 297-311, 2009 | 12 | 2009 |
Introducción a la geometría E Roanes Anaya, 1980 | 12 | 1980 |
3D extension of Steiner chains problem E Roanes-Macías, E Roanes-Lozano Mathematical and computer modelling 45 (1-2), 137-148, 2007 | 10 | 2007 |