scientific article; zbMATH DE number 1421052

zbMath0947.03016MaRDI QIDQ4946076

Andreas Dolzmann

Publication date: 22 March 2000

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

zbMATH Keywords

quantifier eliminationreal geometryEnneper surfacefirst-order formulasREDLOG

Mathematics Subject Classification ID

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

Related Items (1)

Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package.

Uses Software

• QEPCAD
• REDLOG

This page was built for publication: