| Publication | Date of Publication | Type |
|---|
| An inference engine for propositional two-valued logic based on the radical membership problem | 2024-06-21 | Paper |
Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra}
Mathematics in Computer Science | 2023-06-27 | Paper |
Can I bring my calculator to the exam? Some reflections on the abstraction level of computer algebra systems
Mathematics in Computer Science | 2023-06-22 | Paper |
A proposal of a mixed diagnostic system based on decision trees and probabilistic experts rules
Journal of Computational and Applied Mathematics | 2023-06-20 | Paper |
| Looking for compatible routes in the railway interlocking system of an overtaking station using a computer algebra system | 2022-12-21 | Paper |
Using fractals and \textit{Turtle Geometry} to visually explain the spread of a virus to kids: a STEM multitarget activity
Mathematics in Computer Science | 2022-01-28 | Paper |
A computer approach to overtaking station track layout diagram design using graphs. An alternative track diagram proposal for these stations
Journal of Computational and Applied Mathematics | 2021-03-10 | Paper |
An algebraic model for implementing expert systems based on the knowledge of different experts
Mathematics and Computers in Simulation | 2021-02-19 | Paper |
Foreword to the special issue on ``Nonstandard applications of computer algebra (ACA'2013)
Mathematics and Computers in Simulation | 2021-02-19 | Paper |
A natural language for implementing algebraically expert systems
Mathematics and Computers in Simulation | 2021-02-19 | Paper |
An algebraic approach for detecting nearly dangerous situations in expert systems
Mathematics and Computers in Simulation | 2021-02-19 | Paper |
Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package
Mathematics and Computers in Simulation | 2021-02-18 | Paper |
Automatic generation of diagrammatic subway maps for any date with Maple
Mathematics in Computer Science | 2020-07-28 | Paper |
Some reflections about the success and impact of the computer algebra system \textit{DERIVE} with a 10-year time perspective
Mathematics in Computer Science | 2019-09-11 | Paper |
An algebraic approach to DC railway electrification verification
Mathematics in Computer Science | 2019-09-11 | Paper |
A multi-criteria computer package for power transformer fault detection and diagnosis
Applied Mathematics and Computation | 2019-06-21 | Paper |
A recommender system for train routing: when concatenating two minimum length paths is not the minimum length path
Applied Mathematics and Computation | 2019-06-21 | Paper |
A prototype of a RBES for personalized menus generation
Applied Mathematics and Computation | 2019-04-29 | Paper |
A portable knowledge-based system for car breakdown evaluation
Applied Mathematics and Computation | 2019-03-15 | Paper |
A brief note on the approach to the conic sections of a right circular cone from dynamic geometry
Mathematics in Computer Science | 2018-02-27 | Paper |
A symbolic-numeric approach to MPL continuous logic and to rule based expert systems whose underlying logic is MPL
The Open Applied Mathematics Journal | 2015-10-14 | Paper |
The geometry of railway geometric overthrow revisited using computer algebra methods
Mathematics in Computer Science | 2015-02-04 | Paper |
An approach from answer set programming to decision making in a railway interlocking system
Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM | 2014-09-09 | Paper |
A note on the need for radical membership checking in mechanical theorem proving in geometry
Computer Algebra in Scientific Computing | 2014-07-07 | Paper |
A logic and computer algebra approach to a decision-making problem in medicine
Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales (España) | 2014-01-15 | Paper |
A Gröbner bases-based rule based expert system for fibromyalgia diagnosis
Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM | 2013-01-30 | Paper |
A logic-algebraic approach to decision taking in a railway interlocking system
Annals of Mathematics and Artificial Intelligence | 2012-12-12 | Paper |
The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics
Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM | 2012-12-05 | Paper |
A logic approach to decision taking in a railway interlocking system using Maple
Mathematics and Computers in Simulation | 2012-05-14 | Paper |
A polynomial model for logics with a prime power number of truth values
Journal of Automated Reasoning | 2011-04-05 | Paper |
| An invitation to analysing geometric problems by executing pseudodivisions | 2011-01-03 | Paper |
An algebraic approach to rule based expert systems
Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM | 2010-07-09 | Paper |
Connecting the 3D DGS Calques3D with the CAS Maple
Mathematics and Computers in Simulation | 2010-05-27 | Paper |
A Groebner bases-based approach to backward reasoning in rule based expert systems
Annals of Mathematics and Artificial Intelligence | 2010-03-19 | Paper |
| scientific article; zbMATH DE number 5672698 (Why is no real title available?) | 2010-02-17 | Paper |
Obtaining a 3D extension of Pascal theorem for non-degenerated quadrics and its complete configuration with the aid of a computer algebra system
Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas | 2009-08-03 | Paper |
Evolution of railway network flexibility: The Spanish broad gauge case
Mathematics and Computers in Simulation | 2009-06-18 | Paper |
A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple
Lecture Notes in Computer Science | 2009-01-27 | Paper |
| What machines can and cannot do | 2008-07-11 | Paper |
A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
Automated Deduction in Geometry | 2008-04-01 | Paper |
3D extension of Steiner chains problem
Mathematical and Computer Modelling | 2008-02-22 | Paper |
An Application of Computer Algebra to Pharmacokinetics: The Bateman Equation
SIAM Review | 2006-06-01 | Paper |
Artificial Intelligence and Symbolic Computation
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 2177635 (Why is no real title available?) | 2005-06-21 | Paper |
| scientific article; zbMATH DE number 2125601 (Why is no real title available?) | 2005-01-07 | Paper |
An accelerated-time simulation of departing passengers' flow in airport terminals
Mathematics and Computers in Simulation | 2004-11-22 | Paper |
| scientific article; zbMATH DE number 2090036 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2087066 (Why is no real title available?) | 2004-08-11 | Paper |
A bridge between dynamic geometry and computer algebra
Mathematical and Computer Modelling | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 2079840 (Why is no real title available?) | 2004-07-30 | Paper |
| scientific article; zbMATH DE number 2079829 (Why is no real title available?) | 2004-07-30 | Paper |
| scientific article; zbMATH DE number 2036517 (Why is no real title available?) | 2004-02-02 | Paper |
A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
Mathematics and Computers in Simulation | 2003-08-21 | Paper |
An applicable topology-independent model for railway interlocking systems
Mathematics and Computers in Simulation | 2003-08-21 | Paper |
| scientific article; zbMATH DE number 1953891 (Why is no real title available?) | 2003-07-28 | Paper |
An expert system for managing medical appropriateness criteria based on computer algebra techniques
Computers & Mathematics with Applications | 2002-08-18 | Paper |
A logic and computer algebra-based expert system for diagnosis of anorexia
Mathematics and Computers in Simulation | 2002-05-21 | Paper |
A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking
Mathematics and Computers in Simulation | 2002-05-21 | Paper |
| scientific article; zbMATH DE number 1684386 (Why is no real title available?) | 2002-03-21 | Paper |
Tort-Decó: A ``Turtle geometry-based package for drawing periodic designs
Mathematical and Computer Modelling | 2001-07-08 | Paper |
| scientific article; zbMATH DE number 1453135 (Why is no real title available?) | 2000-08-01 | Paper |
| scientific article; zbMATH DE number 66967 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 66918 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 66968 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 4061304 (Why is no real title available?) | 1987-01-01 | Paper |
