Cylindrical algebraic decomposition for reasoning about qualitative spatial knowledge

DOI10.1145/1940475.1940496MaRDI QIDQ5175254zbMATH OpenOpenAlexFDO

Authors Jae Hee Lee

Publication date 20 February 2015

Published in ACM Communications in Computer Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1940475.1940496

Mathematics Subject Classification ID

Knowledge representation (68T30) Symbolic computation and algebraic computation (68W30)

This page was built for publication: Cylindrical algebraic decomposition for reasoning about qualitative spatial knowledge

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