Eugenio Roanes-Macías

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