TY  - THES 
A3  - Medina Bulo, María Inmaculada
AU  - Palomo Lozano, Francisco
A4  - Ingeniería Informática
PY  - 2025
UR  - http://hdl.handle.net/10498/37252
AB  - This dissertation addresses the construction of formally verified libraries for multivariate polynomials within the framework provided by the ACL2 computational logic. Since ACL2 integrates a pure functional programming language and an automated...
LA  - spa
TI  - Verificación formal en acl2 de polinomios de múltiples variables y su aplicación al problema de la decisión en la lógica proposicional clásica
M3  - doctoral thesis
ER  -