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

• scientific article; zbMATH DE number 1684391
• Multiple object semilinear motion planning
• scientific article; zbMATH DE number 1189070
• 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

(5)

• Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package.
• Multiple object semilinear motion planning
• scientific article; zbMATH DE number 1684391 (Why is no real title available?)
• scientific article; zbMATH DE number 1189070 (Why is no real title available?)
• 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)