FEAS melhora a prova automática de teoremas para equações funcionais usando novas estratégias.
― 7 min ler
Ciência de ponta explicada de forma simples
FEAS melhora a prova automática de teoremas para equações funcionais usando novas estratégias.
― 7 min ler