Pages that link to "Item:Q4396062"
From MaRDI portal
The following pages link to Computer simplification of formulas in linear systems theory (Q4396062):
Displaying 10 items.
- Computer assistance for ``discovering'' formulas in system engineering and operator theory (Q1282332) (← links)
- Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra (Q2133928) (← links)
- Formal proofs of operator identities by a single formal computation (Q2223357) (← links)
- Algebraic proof methods for identities of matrices and operators: improvements of Hartwig's triple reverse order law (Q2244141) (← links)
- Algorithmic operator algebras via normal forms in tensor rings (Q2409019) (← links)
- A new symbolic method for solving linear two-point boundary value problems on the level of operators (Q2456540) (← links)
- Computing elements of certain form in ideals to prove properties of operators (Q2680116) (← links)
- Solving Linear Boundary Value Problems Via Non-commutative Gröbner Bases (Q4440451) (← links)
- Model of time-varying linear systems and Kolmogorov equations (Q4971621) (← links)
- Designing control systems using exact and symbolic manipulations of formulae (Q5423855) (← links)
