Equidecomposability (scissors congruence) of polyhedra in R^3 and R^4 is algorithmically decidable: Hilbert's 3rd problem revisited

zbMATH Open1161.52011MaRDI QIDQ3602153FDOQ3602153

Vladik Kreinovich

Publication date: 12 February 2009

Recommendations

• A New Approach to Hilbert's Third Problem
• A feasible algorithm for checking \(n\)-scissors congruence of polyhedra in \({\mathbb R}^d\)
• scientific article; zbMATH DE number 3947055
• Non-Euclidean geometry and volumes of hyperbolic polyhedra
• Polytopes that fill \(\mathbb{R}^ n\) and scissors congruence

zbMATH Keywords

Hilbert's third problemscissors congruenceelementary geometryTarski algorithmequidecomposabilityalgorithmical decidability

Mathematics Subject Classification ID

(n)-dimensional polytopes (52B11) Dissections and valuations (Hilbert's third problem, etc.) (52B45)

Cited In (4)

• Polytopes that fill \(\mathbb{R}^ n\) and scissors congruence
• Equidecomposability of polyhedra: a solution of Hilbert's third problem in Kraków before ICM 1900
• Hinged dissections exist
• Title not available (Why is that?)

This page was built for publication: Equidecomposability (scissors congruence) of polyhedra in \(\mathbb R^3\) and \(\mathbb R^4\) is algorithmically decidable: Hilbert's 3rd problem revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3602153)