Proyectos relacionados
Revisión del 08:44 24 oct 2008 de Jalonso (discusión | contribuciones)
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
Propuesta de Proyectos Fin de Master
Propuesta de Proyectos de Tesis Doctoral
- A. Bundy Proving Zariski Space Theorems in Isabelle: A Case Study in the Application of Automated Theorem Proving to Mathematical Research.
- A. Bundy An elementary, machine assisted proof of a multilinear generalisation of the Cauchy-Schwarz inequality.
- A. Bundy Heuristic Measures for Controlling Proof Search in a Model Elimination Prover.
- J. Fleuriot Mechanical Verification in Isabelle using Powerlists.
- J, Fleuriot A PRESS Package for Isabelle.
- J. Fleuriot Experiments in Formalized Mathematics: More Integration Theory in Isabelle/HOL.
- I. Stark Machine formalization of the continuous pi-calculus.
