Günther Eder

From MaRDI portal
(Redirected from Günther Eder)



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