1 citations · 1 across the 3 of their papers we have counts for
3 papers
math.LO2025
The Dual of Quantifier Elimination: Boolean Elimination over C and R
Matthew Frank
We show that every finite Boolean combination of polynomial equalities and inequalities in C^n admits two uniform normal forms: an form and a form…
math.LO2017★ 1 cited
Interpolating Between Choices for the Approximate Intermediate Value Theorem
Matthew Frank
This paper proves the approximate intermediate value theorem, constructively and from notably weak hypotheses: from pointwise rather than uniform continuity, without assuming that…
gr-qc2002
Einstein's Equation in Pictures
Matthew Frank
This paper gives a self-contained, elementary, and largely pictorial statement of Einstein's equation.