Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL.

Fadoua Ghourabi, Kazuko Takahashi

Browse the full ICAART paper archive.