Universidad Complutense de Madrid
E-Prints Complutense


Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 4.

Roanes-Lozano, Eugenio and González-Martín, Rubén and Montero, Javier (2019) An Algebraic Approach to DC Railway Electrification Verification. Mathematics in Computer Science, 13 (3). pp. 449-457. ISSN 1661-8270

Roanes-Lozano, Eugenio and Hernado, Antonio and García-Álvarez, Alberto and Mesa, Luis and González-Franco, Ignacio (2014) Possibilities of RutasOptiRed package. Procedia - Social and Behavioral Sciences, 160 . pp. 102-111. ISSN 1877-0428

Roanes-Lozano, Eugenio and Galán-García, Jose Luis and Solano-Macías, Carmen (2019) Some Reflections About the Success and Impact of the Computer Algebra System DERIVE with a 10-Year Time Perspective. Mathematics in Computer Science, 13 (3). pp. 417-431. ISSN 1661-8270

Roanes-Lozano, Eugenio and Roanes-Macías, Eugenio Some reflections on dynamic geometry systems (the GUI for ADG). In Proceedings of the 10th International Workshop on Automated Deduction in Geometry (ADG 2014), 9-11 julio 2014, Universidad de Coimbra, Portugal.

This list was generated on Tue Jul 7 09:48:51 2020 CEST.