13th International Conference on Automated Deduction in Geometry [ADG 2021]

General Information

Conference Date: 15/09/2021 - 17/09/2021

Venue: RISC, Hagenberg, Austria.