Dealing with degeneracies in automated theorem proving in geometry

  1. Kovács, Z.
  2. Recio, T.
  3. Tabera, L.F.
  4. Vélez, M.P.
Journal:
Mathematics

ISSN: 2227-7390

Year of publication: 2021

Volume: 9

Issue: 16

Type: Article

DOI: 10.3390/MATH9161964 GOOGLE SCHOLAR lock_openOpen access editor