1: \begin{abstract}

2: We construct the first (to our knowledge) examples of finitely presented (infinite) simple groups of homeomorphisms of $\mathbf{R}$. Our examples also satisfy the stronger finiteness property \emph{type $\mathbf{F}_{\infty}$}: they are fundamental groups of connected aspherical CW complexes with finitely many cells in each dimension. 

3: %They are also the first examples of finitely presented (and type $\mathbf{F}_{\infty}$) simple groups that are torsion-free and infinite-dimensional. Moreover, they are also the first examples of finitely presented simple torsion-free groups that  

4: To our knowledge, ours is the only family of finitely presented simple torsion-free groups that has been constructed since the Burger-Mozes construction from \cite{BurgerMosesIHES}. Besides admitting faithful actions on the line by homeomorphisms, the groups in our family satisfy the following fundamentally new features.

5: They have infinite geometric (and cohomological) dimension, and they admit a nontrivial homogeneous quasimorphism (and hence have infinite commutator width).

6: \end{abstract}

7: