The Vega Grid and Grid-Based Education

This publication has 9 references indexed in Scilit:

• The Globus project: a status report
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Grid services for distributed system integration
  Computer, 2002
• A knowledge grid model and platform for global knowledge sharing
  Expert Systems with Applications, 2002
• The Anatomy of the Grid: Enabling Scalable Virtual Organizations
  The International Journal of High Performance Computing Applications, 2001
• The data grid: Towards an architecture for the distributed management and analysis of large scientific datasets
  Journal of Network and Computer Applications, 2000
• Machine Proofs in Geometry
  Series on Applied Mathematics, 1994
• General Purpose Parallel Architectures
  Published by Elsevier ,1990
• On the Decision Problem and the Mechanization of Theorem-Proving in Elementary Geometry
  Contemporary Mathematics, 1984
• Time bounded random access machines
  Journal of Computer and System Sciences, 1973