REMIS Paper Data

Weak Integer Quantifier Elimination Beyond the Linear Case

Author	Lasaruk, Aless and Sturm, Thomas
Title	Weak Integer Quantifier Elimination Beyond the Linear Case
Series	Lecture Notes in Computer Science
Volume	4770
Editor	Ganzha, V. G. and Mayr, E. W. and Vorozhtsov, E. V.
Booktitle	Computer Algebra in Scientific Computing. Proceedings of the CASC 2007: 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings
Pages	275-294
Publisher	Springer
Address	Berlin, Heidelberg
Year	2007
Pubtype	InCollection
Doi	10.1007/978-3-540-75187-8_22

Context	pasf
Domain	integers
Fileid	LasarukSturm_07
Name	Lasaruk, Sturm
Pdffile	http://redlog.dolzmann.de/remis/paper/LasarukSturm_07/casc-2007.pdf
Status	redlog system
Xtitle	Weak Integer Quantifier Elimination Beyond the Linear Case

flowcontrolnl (page 291) Information Flow Control, Nonlinear Variant
integerroots (page 292) Integer Roots
integerrootsgen (page 291) Integer Roots of Generic Polynomial
parintopt (page 290) Parametric Linear Optimization Problem with Univariately Nonlinear Constraints