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