The following pages link to (Q3766390):
Displaying 40 items.
- A case study in formalizing projective geometry in Coq: Desargues theorem (Q448975) (← links)
- On numerical ranges of the compressions of normal matrices (Q621019) (← links)
- Arrangements of \(n\) points whose incident-line-numbers are at most \(n/2\) (Q659700) (← links)
- Einstein on involutions in projective geometry (Q822759) (← links)
- Contingency matrix theory: statistical dependence in a contingency table (Q833738) (← links)
- Extracting information of objects independent of their observations - projection invariants of \(n\)-dimensional objects (Q1365318) (← links)
- Converting triangulations to quadrangulations (Q1384213) (← links)
- The geometric algebra \({\mathcal C}\ell_3\) as a model for a projective plane (Q1418366) (← links)
- Experimental results on quadrangulations of sets of fixed points (Q1608859) (← links)
- Correspondence between Kripke frames and projective geometries (Q1708104) (← links)
- On geometrical configurations (Q1746619) (← links)
- Conics in the hyperbolic plane intrinsic to the collineation group (Q1928600) (← links)
- Desargues configurations with four self-conjugate points (Q1999426) (← links)
- Cubic graphs that cannot be covered with four perfect matchings (Q2040017) (← links)
- Versality of central projections of regular surfaces (Q2139828) (← links)
- H.S.M. Coxeter's theory of accessibility: from Mario Pieri to Marvin Greenberg (Q2159722) (← links)
- Symmedian and isodynamic points relations (Q2165292) (← links)
- Geometrical properties of the mean-median map (Q2192454) (← links)
- Synthetic foundations of cevian geometry. I: Fixed points of affine maps (Q2397237) (← links)
- Projective cyclic groups in higher dimensions (Q2402447) (← links)
- Synthetic foundations of Cevian geometry. III: The generalized orthocenter (Q2410126) (← links)
- A tutorial explaining a machine vision model that emulates human performance when it recovers natural 3D scenes from 2D images (Q2438603) (← links)
- Integrability and geometry of the Wynn recurrence (Q2679675) (← links)
- Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry (Q3102739) (← links)
- What Is a Line ? (Q3102740) (← links)
- (Q3305175) (← links)
- Statistical Independence of Multi-variables from the Viewpoint of Linear Algebra (Q3541051) (← links)
- Vertex positions of the generalized orthocenter and a related elliptic curve (Q4604036) (← links)
- Simultaneous Generalizations of the Theorems of Menelaus, Ceva, Routh, and Klamkin/Liu (Q4622990) (← links)
- HILBERT, DUALITY, AND THE GEOMETRICAL ROOTS OF MODEL THEORY (Q4637948) (← links)
- PROJECTIVE DUALITY AND THE RISE OF MODERN LOGIC (Q5037516) (← links)
- (Q5098803) (← links)
- Cross ratio in use (Q5278064) (← links)
- Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method (Q5453487) (← links)
- Projective Geometry (Q5890828) (← links)
- Uniform hypergraphs under certain intersection constraints between hyperedges (Q6113513) (← links)
- Frege on intuition and objecthood in projective geometry (Q6147144) (← links)
- Degenerations of Pascal lines (Q6174575) (← links)
- Side-side-angle with fixed angles and the cyclic quadrilateral (Q6617356) (← links)
- Intuitionist and Classical Dimensions of Hegel’s Hybrid Logic (Q6650879) (← links)
