Eugenio Roanes Macías

Available identifiers

zbMath Open roanes-macias.eugenioMaRDI QIDQ692318

List of research outcomes

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	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	2014-07-07	Paper
The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics	2012-12-05	Paper
https://portal.mardi4nfdi.de/entity/Q3062086	2011-01-03	Paper
An algebraic approach to rule based expert systems	2010-07-09	Paper
Connecting the 3D DGS Calques3D with the CAS Maple	2010-05-27	Paper
A Groebner bases-based approach to backward reasoning in rule based expert systems	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	2009-08-03	Paper
Evolution of railway network flexibility: The Spanish broad gauge case	2009-06-18	Paper
A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple	2009-01-27	Paper
A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry	2008-04-01	Paper
3D extension of Steiner chains problem	2008-02-22	Paper
An Application of Computer Algebra to Pharmacokinetics: The Bateman Equation	2006-06-01	Paper
Artificial Intelligence and Symbolic Computation	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q3021919	2005-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q3156426	2005-01-07	Paper
An accelerated-time simulation of departing passengers' flow in airport terminals	2004-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4737717	2004-08-11	Paper
A bridge between dynamic geometry and computer algebra	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4471949	2004-07-30	Paper
A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra	2003-08-21	Paper
An expert system for managing medical appropriateness criteria based on computer algebra techniques	2002-08-18	Paper
A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking	2002-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q2760230	2002-03-21	Paper
Tort-Decó: A ``Turtle geometry-based package for drawing periodic designs	2001-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4011650	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4011585	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4011651	1992-09-27	Paper

Research outcomes over time

This page was built for person: Eugenio Roanes Macías