Reflections on elimination theory

Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation ◽

10.1145/3373207.3403977 ◽

2020 ◽

Author(s):

David A. Cox

Keyword(s):

Elimination Theory

Download Full-text

Quantifier elimination theory and maps which preserve semipositivity

Quantum Information Processing ◽

10.1007/s11128-021-03060-w ◽

2021 ◽

Vol 20 (3) ◽

Author(s):

Grzegorz Pastuszak ◽

Adam Skowyrski ◽

Andrzej Jamiołkowski

Keyword(s):

Quantifier Elimination ◽

Elimination Theory

Download Full-text

Elimination Theory

Undergraduate Texts in Mathematics - Ideals, Varieties, and Algorithms ◽

10.1007/978-1-4757-2181-2_3 ◽

1992 ◽

pp. 113-167

Author(s):

David Cox ◽

John Little ◽

Donal O’Shea

Keyword(s):

Elimination Theory

Download Full-text

Robust Nonlinear Feedback Design via Quantifier Elimination Theory

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)42580-8 ◽

1997 ◽

Vol 30 (16) ◽

pp. 51-54

Author(s):

Peter Dorato ◽

Wei Yang ◽

Domenico Famularo

Keyword(s):

Quantifier Elimination ◽

Elimination Theory ◽

Nonlinear Feedback ◽

Feedback Design

Download Full-text

Elimination Theory

Undergraduate Texts in Mathematics - Ideals, Varieties, and Algorithms ◽

10.1007/978-3-319-16721-3_3 ◽

2015 ◽

pp. 121-174

Author(s):

David A. Cox ◽

John Little ◽

Donal O’Shea

Keyword(s):

Elimination Theory

Download Full-text

Finite morphisms of differential algebraic varieties and elimination theory

Analysis of Controlled Dynamical Systems ◽

10.1007/978-1-4612-3214-8_16 ◽

1991 ◽

pp. 193-200 ◽

Author(s):

Sette Diop

Keyword(s):

Elimination Theory ◽

Algebraic Varieties

Download Full-text

On Kronecker’s elimination theory

Collected Mathematical Papers ◽

10.1007/978-3-0348-9358-9_25 ◽

1983 ◽

pp. 618-638

Author(s):

Alexander Ostrowski

Keyword(s):

Elimination Theory

Download Full-text

Design of Maximum Decay Rate for SISO Systems with Delayed Output Feedback Using Elimination Theory∗∗This work has been supported by CONACYT grant 180725 and PNPC, and developed in part during A. Ramírez's visit to R. Sipahi at Northeastern University.

IFAC-PapersOnLine ◽

10.1016/j.ifacol.2015.09.381 ◽

2015 ◽

Vol 48 (12) ◽

pp. 221-226 ◽

Author(s):

A. Ramírez ◽

R. Sipahi ◽

S. Mondié ◽

R. Garrido

Keyword(s):

Output Feedback ◽

Elimination Theory ◽

Download Full-text

Primitive polynomial remainder sequences in elimination theory

Applicable Algebra in Engineering Communication and Computing ◽

10.1007/bf01225644 ◽

1995 ◽

Vol 6 (2) ◽

pp. 65-79 ◽

Author(s):

Michael Kalkbrener

Keyword(s):

Elimination Theory ◽

Primitive Polynomial

Download Full-text

A Gröbner-based treatment of elimination theory for affine varieties

Journal of Symbolic Computation ◽

10.1016/j.jsc.2007.06.003 ◽

2007 ◽

Vol 42 (9) ◽

pp. 859-870 ◽

Author(s):

Peter Schauenburg

Keyword(s):

Elimination Theory

Download Full-text

Complexity bounds in elimination theory — A survey

Mathematics and Computers in Simulation ◽

10.1016/s0378-4754(96)00017-1 ◽

1996 ◽

Vol 42 (4-6) ◽

pp. 429-438

Author(s):

Pablo Solernó

Keyword(s):

Elimination Theory ◽

Complexity Bounds

Download Full-text