Demonstrações geométricas automáticas, simples, legíveis e interessantes
Abstract
A demonstração automática de teoremas é uma área de pesquisa bem estabelecida em matemática com inúmeros métodos, programas computacionais e resultados, mas também com inúmeros problemas em aberto que realçam a sua vitalidade. Entre os problemas em aberto, os três seguintes problemas estão na agenda dos especialistas na área da dedução automática: a simplicidade de uma demonstração; a legibilidade de uma demonstração; o quão interessante um dado teorema/demonstração pode ser considerado.
Downloads
I dati di download non sono ancora disponibili.
Downloads
Pubblicato
2024-12-27
Fascicolo
Sezione
Dossiê temático
Licenza
Questo lavoro è fornito con la licenza Creative Commons Attribuzione - Non commerciale - Condividi allo stesso modo 4.0 Internazionale.
Autores que publicam nesta revista concordam com os seguintes termos sobre copyright e política de acesso livre:1. Os autores transferem os direitos de primeira publicação à revista, com uma Licença Creative Commons simultaneamente atribuída ao trabalho (CC BYNC-ND 4.0). Esta atribuição de uma licença Creative Commons permite o compartilhamento de trabalho com reconhecimento de autoria e publicação inicial nesta revista.
2. Autores têm permissão para aceitar contratos e distribuição não-exclusiva da versão do trabalho publicada nesta revista (por exemplo: publicar o texto como um capítulo do livro), com reconhecimento de autoria e publicação inicial nesta revista.
3. Autores têm permissão para publicar e distribuir seu trabalho online (em sua própria página ou em sites de divulgação pessoal) durante o processo de avaliação e publicação, já que isso pode aumentar o impacto e citação do trabalho publicado.
