scientific article; zbMATH DE number 1262462
From MaRDI portal
Publication:4232513
zbMath0918.68058MaRDI QIDQ4232513
Publication date: 23 August 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On using Lazard's projection in CAD construction, Simple CAD construction and its applications, Improved projection for cylindrical algebraic decomposition, Truth table invariant cylindrical algebraic decomposition
Uses Software
