Publication:4232513
From MaRDI portal
zbMath0918.68058MaRDI QIDQ4232513
Publication date: 23 August 1999
68W30: Symbolic computation and algebraic computation
Related Items
Simple CAD construction and its applications, Improved projection for cylindrical algebraic decomposition, Truth table invariant cylindrical algebraic decomposition, On using Lazard's projection in CAD construction
Uses Software