The following pages link to Günther Eder (Q484119):
Displayed 20 items.
- Remarks on compositionality and weak axiomatic theories of truth (Q484120) (← links)
- Formal reconstructions of St. Anselm's ontological argument (Q514608) (← links)
- Parallelized ear clipping for the triangulation and constrained Delaunay triangulation of polygons (Q1615773) (← links)
- Computing positively weighted straight skeletons of simple polygons based on a bisector arrangement (Q1705648) (← links)
- Implementing straight skeletons with exact arithmetic: challenges and experiences (Q1984615) (← links)
- On the recognition and reconstruction of weighted Voronoi diagrams and bisector graphs (Q2096374) (← links)
- Frege and the origins of model theory in nineteenth century geometry (Q2695380) (← links)
- Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence (Q2964410) (← links)
- Min-/Max-Volume Roofs Induced by Bisector Graphs of Polygonal Footprints of Buildings (Q4631009) (← links)
- HILBERT, DUALITY, AND THE GEOMETRICAL ROOTS OF MODEL THEORY (Q4637948) (← links)
- Remarks on Independence Proofs and Indirect Reference (Q4983330) (← links)
- PROJECTIVE DUALITY AND THE RISE OF MODERN LOGIC (Q5037516) (← links)
- 2-Opt Moves and Flips for Area-optimal Polygonizations (Q5102068) (← links)
- Truth, Paradox, and the Procedural Conception of Fregean Sense (Q5115858) (← links)
- Weighted Voronoi Diagrams in the Maximum Norm (Q5241379) (← links)
- Recognizing Geometric Trees as Positively Weighted Straight Skeletons and Reconstructing Their Input (Q5241380) (← links)
- (Q6059987) (← links)
- (Q6060033) (← links)
- (Q6060050) (← links)
- Frege on intuition and objecthood in projective geometry (Q6147144) (← links)