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

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