Günther Eder

From MaRDI portal
(Redirected from Person:484119)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Frege on intuition and objecthood in projective geometry
Synthese
2024-02-01Paper
scientific article; zbMATH DE number 7760167 (Why is no real title available?)2023-11-02Paper
Step-by-step straight skeletons (media exposition)2023-11-02Paper
Computing low-cost convex partitions for planar point sets based on tailored decompositions (CG challenge)2023-11-02Paper
Frege and the origins of model theory in nineteenth century geometry
Synthese
2023-03-31Paper
On the recognition and reconstruction of weighted Voronoi diagrams and bisector graphs
Computational Geometry
2022-11-16Paper
2-opt moves and flips for area-optimal polygonizations
ACM Journal of Experimental Algorithmics
2022-09-06Paper
Projective duality and the rise of modern logic
The Bulletin of Symbolic Logic
2022-03-01Paper
Implementing straight skeletons with exact arithmetic: challenges and experiences
Computational Geometry
2021-09-16Paper
Truth, paradox, and the procedural conception of Fregean sense
Philosophy of Logic and Mathematics
2020-08-21Paper
Weighted Voronoi diagrams in the maximum norm
International Journal of Computational Geometry & Applications
2019-10-31Paper
Recognizing Geometric Trees as Positively Weighted Straight Skeletons and Reconstructing Their Input
International Journal of Computational Geometry & Applications
2019-10-31Paper
Min-/max-volume roofs induced by bisector graphs of polygonal footprints of buildings
International Journal of Computational Geometry & Applications
2019-04-24Paper
Parallelized ear clipping for the triangulation and constrained Delaunay triangulation of polygons
Computational Geometry
2018-10-31Paper
Hilbert, duality, and the geometrical roots of model theory
The Review of Symbolic Logic
2018-05-03Paper
Computing positively weighted straight skeletons of simple polygons based on a bisector arrangement
Information Processing Letters
2018-03-16Paper
Formal reconstructions of St. Anselm's ontological argument
Synthese
2017-03-09Paper
Boolos and the metamathematics of Quine's definitions of logical truth and consequence
History and Philosophy of Logic
2017-02-24Paper
Remarks on independence proofs and indirect reference
History and Philosophy of Logic
2015-03-25Paper
Remarks on compositionality and weak axiomatic theories of truth
Journal of Philosophical Logic
2014-12-18Paper


Research outcomes over time


This page was built for person: Günther Eder