Funder
Ministarstvo Prosvete, Nauke i Tehnolos̆kog Razvoja
Science Fund of the Republic of Serbia
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference24 articles.
1. Wernick, W.: Triangle constructions with three located points. Mathematics Magazine 55(4), 227–230 (1982)
2. Schreck, P., Mathis, P., Marinković, V., Janičić, P.: Wernick’s list: A final update. Forum Geometricorum 16, 69–80 (2016)
3. Schreck, P., Mathis, P.: Using jointly geometry and algebra to determine rc-constructibility. Journal of Symbolic Computation 90, 124–148 (2019)
4. Marinković, V.: ArgoTriCS - automated triangle construction solver. Journal of Experimental & Theoretical Artificial Intelligence 29(2), 247–271 (2017)
5. Mordoukhay-Boltovskoy, D.D.:About geometrical constructions in Lobacevskiǐ space (in Russian). JFM 53.0592.01, 67–82 (1927)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards Automated Readable Proofs of Ruler and Compass Constructions;Electronic Proceedings in Theoretical Computer Science;2024-01-22