You are here: Home / Open Archive / ADG (Automated Deduction in Geometry) 2016

ADG (Automated Deduction in Geometry) 2016

This folder contains the paper, talk slide and proofdoc. The talk slide and proofDoc are in both cdf and nb format.
« December 2018 »
December
SuMoTuWeThFrSa
1
2345678
9101112131415
16171819202122
23242526272829
3031