![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/1/10/Agda_proof.jpg/640px-Agda_proof.jpg&w=640&q=50)
Demostración automática de teoremas
De Wikipedia, la enciclopedia encyclopedia
La demostración automática de teoremas (de siglas ATP, por el término en inglés: Automated theorem proving), que también puede ser denominada deducción automatizada, es actualmente el subcampo más desarrollado del razonamiento automático, y se encarga de la demostración de teoremas matemáticos mediante programas de ordenador.
![]() |
Se ha sugerido que este artículo o sección sea fusionado en «Probador de teoremas lógicos». |
Para otros usos de este término, véase Demostración.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/10/Agda_proof.jpg/640px-Agda_proof.jpg)