PhD Proposals Automated theorem proving (ATP) in geometry has two major lines of research: axiomatic proof style and algebraic proof style (see [6], for instance, for a survey). Algebraic proof style methods are base