Computational geometry problems in REDLOG

DOI10.1007/BFB0022720MaRDI QIDQ3838772zbMATH OpenFDO

Authors Thomas Sturm, Volker Weispfenning

Publication date 26 October 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

collision of moving objectscomputational geometrycomputer visioncomputer-aided designelimination algorithmsgraphical examplesmotion planningparallel and central projectionreconstructionREDUCE package REDLOGshadow problemsVoronoi diagrams

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to geometry (51-04) Descriptive geometry (51N05) Computer-aided design (modeling of curves and surfaces) (65D17) Numerical aspects of computer graphics, image analysis, and computational geometry (65D18) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Computer science aspects of computer-aided design (68U07) Computing methodologies for image processing (68U10)

Recommendations

• Solving geometric problems with real quantifier elimination
• scientific article; zbMATH DE number 107766
• scientific article; zbMATH DE number 1182922
• Semilinear motion planning in REDLOG
• scientific article; zbMATH DE number 2247478

Cited in

(11)

• Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package.
• Linear problems in valued fields
• REDLOG
• A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
• scientific article; zbMATH DE number 107766 (Why is no real title available?)
• Variant quantifier elimination
• Solving geometric problems with real quantifier elimination
• Semilinear motion planning in REDLOG
• Faster one block quantifier elimination for regular polynomial systems of equations
• Breaking the data barrier in learning symbolic computation: a case study on variable ordering suggestion for cylindrical algebraic decomposition
• Better answers to real questions

This page was built for publication: Computational geometry problems in REDLOG

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