12 citations · 40 across the 14 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
math.OC2016★ 2 cited
SPECTRA -- a Maple library for solving linear matrix inequalities in exact arithmetic
Mohab Safey El Din, Didier Henrion, Simone Naldi +2
This document describes our freely distributed Maple library {\sc spectra}, for Semidefinite Programming solved Exactly with Computational Tools of Real Algebra. It solves linear m…
cs.SC2016★ 6 cited
Determinantal sets, singularities and application to optimal control in medical imagery
Bernard Bonnard, Jean-Charles Faugère, Alain Jacquemard +2
Control theory has recently been involved in the field of nuclear magnetic resonance imagery. The goal is to control the magnetic field optimally in order to improve the contrast b…