Description
Speaker: Vladimir Sicca
Title: Newclid: Humans looking at computers looking at geometry
Abstract: In this talk I will show some visual aspects of the
development of the geometry-solver Newclid. We'll discuss decisions
taken to illustrate its outputs, how illustrating the inner workings
helped the development and how and why the engine sees geometry
problems.