Diferencia entre revisiones de «Proyectos relacionados»
(→Propuesta de Proyectos de Tesis Doctoral) |
(→Propuesta de Proyectos de Tesis Doctoral) |
||
| Línea 17: | Línea 17: | ||
# A. Bundy [http://homepages.inf.ed.ac.uk/bundy/projects/phd/nsa.html A Teaching Aid for Nonstandard Analysis]. | # A. Bundy [http://homepages.inf.ed.ac.uk/bundy/projects/phd/nsa.html A Teaching Aid for Nonstandard Analysis]. | ||
# A. Bundy [http://homepages.inf.ed.ac.uk/bundy/projects/phd/phd-project-dec-proc.html Synthesis of Decision Procedures]. | # A. Bundy [http://homepages.inf.ed.ac.uk/bundy/projects/phd/phd-project-dec-proc.html Synthesis of Decision Procedures]. | ||
| + | # A. Bundy [http://homepages.inf.ed.ac.uk/bundy/projects/phd/phd-project-hardware.html Automatic Hardware Verification]. | ||
Revisión del 09:07 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
- 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.
- A. Bundy Recommender system for an interactive theorem 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.
Propuesta de Proyectos Fin de Master
Propuesta de Proyectos de Tesis Doctoral
- A. Bundy A Proof Management Tool.
- A. Bundy A Programming by Analogy Editor for Godel.
- A. Bundy A Teaching Aid for Nonstandard Analysis.
- A. Bundy Synthesis of Decision Procedures.
- A. Bundy Automatic Hardware Verification.
