References in zbMATH (referenced in 16 articles )

Showing results 1 to 16 of 16.
Sorted by year (citations)

  1. Heras, Jónathan; Martín-Mateos, Francisco Jesús; Pascual, Vico: Modelling algebraic structures and morphisms in ACL2 (2015)
  2. Lambán, Laureano; Martín-Mateos, Francisco-Jesús; Rubio, Julio; Ruiz-Reina, José-Luis: Formalization of a normalization theorem in simplicial topology (2012)
  3. Domínguez, César; Rubio, Julio: Effective homology of bicomplexes, formalized in Coq (2011)
  4. Heras, Jónathan; Pascual, Vico; Rubio, Julio: Proving with ACL2 the correctness of simplicial sets in the Kenzo system (2011)
  5. Aransay, J.; Domínguez, C.: A case-study in algebraic manipulation using mechanized reasoning tools (2010)
  6. Aransay, Jesús; Ballarin, Clemens; Rubio, Julio: Generating certified code from formal proofs: a case study in homological algebra (2010)
  7. Domínguez, César; Duval, Dominique: Diagrammatic logic applied to a parameterisation process (2010)
  8. Martín-Mateos, Francisco-Jesus; Rubio, Julio; Ruiz-Reina, Jose-Luis: ACL2 verification of simplicial degeneracy programs in the Kenzo system (2009)
  9. Heras, Jónathan; Pascual, Vico; Rubio, Julio: Mediated access to symbolic computation systems (2008)
  10. Andrés, Mirian; Lambán, Laureano; Rubio, Julio: Executing in Common Lisp, proving in ACL2 (2007)
  11. Domínguez, César; Lambán, Laureano; Rubio, Julio: Object oriented institutions to specify symbolic computation systems (2007)
  12. Aransay, Jesús; Ballarin, Clemens; Rubio, Julio: Extracting computer algebra programs from statements (2005)
  13. Aransay, Jesús; Ballarin, Clemens; Rubio, Julio: Four approaches to automated reasoning with differential algebraic structures (2004)
  14. Lambán, Laureano; Pascual, Vico; Rubio, Julio: An object-oriented interpretation of the EAT system (2003)
  15. Domínguez, César; Lambán, Laureano; Pascual, Vico; Rubio, Julio: Hidden specification of a functional system (2001)
  16. Domínguez, César; Lambán, Laureano; Pascual, Vico; Rubio, Julio: Institutions: mathematics for computer specification (2001)