References in zbMATH (referenced in 17 articles )

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