-
Proofs with Coq of theorems in plane geometry using oriented angles
Formalization of the theory of oriented angles of non zero vectors using Coq is reported. Using this theory, some classical plane geometry theorems are proved, among... -
Proofs with Coq of theorems in plane geometry using oriented angles
Formalization of the theory of oriented angles of non zero vectors using Coq is reported. Using this theory, some classical plane geometry theorems are proved, among... -
La routine de l'angle
International audience -
Time-angle ocean acoustic tomography using sensitivity kernels: Numerical and...
International audience -
Measurement of the differential cross section of the production Z boson decay...
The first measurement of the phi*_eta spectrum of Z bosons at 7 TeV of pp collisions has been studied in this thesis, which is an alternative way to probe the...
