Eugenio Roanes-Macías - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2022

Maple-based introductory visual guide to Gröbner basesEugenio Roanes-Lozano, Eugenio Roanes-Macías. maple, 2(1), 2022. [doi]

2020

A Simplified Introduction to Virus Propagation Using Maple's Turtle Graphics Package Suitable for ChildrenEugenio Roanes-Lozano, Eugenio Roanes-Macías. mc2 2021: 334-349 [doi]

2013

A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in GeometryEugenio Roanes-Lozano, Eugenio Roanes-Macías. casc 2013: 288-300 [doi]

2010

Connecting the 3D DGS Calques3D with the CAS MapleEugenio Roanes-Lozano, Nicolas van Labeke, Eugenio Roanes-Macías. mcs, 80(6):1153-1176, 2010. [doi]

2009

A Groebner bases-based approach to backward reasoning in rule based expert systemsEugenio Roanes-Lozano, Antonio Hernando, Luis M. Laita, Eugenio Roanes-Macías. AMAI, 56(3-4):297-311, 2009. [doi]

2008

A Groebner Bases Based Many-Valued Modal Logic Implementation in MapleEugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías. AISC 2008: 170-183 [doi]

2007

3D extension of Steiner chains problemEugenio Roanes-Macías, Eugenio Roanes-Lozano. mcm, 45(1-2):137-148, 2007. [doi]

2006

An Application of Computer Algebra to Pharmacokinetics: The Bateman EquationEugenio Roanes-Lozano, Alfonso González-Bermejo, Eugenio Roanes-Macías, Justo Cabezas. siamrev, 48(1):133-146, 2006. [doi]

A Maple Package for Automatic Theorem Proving and Discovery in 3D-GeometryEugenio Roanes-Macías, Eugenio Roanes-Lozano. adg 2007: 171-188 [doi]

2005

::::Meta-Petro::::: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using PhotomicrographiesEugenio Roanes-Lozano, R. García, Eugenio Roanes-Macías, A. Aparicio, Luis M. Laita. cascon 2005: 344-354 [doi]

2004

2002

A computer algebra approach to the design of routes and the study of their compatibility in a railway interlockingEugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita. mcs, 58(3):203-214, 2002. [doi]

Geometric Determination of the Spheres Which Are Tangent to Four Given OnesEugenio Roanes-Macías, Eugenio Roanes-Lozano. iccS 2002: 52-61 [doi]

2001

A Method of Logic Deduction and Verification in KBS Using Positive IntegersEugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita. casc 2001: 461-475 [doi]

2000

Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner TheoremEugenio Roanes-Macías, Eugenio Roanes-Lozano. AISC 2001: 157-173 [doi]

1999

Geometric Interpretation of Strong Inconsistency in Knowledge Based SystemsEugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita. casc 1999: 349-363 [doi]

1998

An Application of an AI Methodology to Railway Interlocking Systems Using Computer AlgebraEugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías. ieaaie 1998: 687-696

1996

An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership ProblemEugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías. AISC 1996: 71-86

1994

An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective CalculusLuis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Eugenio Roanes-Macías. AISC 1995: 255-263

Sign in or sign up to see more results.

runs on WebDSL