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 |
|---|---|---|
| Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking Journal of Logical and Algebraic Methods in Programming | 2021-08-03 | Paper |
| Efficient simplification techniques for special real quantifier elimination with applications to the synthesis of optimal numerical algorithms Computer Algebra in Scientific Computing | 2016-11-09 | Paper |
| Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) Journal of Symbolic Computation | 2016-02-11 | Paper |
| Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation) Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation | 2015-11-11 | Paper |
Research outcomes over time
This page was built for person: Mădălina Eraşcu
