Vesna Marinković

Available identifiers

zbMath Open marinkovic.vesnaMaRDI QIDQ294372

List of research outcomes

Publication	Date of Publication	Type
Automated triangle constructions in hyperbolic geometry	2024-01-08	Paper
New dynamics in dynamic geometry: dragging constructed points	2019-11-07	Paper
Portfolio theorem proving and prover runtime prediction for geometry	2019-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q4558008	2018-11-27	Paper
Constructibility classes for triangle location problems	2016-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q2796478	2016-03-24	Paper
Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems	2015-11-11	Paper
Towards Understanding Triangle Construction Problems	2012-09-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Vesna Marinković