Discover open access scientific publications

Search, annotate, share and cite publications

Publications by S. Semmes

Finding Curves on General Spaces Through Quantitative Topology, With Applications to Sobolev and Poincaré Inequalities

Selecta Mathematica, New Series

English

Making Proofs Without Modus Ponens: An Introduction to the Combinatorics and Complexity of Cut Elimination

Bulletin of the American Mathematical Society

Applied Mathematics

English