已选(0)清除
条数/页: 排序方式: |
| Solving Multivariate Polynomial Matrix Diophantine Equations with Grobner Basis Method 期刊论文 JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2021, 页码: 14 作者: Xiao Fanghui; Lu Dong; Wang Dingkang 收藏  |  浏览/下载:119/0  |  提交时间:2021/04/26 Grö bner basis matrix Diophantine equation module multivariate polynomial |
| A Survey on Algorithms for Computing Comprehensive Grobner Systems and Comprehensive Grobner Bases 期刊论文 JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 卷号: 32, 期号: 1, 页码: 234-255 作者: Lu Dong; Sun Yao; Wang Dingkang 收藏  |  浏览/下载:163/0  |  提交时间:2019/04/02 Comprehensive Grobner basis comprehensive Grobner system discovering geometric theorems mechanically parametric polynomial system quantifier elimination |
| Speeding Up the GVW Algorithm via a Substituting Method 期刊论文 JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 卷号: 32, 期号: 1, 页码: 205-233 作者: Li Ting; Sun Yao; Huang Zhenyu; Wang Dingkang; Lin Dongdai 收藏  |  浏览/下载:163/0  |  提交时间:2019/04/02 Grobner basis GVW signature-based algorithm time-memory tradeoff |
| asurveyonalgorithmsforcomputingcomprehensivegrobnersystemsandcomprehensivegrobnerbases 期刊论文 journalofsystemsscienceandcomplexity, 2019, 卷号: 32, 期号: 1, 页码: 234 作者: Lu Dong; Sun Yao; Wang Dingkang 收藏  |  浏览/下载:145/0  |  提交时间:2020/01/10 |
| Solving the Perspective-Three-Point Problem Using Comprehensive Grobner Systems 期刊论文 JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2016, 卷号: 29, 期号: 5, 页码: 1446-1471 作者: Zhou Jie; Wang Dingkang 收藏  |  浏览/下载:95/0  |  提交时间:2018/07/30 Comprehensive Grobner system parametric polynomials perspective-three-point problem real solutions |
| On Implementing the Symbolic Preprocessing Function over Boolean Polynomial Rings in Grobner Basis Algorithms Using Linear Algebra 期刊论文 JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2016, 卷号: 29, 期号: 3, 页码: 789-804 作者: Sun Yao; Huang Zhenyu; Lin Dongdai; Wang Dingkang 收藏  |  浏览/下载:118/0  |  提交时间:2018/07/30 Boolean polynomial rings Grobner basis implementation linear algebra |
| solvingtheperspectivethreepointproblemusingcomprehensivegrobnersystems 期刊论文 journalofsystemsscienceandcomplexity, 2016, 卷号: 29, 期号: 5, 页码: 1446 作者: Zhou Jie; Wang Dingkang 收藏  |  浏览/下载:102/0  |  提交时间:2020/01/10 |
| onimplementingthesymbolicpreprocessingfunctionoverbooleanpolynomialringsingrobnerbasisalgorithmsusinglinearalgebra 期刊论文 journalofsystemsscienceandcomplexity, 2016, 卷号: 29, 期号: 3, 页码: 789 作者: Sun Yao; Huang Zhenyu; Lin Dongdai; Wang Dingkang 收藏  |  浏览/下载:102/0  |  提交时间:2020/01/10 |
| anefficientalgorithmforfactoringpolynomialsoveralgebraicextensionfield 期刊论文 sciencechinamathematics, 2013, 卷号: 56, 期号: 6, 页码: 1155 作者: Sun Yao; Wang Dingkang 收藏  |  浏览/下载:82/0  |  提交时间:2020/01/10 |
| anewproofforthecorrectnessofthef5algorithm 期刊论文 sciencechinamathematics, 2013, 卷号: 56, 期号: 4, 页码: 745 作者: Sun Yao; Wang Dingkang 收藏  |  浏览/下载:66/0  |  提交时间:2020/01/10 |