Gabriel Braun

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 3

Top Topics

Euclidean Geometry

Geometry Theorem Proving

Three Dimensional

Top Venues

Automated Deduction in Geometry

J. Autom. Reason.

J. Symb. Comput.

Publications