Marie Cousin

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Decomposition Algorithm

Digital Topology

Top Venues

Arch. Formal Proofs

Publications

Marie Cousin, Mnacho Echenim, Hervé Guiol
The Hahn and Jordan Decomposition Theorems. Arch. Formal Proofs 2021 (2021)