Eugenio Roanes-Macías

Publication Activity (10 Years)

Years Active: 1994-2022
Publications (10 Years): 2

Top Topics

Electronic Books

Numerically Stable

Polynomial Equations

Top Venues

Publications

Eugenio Roanes-Lozano, Eugenio Roanes-Macías
Maple-based introductory visual guide to Gröbner bases. Maple Trans. 2 (1) (2022)
Eugenio Roanes-Lozano, Eugenio Roanes-Macías
A Simplified Introduction to Virus Propagation Using Maple's Turtle Graphics Package Suitable for Children. MC (2020)
Eugenio Roanes-Lozano, Eugenio Roanes-Macías
A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry. CASC (2013)
Eugenio Roanes-Lozano, Nicolas van Labeke, Eugenio Roanes-Macías
Connecting the 3D DGS Calques3D with the CAS Maple. Math. Comput. Simul. 80 (6) (2010)
Eugenio Roanes-Lozano, Antonio Hernando, Luis M. Laita, Eugenio Roanes-Macías
A Groebner bases-based approach to backward reasoning in rule based expert systems. Ann. Math. Artif. Intell. 56 (3-4) (2009)
Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías, Michael J. Wester, José Luis Ruiz-Lozano, Carlos Roncero
Evolution of railway network flexibility: The Spanish broad gauge case. Math. Comput. Simul. 79 (8) (2009)
Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple. AISC/MKM/Calculemus (2008)
Eugenio Roanes-Macías, Eugenio Roanes-Lozano
3D extension of Steiner chains problem. Math. Comput. Model. 45 (1-2) (2007)
Eugenio Roanes-Macías, Eugenio Roanes-Lozano
A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry. Automated Deduction in Geometry (2006)
Eugenio Roanes-Lozano, Alfonso González-Bermejo, Eugenio Roanes-Macías, Justo Cabezas
An Application of Computer Algebra to Pharmacokinetics: The Bateman Equation. SIAM Rev. 48 (1) (2006)
Eugenio Roanes-Lozano, R. García, Eugenio Roanes-Macías, Alfredo Aparicio Yagüe, Luis M. Laita
: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies. CASC (2005)
Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita
Some applications of Grobner bases. Comput. Sci. Eng. 6 (3) (2004)
Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
An accelerated-time simulation of departing passengers' flow in airport terminals. Math. Comput. Simul. 67 (1-2) (2004)
Eugenio Roanes-Lozano, E. López-Vidriero Jr., Luis M. Laita, E. López-Vidriero, Victor Maojo, Eugenio Roanes-Macías
An Expert System on Detection, Evaluation and Treatment of Hypertension. AISC (2004)
Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita
The geometry of algebraic systems and their exact solving using Grobner bases. Comput. Sci. Eng. 6 (2) (2004)
Eugenio Roanes-Macías, Eugenio Roanes-Lozano
Geometric Determination of the Spheres Which Are Tangent to Four Given Ones. International Conference on Computational Science (2) (2002)
Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita
A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking. Math. Comput. Simul. 58 (3) (2002)
Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita
A Method of Logic Deduction and Verification in KBS Using Positive Integers. CASC (2001)
Eugenio Roanes-Macías, Eugenio Roanes-Lozano
Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem. AISC (2000)
Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita
Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems. CASC (1999)
Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
An Application of an AI Methodology to Railway Interlocking Systems Using Computer Algebra. IEA/AIE (Vol. 2) (1998)
Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem. AISMC (1996)
Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Eugenio Roanes-Macías
An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus. AISMC (1994)