Entity usage
From MaRDI portal
This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.
Showing below up to 9 results in range #51 to #59.
- Algebraic Analysis of Huzita’s Origami Operations and Their Extensions: Label: en
- Rigidity of Origami Universal Molecules: Label: en
- Realizations of Volume Frameworks: Label: en
- From Tarski to Hilbert: Label: en
- Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls: Label: en
- Equation Systems with Free-Coordinates Determinants: Label: en
- Extending the Descartes Circle Theorem for Steiner n-Cycles: Label: en
- Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization: Label: en
- Proof and Computation in Geometry: Label: en
