×

Found 27,280 Documents (Results 1–100)

Automated mathematical discovery and verification: minimizing pentagons in the plane. (English) Zbl 07953756

Kohlhase, Andrea (ed.) et al., Intelligent computer mathematics. 17th international conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14960, 21-41 (2024).
MSC:  68Vxx

32nd international symposium on graph drawing and network visualization, GD 2024, Vienna, Austria, September 18–20, 2024. (English) Zbl 07945661

LIPIcs – Leibniz International Proceedings in Informatics 320. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-343-0). xiv, 61 articles, not consecutively paged, electronic only, open access (2024).

16th international conference on spatial information theory, COSIT 2024, Québec City, Canada, September 17–20, 2024. (English) Zbl 07945656

LIPIcs – Leibniz International Proceedings in Informatics 315. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-330-0). xvi, 31 articles, not consecutively paged, electronic only, open access (2024).

Filter Results by …

Access

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software