Diferencia entre revisiones de «Proyectos relacionados»
(New page: En esta sección se recogen enlaces a proyectos de otros grupos que trabajan en los mismos temas que el nuestro. # A. Bundy [http://homepages.inf.ed.ac.uk/bundy/projects/04-05/zariski.html...) |
|||
| Línea 1: | Línea 1: | ||
En esta sección se recogen enlaces a proyectos de otros grupos que trabajan en los mismos temas que el nuestro. | 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 [http://homepages.inf.ed.ac.uk/bundy/projects/04-05/zariski.html Proving Zariski Space Theorems in Isabelle: A Case Study in the Application of Automated Theorem Proving to Mathematical Research]. | # A. Bundy [http://homepages.inf.ed.ac.uk/bundy/projects/04-05/zariski.html Proving Zariski Space Theorems in Isabelle: A Case Study in the Application of Automated Theorem Proving to Mathematical Research]. | ||
# A. Bundy [http://homepages.inf.ed.ac.uk/mcryan/projs0809/project.php?number=P007 An elementary, machine assisted proof of a multilinear generalisation of the Cauchy-Schwarz inequality]. | # A. Bundy [http://homepages.inf.ed.ac.uk/mcryan/projs0809/project.php?number=P007 An elementary, machine assisted proof of a multilinear generalisation of the Cauchy-Schwarz inequality]. | ||
Revisión del 08:44 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
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.
