Proyectos relacionados

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.
4. A. Bundy Synthesis of Decision Procedures.
5. A. Bundy Automatic Hardware Verification.
6. A. Bundy Ontology Evolution.