Vesna Marinkovic

From MaRDI portal
Person:294372

Available identifiers

zbMath Open marinkovic.vesnaMaRDI QIDQ294372

List of research outcomes





PublicationDate of PublicationType
On automating triangle constructions in absolute and hyperbolic geometry2024-12-17Paper
Automated triangle constructions in hyperbolic geometry2024-01-08Paper
New dynamics in dynamic geometry: dragging constructed points2019-11-07Paper
Portfolio theorem proving and prover runtime prediction for geometry2019-05-16Paper
https://portal.mardi4nfdi.de/entity/Q45580082018-11-27Paper
Constructibility classes for triangle location problems2016-06-16Paper
Wernick's list: a final update2016-03-24Paper
Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems2015-11-11Paper
Towards Understanding Triangle Construction Problems2012-09-07Paper

Research outcomes over time

This page was built for person: Vesna Marinkovic

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:294372&oldid=7045753"
Powered by MediaWiki