All 2018 2016
All Journal Article
SYNASC 2017, post-proceedings
Volume: 印刷中
Proceedings of ADG 2016: Eleventh International Workshop on Automated Deduction in Geometry
Volume: hal-01334334