Dealing with degeneracies in automated theorem proving in geometry
- Kovács, Z.
- Recio, T.
- Tabera, L.F.
- Vélez, M.P.
Aldizkaria:
Mathematics
ISSN: 2227-7390
Argitalpen urtea: 2021
Alea: 9
Zenbakia: 16
Mota: Artikulua