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

Año de publicación: 2021

Volumen: 9

Número: 16

Tipo: Artículo

DOI: 10.3390/MATH9161964 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus