FEAS améliore la démonstration automatique de théorèmes pour les équations fonctionnelles en utilisant de nouvelles stratégies.
― 8 min lire
La science de pointe expliquée simplement
FEAS améliore la démonstration automatique de théorèmes pour les équations fonctionnelles en utilisant de nouvelles stratégies.
― 8 min lire