Información del autor
Documentos disponibles escritos por este autor (5)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Gröbner bases have been applied to a number of problems related to the verification of Knowledge-Based Systems (KBS) and other problems within graph theory. In particular, the authors have developed in previous papers algebraic approaches to dec[...]texto impreso
Roanes-Lozano, Eugenio ; Casella, Eduardo A. ; Sánchez, Fernando ; Hernando, Antonio | https://www.mdpi.com/ | 2020Tennis is a sport with a very complex technique. Amateur tennis players have trainers and/or coaches, but are not usually accompanied by them to championships. Curiously, in this sport, the result of many matches can be changed by a small hint l[...]texto impreso
Roanes-Lozano, Eugenio ; Hernado, Antonio ; García-Álvarez, Alberto ; Mesa, Luis ; González-Franco, Ignacio | https://www.sciencedirect.com/ | 2014-09-19Planning the operations of Renfe Operadora trains on Adif's (Spanish) railway network is very complex. The reasons are the coexistence of two track gauges, two kinds of electrification systems and five types of signaling systems; together with f[...]texto impreso
texto impreso
Dynamic Geometry Systems (DGS) are the Graphic User Interfaces for Automatic Deduction in Geometry (ADG). We will develop below some reflections regarding how geometric data are introduced to the most frequently adopted DGS and how the construct[...]
