34 results on '"Roanes-Macías, Eugenio"'
Search Results
2. A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry
3. A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple
4. A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
5. Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem
6. An application of an AI methodology to railway interlocking systems using computer algebra
7. An inference engine for propositional two-valued logic based on the radical membership problem
8. An interpretation of the propositional Boolean algebra as a k-algebra. Effective calculus
9. An Application of Computer Algebra to Pharmacokinetics: The Bateman Equation
10. Connecting the 3D DGS Calques3D with the CAS Maple
11. Evolution of railway network flexibility: The Spanish broad gauge case
12. Utilización de metodologías activas de enseñanza para el aprendizaje de las matemáticas, centradas en el estudiante y desarrolladas en el espacio innovador de una hiperaula
13. Geometría dinámica y enseñanza de la matemática en tiempos de pandemia: nuevos retos, nuevas oportunidades
14. The Logics’ Explorer: a Maple package for exploring finite many-valued propositional logics
15. Automatically obtaining railway maps from a set of historical events
16. An algebraic approach to rule based expert systems
17. A Groebner bases-based approach to backward reasoning in rule based expert systems
18. Obtaining a 3D extension of Pascal theorem for non-degenerated quadrics and its complete configuration with the aid of a computer algebra system
19. A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry
20. 3D extension of Steiner chains problem
21. Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem
22. An accelerated-time simulation of departing passengers’ flow in airport terminals
23. An inference engine for propositional two-valued logic based on the radical membership problem
24. An interpretation of the propositional Boolean algebra as a k-algebra. Effective calculus
25. A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking
26. Railway interlocking systems and Gröbner bases
27. Some reflections on dynamic geometry systems (the GUI for ADG)
28. A completion of hypotheses method for 3D-geometry. 3D-extensions of Ceva and Menelaus theorems
29. Una invitación a analizar problemas geométricos ejecutando seudodivisiones
30. An Application of Computer Algebra to Pharmacokinetics: The Bateman Equation
31. A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry.
32. Ramificación en k-álgebras y teoremas de ascenso y descenso
33. SOME APPLICATIONS OF GRÖBNER BASES.
34. A polynomial model for multi-valued Logics with a touch of Algebraic Geometry and Computer Algebra
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.