DeepAI AI Chat
Log In Sign Up

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

11/07/2016
by   Didier Henrion, et al.
0

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.

READ FULL TEXT
09/16/2021

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

IIn computational geometry, the construction of essential primitives lik...
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...
02/06/2022

Proving Information Inequalities and Identities with Symbolic Computation

Proving linear inequalities and identities of Shannon's information meas...
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...
05/05/2020

Primes in arithmetic progressions and semidefinite programming

Assuming the generalized Riemann hypothesis, we give asymptotic bounds o...
01/29/2021

lrsarith: a small fixed/hybrid arithmetic C library

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