Computational complexity of determining which statements about causality hold in different space-time models
type: Item
instance of: scholarly article
title: Computational complexity of determining which statements about causality hold in different space-time models
zbMATH Open document ID: 1158.68015
published in: Theoretical Computer Science
publication date: 2008-10-21T00:00:00Z
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03D15
Mathematics Subject Classification ID: 83A05
zbMATH DE Number: 5354943
zbMATH Keywords: space-time
zbMATH Keywords: computational complexity
zbMATH Keywords: causality
zbMATH Keywords: elementary geometry
zbMATH Keywords: Tarksi's decision procedure
author: Vladik Kreinovich
author: Olga Kosheleva
describes a project that uses: QEPCAD
describes a project that uses: RSOLVER
MaRDI profile type: Publication
full work available at URL: j.tcs.2008.06.028
OpenAlex ID: W1986285719
cites work: A Contribution to Chronogeometry
cites work: Mappings of spaces with families of cones and space-time transformations
cites work: The complexity of elementary algebra and geometry
cites work: A characterization of plane Lorentz transformations
cites work: Q4004345
cites work: Q5538720
cites work: Partial cylindrical algebraic decomposition for quantifier elimination
cites work: Real quantifier elimination is doubly exponential
cites work: Universal homogeneous causal sets
cites work: Sur l'extension aux relations de quelques propriétés des ordres
cites work: Q3230355
cites work: Q4003410
cites work: Symmetry characterization of Pimenov's spacetime: A reformulation of causality axioms
cites work: Q5527790
cites work: On null cone preserving mappings
cites work: Cone Preserving Mappings for Quadratic Cones Over Arbitrary Fields
cites work: A Physical Characterization of Conformal Transformations of Minkowski Spacetime
cites work: On distance-preserving transformations of lines in Euclidean three-space
cites work: Q3221403
cites work: Q5603156
cites work: Efficient solving of quantified inequality constraints over the real numbers
cites work: On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
cites work: Spacetime and causal sets
cites work: Q5807665
cites work: Causality Implies the Lorentz Group
DOI: 10.1016/J.TCS.2008.06.028
description: scientific article; zbMATH DE number 5354943