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

ISSN: 2227-7390

Datum der Publikation: 2021

Ausgabe: 9

Nummer: 16

Art: Artikel

DOI: 10.3390/MATH9161964 GOOGLE SCHOLAR lock_openOpen Access editor