Pages that link to "Item:Q1282332"
From MaRDI portal
The following pages link to Computer assistance for ``discovering'' formulas in system engineering and operator theory (Q1282332):
Displaying 7 items.
- Inverses of \(2\times 2\) block matrices (Q1609046) (← links)
- Formal proofs of operator identities by a single formal computation (Q2223357) (← links)
- Algorithmic operator algebras via normal forms in tensor rings (Q2409019) (← links)
- (Q2704383) (← links)
- Computer algebra tailored to matrix inequalities in control (Q5423853) (← links)
- NON-COMMUTATIVE REPRESENTATIONS OF FAMILIES OF k<sup>2</sup> COMMUTATIVE POLYNOMIALS IN 2k<sup>2</sup> COMMUTING VARIABLES (Q5746938) (← links)
- Using noncommutative Gröbner bases in solving partially prescribed matrix inverse completion problems (Q5955656) (← links)
