32 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. The Logics’ Explorer: a Maple package for exploring finite many-valued propositional logics
13. Automatically obtaining railway maps from a set of historical events
14. An algebraic approach to rule based expert systems
15. A Groebner bases-based approach to backward reasoning in rule based expert systems
16. Obtaining a 3D extension of Pascal theorem for non-degenerated quadrics and its complete configuration with the aid of a computer algebra system
17. A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry
18. 3D extension of Steiner chains problem
19. Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem
20. An accelerated-time simulation of departing passengers’ flow in airport terminals
21. An inference engine for propositional two-valued logic based on the radical membership problem
22. An interpretation of the propositional Boolean algebra as a k-algebra. Effective calculus
23. A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking
24. Railway interlocking systems and Gröbner bases
25. Some reflections on dynamic geometry systems (the GUI for ADG)
26. A completion of hypotheses method for 3D-geometry. 3D-extensions of Ceva and Menelaus theorems
27. A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple
28. A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
29. An Application of Computer Algebra to Pharmacokinetics: The Bateman Equation
30. A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry.
31. SOME APPLICATIONS OF GRÖBNER BASES.
32. 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.