Matthew England

This article explores a new dataset focused on inequalities in mathematics.

2025-10-13T22:03:36+00:00 ― 6 min read

Examining how factoring resultants can enhance cylindrical algebraic decomposition methods.

2025-10-13T21:55:42+00:00 ― 5 min read

This study examines how ML improves variable selection in symbolic computation.

2025-09-14T14:41:48+00:00 ― 4 min read

Recent advancements in Real Quantifier Elimination and CAD improve problem-solving efficiency in mathematics.

2025-07-05T08:05:00+00:00 ― 5 min read