Diferencia entre revisiones de «Proyectos relacionados»

De WikiGLC
Saltar a: navegación, buscar
(→‎Propuesta de Proyectos de Tesis Doctoral)
(→‎Propuesta de Proyectos de Tesis Doctoral)
Línea 15: Línea 15:
 
# A. Bundy [http://homepages.inf.ed.ac.uk/bundy/projects/phd/calculemus.html A Proof Management Tool].
 
# A. Bundy [http://homepages.inf.ed.ac.uk/bundy/projects/phd/calculemus.html A Proof Management Tool].
 
# A. Bundy [http://homepages.inf.ed.ac.uk/bundy/projects/phd/cynthia-prolog.html A Programming by Analogy Editor for Godel].
 
# A. Bundy [http://homepages.inf.ed.ac.uk/bundy/projects/phd/cynthia-prolog.html A Programming by Analogy Editor for Godel].
 +
# A. Bundy [http://homepages.inf.ed.ac.uk/bundy/projects/phd/nsa.html A Teaching Aid for Nonstandard Analysis].

Revisión del 09:03 24 oct 2008

En esta sección se recogen enlaces a proyectos de otros grupos que trabajan en los mismos temas que el nuestro.

Propuesta de Proyectos Fin de Grado

  1. A. Bundy An elementary, machine assisted proof of a multilinear generalisation of the Cauchy-Schwarz inequality.
  2. A. Bundy Heuristic Measures for Controlling Proof Search in a Model Elimination Prover.
  3. A. Bundy Recommender system for an interactive theorem prover.
  4. J. Fleuriot Mechanical Verification in Isabelle using Powerlists.
  5. J, Fleuriot A PRESS Package for Isabelle.
  6. J. Fleuriot Experiments in Formalized Mathematics: More Integration Theory in Isabelle/HOL.
  7. I. Stark Machine formalization of the continuous pi-calculus.

Propuesta de Proyectos Fin de Master

  1. A. Bundy Proving Zariski Space Theorems in Isabelle: A Case Study in the Application of Automated Theorem Proving to Mathematical Research.

Propuesta de Proyectos de Tesis Doctoral

  1. A. Bundy A Proof Management Tool.
  2. A. Bundy A Programming by Analogy Editor for Godel.
  3. A. Bundy A Teaching Aid for Nonstandard Analysis.
Obtenido de «https://www.glc.us.es/web/index.php?title=Proyectos_relacionados&oldid=210»