The following pages link to Eugenio Roanes-Macías (Q692318):
Displaying 30 items.
- (Q187906) (redirect page) (← links)
- A bridge between dynamic geometry and computer algebra (Q597561) (← links)
- The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics (Q692319) (← links)
- Connecting the 3D DGS Calques3D with the CAS Maple (Q974253) (← links)
- An algebraic approach to rule based expert systems (Q981968) (← links)
- Evolution of railway network flexibility: The Spanish broad gauge case (Q1025316) (← links)
- A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking (Q1349163) (← links)
- A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra (Q1404692) (← links)
- An expert system for managing medical appropriateness criteria based on computer algebra techniques (Q1609885) (← links)
- An accelerated-time simulation of departing passengers' flow in airport terminals (Q1887833) (← links)
- A Groebner bases-based approach to backward reasoning in rule based expert systems (Q2379678) (← links)
- 3D extension of Steiner chains problem (Q2471610) (← links)
- (Q2760230) (← links)
- (Q2875976) (← links)
- (Q3021919) (← links)
- (Q3062086) (← links)
- (Q3156426) (← links)
- A Symbolic-Numeric Approach to MPL Continuous Logic and to Rule Based Expert Systems whose Underlying Logic is MPL (Q3192775) (← links)
- (Q4011585) (← links)
- (Q4011650) (← links)
- (Q4011651) (← links)
- (Q4471949) (← links)
- (Q4737717) (← links)
- A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry (Q5168482) (← links)
- Obtaining a 3D extension of Pascal theorem for non-degenerated quadrics and its complete configuration with the aid of a computer algebra system (Q5324499) (← links)
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry (Q5453491) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464709) (← links)
- An Application of Computer Algebra to Pharmacokinetics: The Bateman Equation (Q5470840) (← links)
- A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple (Q5505497) (← links)
- Tort-Decó: A ``Turtle geometry''-based package for drawing periodic designs (Q5936779) (← links)
