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

ISSN: 2227-7390

Argitalpen urtea: 2021

Alea: 9

Zenbakia: 16

Mota: Artikulua

DOI: 10.3390/MATH9161964 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus