| Publication | Date of Publication | Type |
|---|
| An inference engine for propositional two-valued logic based on the radical membership problem | 2024-06-21 | 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 |
| An unexpected 3D geometric locus | 2014-08-12 | 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 |
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 |
| 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 |
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 |
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 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 |
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 expert system for managing medical appropriateness criteria based on computer algebra techniques
Computers & Mathematics with Applications | 2002-08-18 | 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 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 |
