16 results on '"Roanes-Macías, Eugenio"'
Search Results
2. Connecting the 3D DGS Calques3D with the CAS Maple
3. Evolution of railway network flexibility: The Spanish broad gauge case
4. The Logics’ Explorer: a Maple package for exploring finite many-valued propositional logics
5. Automatically obtaining railway maps from a set of historical events
6. An algebraic approach to rule based expert systems
7. A Groebner bases-based approach to backward reasoning in rule based expert systems
8. Obtaining a 3D extension of Pascal theorem for non-degenerated quadrics and its complete configuration with the aid of a computer algebra system
9. 3D extension of Steiner chains problem
10. An accelerated-time simulation of departing passengers’ flow in airport terminals
11. A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking
12. Railway interlocking systems and Gröbner bases
13. A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry.
14. A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry.
15. SOME APPLICATIONS OF GRÖBNER BASES.
16. 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.