Computational complexity of determining which statements about causality hold in different space-time models (Q949614): Difference between revisions

@@ Property / cites work @@
+A Contribution to Chronogeometry
@@ Property / cites work: A Contribution to Chronogeometry / rank @@
+Normal rank
@@ Property / cites work @@
+Mappings of spaces with families of cones and space-time transformations
+Normal rank
@@ Property / cites work @@
+The complexity of elementary algebra and geometry
@@ Property / cites work: The complexity of elementary algebra and geometry / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of plane Lorentz transformations
+Normal rank
@@ Property / cites work @@
+Q4004345
@@ Property / cites work: Q4004345 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5538720
@@ Property / cites work: Q5538720 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Real quantifier elimination is doubly exponential
@@ Property / cites work: Real quantifier elimination is doubly exponential / rank @@
+Normal rank
@@ Property / cites work @@
+Universal homogeneous causal sets
@@ Property / cites work: Universal homogeneous causal sets / rank @@
+Normal rank
@@ Property / cites work @@
+Sur l'extension aux relations de quelques propriétés des ordres
+Normal rank
@@ Property / cites work @@
+Q3230355
@@ Property / cites work: Q3230355 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetry characterization of Pimenov's spacetime: A reformulation of causality axioms
+Normal rank
@@ Property / cites work @@
+Q5527790
@@ Property / cites work: Q5527790 / rank @@
+Normal rank
@@ Property / cites work @@
+On null cone preserving mappings
@@ Property / cites work: On null cone preserving mappings / rank @@
+Normal rank
@@ Property / cites work @@
+Cone Preserving Mappings for Quadratic Cones Over Arbitrary Fields
+Normal rank
@@ Property / cites work @@
+A Physical Characterization of Conformal Transformations of Minkowski Spacetime
+Normal rank
@@ Property / cites work @@
+On distance-preserving transformations of lines in Euclidean three-space
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5603156
@@ Property / cites work: Q5603156 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient solving of quantified inequality constraints over the real numbers
+Normal rank
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q2755788
@@ Property / cites work: Q2755788 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Causality Implies the Lorentz Group
@@ Property / cites work: Causality Implies the Lorentz Group / rank @@
+Normal rank