北京大学学报（自然科学版）2013，Vol.49Issue(4)：545-551,7.
基于差分代换的正半定型判定完备方法
A Complete Method Based on Successive Difference Substitution Method for Deciding Positive Semi-definiteness of Polynomials
摘要
关键词
逐次差分代换/差分代换次数/正半定型/终止性Key words
successive difference substitution/successive difference substitution times/positive semi-definite/termination分类
信息技术与安全科学引用本文复制引用
韩京俊..基于差分代换的正半定型判定完备方法[J].北京大学学报（自然科学版）,2013,49(4):545-551,7.
