Mădălina Eraşcu

Available identifiers

zbMath Open erascu.madalinaMaRDI QIDQ2043798

List of research outcomes

Publication	Date of Publication	Type
Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking	2021-08-03	Paper
Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms	2016-11-09	Paper
Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation)	2016-02-11	Paper
Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation)	2015-11-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mădălina Eraşcu