×

Found 5 Documents (Results 1–5)

Real quantifier elimination in practice. (English) Zbl 0934.68130

Matzat, B. Heinrich (ed.) et al., Algorithmic algebra and number theory. Selected papers from a conference, Heidelberg, Germany, October 1997. Berlin: Springer. 221-247 (1999).
MSC:  68W30 13P10 13-04
PDFBibTeX XMLCite

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field