Matthew England

Diese Studie untersucht, wie ML die Variablenauswahl in symbolischer Berechnung verbessert.

Jüngste Fortschritte in der Realen Quantorenelimination und CAD verbessern die Problemlösungs effizient in der Mathematik.