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.