Eugenio Roanes-Macías

Maple Trans., 2022

2020

A Simplified Introduction to Virus Propagation Using Maple's Turtle Graphics Package Suitable for Children.

[BibT_eX]

[DOI]

Proceedings of the Maple in Mathematics Education and Research - 4th Maple Conference, 2020

2013

A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing - 15th International Workshop, 2013

2010

Connecting the 3D DGS Calques3D with the CAS Maple.

[BibT_eX]

[DOI]

Nicolas van Labeke

Math. Comput. Simul., 2010

2009

Evolution of railway network flexibility: The Spanish broad gauge case.

[BibT_eX]

[DOI]

Michael J. Wester

José Luis Ruiz-Lozano

Carlos Roncero

Math. Comput. Simul., 2009

A Groebner bases-based approach to backward reasoning in rule based expert systems.

[BibT_eX]

[DOI]

Antonio Hernando

Ann. Math. Artif. Intell., 2009

2008

A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

3D extension of Steiner chains problem.

[BibT_eX]

[DOI]

Math. Comput. Model., 2007

2006

An Application of Computer Algebra to Pharmacokinetics: The Bateman Equation.

[BibT_eX]

[DOI]

Alfonso González-Bermejo

Justo Cabezas

SIAM Rev., 2006

A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Geometry, 2006

2005

<i>Meta-Petro</i>: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies.

[BibT_eX]

[DOI]

R. García

Alfredo Aparicio Yagüe

Proceedings of the Computer Algebra in Scientific Computing, 8th International Workshop, 2005

2004

An accelerated-time simulation of departing passengers' flow in airport terminals.

[BibT_eX]

[DOI]

Math. Comput. Simul., 2004

Some applications of Grobner bases.

[BibT_eX]

[DOI]

Comput. Sci. Eng., 2004

The geometry of algebraic systems and their exact solving using Grobner bases.

[BibT_eX]

[DOI]

Comput. Sci. Eng., 2004

An Expert System on Detection, Evaluation and Treatment of Hypertension.

[BibT_eX]

[DOI]

E. López-Vidriero Jr.

E. López-Vidriero

Victor Maojo

Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

2002

A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking.

[BibT_eX]

[DOI]

Math. Comput. Simul., 2002

Geometric Determination of the Spheres Which Are Tangent to Four Given Ones.

[BibT_eX]

[DOI]

Proceedings of the Computational Science - ICCS 2002, 2002

2001

A Method of Logic Deduction and Verification in KBS Using Positive Integers.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing, 2001

2000

Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 2000

1999

Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, 1999

1998

An Application of an AI Methodology to Railway Interlocking Systems Using Computer Algebra.

[BibT_eX]

[DOI]

Proceedings of the Tasks and Methods in Applied Artificial Intelligence, 1998

1996

An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1996

1994

An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus.

[BibT_eX]

[DOI]

Luis de Ledesma