Publications (6) Mirian Andrés Gómez publications

2010

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

    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

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

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

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

2003

  1. XML-Based Interoperability Among Symbolic Computation Systems

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