AI Chat AI Image Generator AI Video Text to Speech

SPECTRA -a Maple library for solving linear matrix inequalities in exact arithmetic

11/07/2016

∙

by Didier Henrion, et al.

∙

∙

This document describes our freely distributed Maple library spectra, for Semidefinite Programming solved Exactly with Computational Tools of Real Algebra. It solves linear matrix inequalities with symbolic computation in exact arithmetic and it is targeted to small-size, possibly degenerate problems for which symbolic infeasibility or feasibility certificates are required.

Didier Henrion
6 publications
Simone Naldi
5 publications
Mohab Safey El Din
36 publications

research

∙ 09/16/2021

Computing the exact sign of sums of products with floating point arithmetic

IIn computational geometry, the construction of essential primitives lik...

0 Walter F. Mascarenhas, et al. ∙

research

∙ 03/13/2022

Semidefinite programming bounds for binary codes from a split Terwilliger algebra

We study the upper bounds for A(n,d), the maximum size of codewords with...

0 Pin-Chieh Tseng, et al. ∙

research

∙ 02/06/2022

Proving Information Inequalities and Identities with Symbolic Computation

Proving linear inequalities and identities of Shannon's information meas...

0 Laigang Guo, et al. ∙

research

∙ 02/08/2018

Exact algorithms for semidefinite programs with degenerate feasible set

Let A_0, ..., A_n be m × m symmetric matrices with entries in Q, and let...

0 Didier Henrion, et al. ∙

research

∙ 05/05/2020

Primes in arithmetic progressions and semidefinite programming

Assuming the generalized Riemann hypothesis, we give asymptotic bounds o...

0 Andrés Chirre, et al. ∙

research

∙ 01/29/2021

lrsarith: a small fixed/hybrid arithmetic C library

We describe lrsarith which is a small fixed precision and hybrid arithme...

0 David Avis, et al. ∙

research

∙ 02/01/2022

Fast and Exact Matrix Factorization Updates for Nonlinear Programming

LU and Cholesky matrix factorization algorithms are core subroutines use...

0 Adolfo R. Escobedo, et al. ∙