Mahdi Buali

FEAS verbessert das automatisierte Beweisen von Theoremen für funktionale Gleichungen mit neuen Strategien.