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