Searching for authors named "Julio Rubio" – sorted by Relevance.
-
Towards a Higher Reasoning Level in Formalized Homological Algebra
- Ballarin 2 , and Julio Rubio 1 1 Dpto. de Matemáticas y Computación. Univ. de La Rioja. 26004 Logroño
- Cited by 1 (0 self) – Add To MetaCart
-
Four approaches to automated reasoning with differential algebraic structures
- , Clemens Ballarin 2 , and Julio Rubio 1 1 Dpto. de Matemáticas y Computación. Univ. de La Rioja. 26004
- Cited by 2 (2 self) – Add To MetaCart

