Algorithms for Testing Membership in Univariate Quadratic Modules over the Reals.
International Symposium on Symbolic and Algebraic Computation（2022）
Key words
Quadratic module,membership test,sum of squares,formal power series
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined