关注
EUGENIO ROANES LOZANO (orcid.org/0000-0002-0880-6610)
标题
引用次数
引用次数
年份
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
672003
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
641998
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
542004
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
512000
A computer algebra approach to verification and deduction in many-valued knowledge systems
LM Laita, E Roanes-Lozano, L de Ledesma, JA Alonso
Soft Computing 3, 7-19, 1999
461999
A logic and computer algebra-based expert system for diagnosis of anorexia
C Pérez-Carretero, LM Laita, E Roanes-Lozano, L Lázaro, ...
Mathematics and Computers in Simulation 58 (3), 183-202, 2002
402002
An applicable topology-independent model for railway interlocking systems
E Roanes-Lozano, LM Laita
Mathematics and Computers in Simulation 45 (1-2), 175-183, 1998
401998
An expert system for managing medical appropriateness criteria based on computer algebra techniques
LM Laita, E Roanes-Lozano, V Maojo, E Roanes-Macías, L De Ledesma, ...
Computers & Mathematics with Applications 42 (12), 1505-1522, 2001
392001
A logic approach to decision taking in a railway interlocking system using Maple
E Roanes-Lozano, A Hernando, JA Alonso, LM Laita
Mathematics and computers in simulation 82 (1), 15-28, 2011
362011
Automatic determination of geometric loci. 3D-Extension of Simson-Steiner Theorem
E Roanes-Macías, E Roanes-Lozano
International Conference on Artificial Intelligence and Symbolic Computation …, 2001
322001
A multi-criteria computer package for power transformer fault detection and diagnosis
C Roncero-Clemente, E Roanes-Lozano
Applied Mathematics and Computation 319, 153-164, 2018
262018
Cálculos matemáticos por ordenador con Maple V. 5
E Roanes-Macías, E Roanes-Lozano
Editorial Rubiños-1890, Madrid, 1999
26*1999
An algebraic approach to rule based expert systems
E Roanes-Lozano, LM Laita, A Hernando, E Roanes-Macías
RACSAM-Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales …, 2010
242010
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
231995
A computational system for diagnosis of depressive situations
C Rodríguez-Solano, LM Laita, E Roanes-Lozano, L López-Corral, ...
Expert Systems with Applications 31 (1), 47-55, 2006
222006
Some applications of Grobner bases
E Roanes-Lozano, E Roanes-Macías, LM Laiti
Computing in Science & Engineering 6 (3), 56-60, 2004
212004
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
201995
A logic-algebraic approach to decision taking in a railway interlocking system
A Hernando, E Roanes-Lozano, R Maestre-Martínez, J Tejedor
Annals of Mathematics and Artificial intelligence 65 (4), 317-328, 2012
192012
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, 2007
192007
A maple package for automatic theorem proving and discovery in 3D-geometry
ER Macías, ER Lozano
Automated deduction in geometry: extended abstracts, 125-140, 2006
19*2006
系统目前无法执行此操作，请稍后再试。
文章 1–20