Demonstrações geométricas automáticas, simples, legíveis e interessantes
Résumé
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.
Téléchargements
Les données relatives au téléchargement ne sont pas encore disponibles.
Téléchargements
Publié-e
2024-12-27
Numéro
Rubrique
Dossiê temático
Licence
Cette œuvre est sous licence Creative Commons Attribution - Pas d'Utilisation Commerciale - Partage dans les Mêmes Conditions 4.0 International.
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.
