@PhdThesis{narbouxPhD,
  author = 	 {Julien Narboux},
  title = 	 {Formalisation et automatisation du raisonnement g\'{e}om\'{e}trique en {C}oq},
  school = 	 {Universit\'{e} Paris Sud},
  year = 	 {2006},
  month = 	 {September}
}