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.
Revista:
Mathematics

ISSN: 2227-7390

Any de publicació: 2021

Volum: 9

Número: 16

Tipus: Article

DOI: 10.3390/MATH9161964 GOOGLE SCHOLAR lock_openAccés obert editor