scientific article; zbMATH DE number 1421052

MaRDI QIDQ4946076zbMATH OpenFDO

Authors Andreas Dolzmann

Publication date 22 March 2000

zbMATH Keywords

Enneper surfacefirst-order formulasquantifier eliminationreal geometryREDLOG

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Quantifier elimination, model completeness, and related topics (03C10) Software, source code, etc. for problems pertaining to geometry (51-04)

Recommendations

• scientific article; zbMATH DE number 1302474
• scientific article; zbMATH DE number 2247478
• scientific article; zbMATH DE number 1189070
• Quantifier elimination for real algebra -- the quadratic case and beyond
• Real quantifier elimination in the RegularChains library

Cited in

(4)

• Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package.
• scientific article; zbMATH DE number 1189070 (Why is no real title available?)
• scientific article; zbMATH DE number 778202 (Why is no real title available?)
• Formula Simplification for Real Quantifier Elimination Using Geometric Invariance

Describes a project that uses

Uses Software

• REDLOG
• QEPCAD

This page was built for publication:

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