| Theorem | Location | PVS Name | Contributors |
|---|
- Heber Herencia-Zapana, NIA, USA
- Gilberto Perez, University of La Coruña, Spain
- Pablo Ascariz, University of La Coruña, Spain
- Felicidad Aguado, University of La Coruña, Spain
- Sam Owre, SRI, USA
- César Muñoz, NASA, USA
- Mariano Moscato, NIA & NASA, USA
- César Muñoz, NASA, USA
