298 citations
- Norfolk State UniversityUS3 papers
- California University of PennsylvaniaUS2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Georgia Institute of TechnologyUS2 papers
- Lawrence Livermore National LaboratoryUS2 papers
- NIST Center for Neutron ResearchUS2 papers
- Princeton UniversityUS2 papers
- Sandia National Laboratories CaliforniaUS2 papers
- University of MichiganUS2 papers
- University of PennsylvaniaUS2 papers
- University of WarsawPL2 papers
- University of Wisconsin–MadisonUS2 papers
4 papers · 1 filter
Diophantine approximation on Veech surfaces
Pascal Hubert, Thomas A. Schmidt
We show that Y. Cheung's general -continued fractions can be adapted to give approximation by saddle connection vectors for any compact translation surface. That is, we show the…
Transcendence with Rosen continued fractions
Yann Bugeaud, Pascal Hubert, Thomas A. Schmidt
We give the first transcendence results for the Rosen continued fractions. Introduced over half a century ago, these fractions expand real numbers in terms of certain algebraic num…
An Entry Point for Formal Methods: Specification and Analysis of Event Logs
Howard Barringer, Alex Groce, Klaus Havelund +1
Formal specification languages have long languished, due to the grave scalability problems faced by complete verification methods. Runtime verification promises to use formal speci…
Randomly removing g handles at once
Glencora Borradaile, James R. Lee, Anastasios Sidiropoulos
Indyk and Sidiropoulos (2007) proved that any orientable graph of genus can be probabilistically embedded into a graph of genus with constant distortion. Viewing a graph…