Cited in
(70)- Semidefinite Optimization and Convex Algebraic Geometry
- A Groenewold-Van Hove Theorem for $S^2$
- Test for Leibniz \(n\)-algebra structure
- Noncommutative convexity arises from linear matrix inequalities
- Classification of all noncommutative polynomials whose Hessian has negative signature one and a noncommutative second fundamental form
- On real one-sided ideals in a free algebra
- On quantizing \(T^*S^1\)
- Rewrite rules and simplification of matrix expressions
- A local-global principle for linear dependence of noncommutative polynomials.
- Non-commutative polynomial solutions to partial differential equations
- High-Order Retractions on Matrix Manifolds Using Projected Polynomials
- Roots of bivariate polynomial systems via determinantal representations
- Noncommutative rational functions, their difference-differential calculus and realizations
- \textsc{Plural}, a non-commutative extension of \textsc{Singular}: past, present and future.
- Noncommutative polynomials describing convex sets
- Computer algebra tailored to matrix inequalities in control
- Sums of Hermitian squares and the BMV conjecture
- Non-commutative varieties with curvature having bounded signature
- Bianalytic maps between free spectrahedra
- Constrained polynomial optimization problems with noncommuting variables
- Simplification of symbolic polynomials on non-commutative variables
- Singularities of rational functions and minimal factorizations: the noncommutative and the commutative setting
- Matrix inequalities: A symbolic procedure to determine convexity automatically
- Felix
- SUPERCALC
- BERGMAN
- csminwel
- NCSOStools
- Noncommutative plurisubharmonic polynomials. II: Local assumptions
- Quasi-identities on matrices and the Cayley-Hamilton polynomial.
- MAS
- SNEG
- BertiniLab
- NCGB
- GrassmannOps
- Ncpol2sdpa
- Multiparametric quantum algebras and the cosmological constant
- Opal
- SOS.m2
- PythonTeX
- The convex Positivstellensatz in a free algebra
- The Hessian of a noncommutative polynomial has numerous negative eigenvalues
- Local linear dependence of linear partial differential operators
- Noncommutative polynomials nonnegative on a variety intersect a convex set
- Solving Matrix Inequalities whose Unknowns are Matrices
- Using noncommutative Gröbner bases in solving partially prescribed matrix inverse completion problems
- On symmetric polynomials with only real zeros and nonnegative \(\gamma\)-vectors
- scientific article; zbMATH DE number 705057 (Why is no real title available?)
- Convexity and semidefinite programming in dimension-free matrix unknowns
- Optimization of polynomials in non-commuting variables
- Sums of Hermitian squares as an approach to the BMV conjecture
- Noncommutative Christoffel-Darboux kernels
- Algorithm 950: Ncpol2sdpa -- sparse semidefinite programming relaxations for polynomial optimization problems of noncommuting variables
- Matrix representations for positive noncommutative polynomials
- Matrix coefficient realization theory of noncommutative rational functions
- Sweeping words and the length of a generic vector subspace of \(M_n(\mathbb{F})\)
- A separation theorem for guaranteed \(H_2\) performance through matrix inequalities
- Gröbner bases in universal enveloping algebras of Leibniz algebras
- Confluences of the Painlevé equations, Cherednik algebras and q-Askey scheme
- A new symbolic method for solving linear two-point boundary value problems on the level of operators
- NCSOStools: a computer algebra system for symbolic and numerical computation with noncommutative polynomials
- Computer assistance for ``discovering formulas in system engineering and operator theory
- Knot and braid invariants from contact homology. I
- Poincaré-Birkhoff-Witt theorem for Leibniz \(n\)-algebras
- Symbolic calculations of unitary transforms in quantum dynamics
- The tracial moment problem and trace-optimization of polynomials
- Facilitating the Calculation of the Efficient Score Using Symbolic Computing
- Singularly perturbed control systems using non-commutative computer algebra
- A new method for robust Schur stability analysis
- Framed cord algebra invariant of knots in S1 × S2
This page was built for software: NCAlgebra
