Keyword: geometry chou gao zhang area method decision procedure automatic theorem proving

• AreaMethod: The Chou, Gao and Zhang area method
  Julien Narboux