scientific article

zbMath0904.65151MaRDI QIDQ3838772

Thomas Sturm, Volker Weispfenning

Publication date: 26 October 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

computer visionreconstructionmotion planningcomputational geometryVoronoi diagramscomputer-aided designgraphical examplescollision of moving objectselimination algorithmsparallel and central projectionREDUCE package REDLOGshadow problems

Mathematics Subject Classification ID

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

Related Items

Better answers to real questions, Variant quantifier elimination, A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications, REDLOG, Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package., Linear problems in valued fields