Mirian Andrés

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2007
Executing in Common Lisp, Proving in ACL2.
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.
Proceedings of the Computational Science, 2005

2003
JST: Towards a Usable Web Site Development Method.
Proceedings of the IADIS International Conference WWW/Internet 2003, 2003

XML-Based Interoperability Among Symbolic Computation Systems.
Proceedings of the IADIS International Conference WWW/Internet 2003, 2003


  Loading...