Semilinear motion planning in REDLOG

DOI10.1007/S002000100086MaRDI QIDQ5956427zbMATH OpenOpenAlexFDO

Authors Volker Weispfenning

Publication date 15 October 2002

Published in Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s002000100086

zbMATH Keywords

complexity boundsexperimental resultsmotion planningpath finding problemquantifier eliminationREDLOG packagetranslations

Mathematics Subject Classification ID

Numerical aspects of computer graphics, image analysis, and computational geometry (65D18) Packaged methods for numerical algorithms (65Y15) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Recommendations

• Semilinear motion planning among moving objects in REDLOG
• Multiple object semilinear motion planning
• Computational geometry problems in REDLOG
• On the Piano Movers problem. II: General techniques for computing topological properties of real algebraic manifolds
• Quantifier elimination for real algebra -- the quadratic case and beyond

Cited in

(6)

• Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package.
• Multiple object semilinear motion planning
• Semilinear motion planning among moving objects in REDLOG
• Computational geometry problems in REDLOG
• Program synthesis for non-linear real arithmetic: going beyond realizability
• Better answers to real questions

Describes a project that uses

Uses Software

• REDLOG

This page was built for publication: Semilinear motion planning in REDLOG

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