Publicaciones en las que colabora con Mirian Andrés Gómez (6)

2010

  1. Contribuciones científicas en honor de Mirian Andrés Gómez

    Universidad de La Rioja

2007

  1. Executing in Common Lisp, Proving in ACL2.

    Lecture Notes in Computer Science, Vol. 4573 LNAI, pp. 1-12

2005

  1. Remote access to a Symbolic Computation system for Algebraic Topology: a client-server approach

    Lecture Notes in Computer Science, Vol. 3516, Núm. III, pp. 635-642

2004

  1. On the role of distributed computing in Symbolic Computation for Algebraic Topology

    Proceedings EACA 2004 (UNIVERSIDAD DE CANTABRIA), pp. 11-15

  2. On the role of distributed computing in Symbolic Computation for Algebraic Topology

    EACA 2004: Santander, 1-3 julio 2004, Universidad de Cantabria : Actas de los encuentros de álgebra computacional y aplicaciones, 2004

2003

  1. XML-Based Interoperability Among Symbolic Computation Systems

    Proceedings of the IADIS International Conference WWW/Internet 2003. (IADIS Press), pp. 925-928