undergrad master algebra number-theory 5 Continued Fraction Arithmetic master geometry combinatorics 5 Chamber Complex master phd algebra 5 Rational Function Arithmetic (Program) master algebra 6 Partial Fraction Decomposition master algebra 5 Rational Function Arithmetic undergrad master algebra 5 Real Solving master phd algebra 3 Formalization of Symbolic Algorithms master algebra 6 Interpolation master phd geometry algebra optimization 6 Symbolic Polyhedral Omega master phd optimization algebra 5 Machine Learning for Mathematics master phd algebra optimization 5 Graver Bases master algebra number-theory 4 LLL Lattice Basis Reduction master phd algebra combinatorics optimization 6 Math Data master phd optimization combinatorics 7 Optimization via Polyhedral Omega master optimization combinatorics 6 PO-derived Bounds for Knapsack Families master phd algebra geometry optimization 4 Tropical Arithmetic and Optimization undergrad master algebra 4 Polynomial GCD Algorithms undergrad master algebra 4 Sturm Sequences