scientific article
From MaRDI portal
Publication:2702025
zbMath0976.68167MaRDI QIDQ2702025
Publication date: 3 October 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Computer science aspects of computer-aided design (68U07) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)
Related Items (2)
Better answers to real questions ⋮ A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
Uses Software
This page was built for publication:
