كتاب إلكتروني
Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane
| العنوان: | Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane |
|---|---|
| المؤلفون: | Subercaseaux, BernardoAff9, Mackey, JohnAff9, Heule, Marijn J. H.Aff9, Martins, RubenAff9 |
| المساهمون: | Goos, Gerhard, Series EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Kohlhase, Andrea, editorAff7, Kovács, Laura, editorAff8 |
| المصدر: | Intelligent Computer Mathematics : 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings. 14960:21-41 |
| قاعدة البيانات: | Springer Nature eBooks |
| ردمك: | 9783031669965 9783031669972 |
|---|---|
| DOI: | 10.1007/978-3-031-66997-2_2 |