Aless Lasaruk
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Automatic verification of the adequacy of models for families of geometric objects Automated Deduction in Geometry | 2011-05-26 | Paper |
| Effective Quantifier Elimination for Presburger Arithmetic with Infinity Computer Algebra in Scientific Computing | 2009-11-10 | Paper |
| Weak quantifier elimination for the full linear theory of the integers Applicable Algebra in Engineering, Communication and Computing | 2008-09-10 | Paper |
| Weak Integer Quantifier Elimination Beyond the Linear Case Computer Algebra in Scientific Computing | 2008-07-01 | Paper |
Research outcomes over time
This page was built for person: Aless Lasaruk
