The following pages link to Eugenio Roanes-Lozano (Q417946):
Displaying 14 items.
- (Q4471949) (← links)
- (Q4737717) (← links)
- (Q4808704) (← links)
- (Q4955416) (← 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)
- A proposal of a mixed diagnostic system based on decision trees and probabilistic experts rules (Q6099513) (← links)
- Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra} (Q6106414) (← links)
- Can I bring my calculator to the exam? Some reflections on the abstraction level of computer algebra systems (Q6157643) (← links)
