Mirian Andrés

According to our database, Mirian Andrés authored at least 4 papers between 2003 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2007

Executing in Common Lisp, Proving in ACL2.

Mirian Andrés, Laureano Lambán, Julio Rubio

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

2005

Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach.

Mirian Andrés, Vico Pascual, Ana Romero, Julio Rubio

Proceedings of the Computational Science, 2005

2003

JST: Towards a Usable Web Site Development Method.

Raúl Izquierdo Castanedo, Francisco J. García Izquierdo, Mirian Andrés, Aquilino A. Juan Fuente, P. Manrubia

Proceedings of the IADIS International Conference WWW/Internet 2003, 2003

XML-Based Interoperability Among Symbolic Computation Systems.

Mirian Andrés, Francisco J. García Izquierdo, Vico Pascual, Julio Rubio

Proceedings of the IADIS International Conference WWW/Internet 2003, 2003