Demonstrações geométricas automáticas, simples, legíveis e interessantes
Resumen
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.
Descargas
Los datos de descargas todavía no están disponibles.
Descargas
Publicado
2024-12-27
Número
Sección
Dossiê temático
Licencia
Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-CompartirIgual 4.0.
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.
