Mirian Andrés

Publication Activity (10 Years)

Years Active: 2003-2007
Publications (10 Years): 0

Publications

Mirian Andrés, Laureano Lambán, Julio Rubio
Executing in Common Lisp, Proving in ACL2. Calculemus/MKM (2007)
Mirian Andrés, Vico Pascual, Ana Romero, Julio Rubio
Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach. International Conference on Computational Science (3) (2005)
Raúl Izquierdo Castanedo, Francisco José García Izquierdo, Mirian Andrés, Aquilino A. Juan Fuente, P. Manrubia
JST: Towards a Usable Web Site Development Method. ICWI (2003)
Mirian Andrés, Francisco José García Izquierdo, Vico Pascual, Julio Rubio
XML-Based Interoperability Among Symbolic Computation Systems. ICWI (2003)