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.
« February 2019 »
February
SuMoTuWeThFrSa
12
3456789
10111213141516
17181920212223
2425262728