TY  - RPRT
TI  - A Non-commutative Real Nullstellensatz Corresponds to a Non-commutative Real Ideal; Algorithms
AU  - Jaka Cimpric
AU  - Bill Helton
AU  - Scott McCullough
AU  - Christopher Nelson
PY  - 2012
DO  - 10.1112/plms/pds060
UR  - https://arxiv.org/abs/1105.4150
ID  - 1105.4150
ER  -