Eugenio Roanes-Macías

Available identifiers

zbMath Open roanes-macias.eugenioMaRDI QIDQ692318

List of research outcomes

Publication	Date of Publication	Type
A Symbolic-Numeric Approach to MPL Continuous Logic and to Rule Based Expert Systems whose Underlying Logic is MPL	2015-10-14	Paper
https://portal.mardi4nfdi.de/entity/Q2875976	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/Q4011585	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4011650	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4011651	1992-09-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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