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.

Export

Export

×

MLA

modern-language-association

APA

apa

Chicago

chicago-fullnote-bibliography

Harvard

harvard-cite-them-right

Vancouver

vancouver-author-date

---

RIS BibTex

Export

×

This document cannot be exported because it belongs to another portal.

Full text

lock_openFull text externo

DOI: 10.3390/MATH9161964 GOOGLE SCHOLAR lock_openOpen access editor

Data source: Scopus