-
A formalization of geometric constraint systems and their decomposition
International audience -
Handbook of Teichmüller theory, Volume III
The subject of this handbook is Teichmüller theory in a wide sense, namely the theory of geometric structures on surfaces and their moduli spaces. This includes the...
