Skip to main content
  • Article metrics
  • Last updated: Fri, 22 Oct 2021 1:29:45 Z

Automated proving and analysis of geometric theorems in coordinate-free form by using the anticommutative Gröbner basis method

Access & Citations

  • 25
    Article Accesses
  • 0
    Web of Science
  • 0

Citation counts are provided from Web of Science and CrossRef. The counts may vary by service, and are reliant on the availability of their data. Counts will update daily once available.