Vol-2751⫷ Vol-2752 ⫸Vol-2753
urn:nbn:de:0074-2752-0


Vol-2752/paper12⫷Vol-2752/paper13⫸Vol-2752/paper14

New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract)