default search action
"Weak Integer Quantifier Elimination Beyond the Linear Case."
Aless Lasaruk, Thomas Sturm (2007)
- Aless Lasaruk, Thomas Sturm:
Weak Integer Quantifier Elimination Beyond the Linear Case. CASC 2007: 275-294
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.