Zobrazeno 1 - 10
of 14
pro vyhledávání: '"宋晓明"'
Publikováno v:
Journal of Agro-Environment Science; 2022, Vol. 41 Issue 7, p1509-1519, 11p
Publikováno v:
Shandong Medical Journal; 12/5/2021, Vol. 61 Issue 34, p1-5, 5p
Publikováno v:
National Journal of Andrology / Zhonghua Nankexue; Mar2019, Vol. 25 Issue 3, p216-222, 7p
Autor:
Hsiao-Ming Sung, 宋曉明
100
A complete graph with v vertices, denoted by Kv, is a simple graph whose vertices are mutually adjacent. A complete bipartite graph is a graph G = (V,E) where V can be divided into two disjoint sets V1 and V2 and E contains all edges connect
A complete graph with v vertices, denoted by Kv, is a simple graph whose vertices are mutually adjacent. A complete bipartite graph is a graph G = (V,E) where V can be divided into two disjoint sets V1 and V2 and E contains all edges connect
Externí odkaz:
http://ndltd.ncl.edu.tw/handle/69598816018872188733
Publikováno v:
National Journal of Andrology / Zhonghua Nankexue; Jul2017, Vol. 23 Issue 7, p589-597, 9p
Autor:
Hsiao-ming Sung, 宋曉明
92
In this paper, first, we use the division algorithm in k[x_1,…x_n] to introduce Gröbner basis, some of its properties and some applications. Then we use these tools to construct the standard steps of automatic geometric theorem proving. In
In this paper, first, we use the division algorithm in k[x_1,…x_n] to introduce Gröbner basis, some of its properties and some applications. Then we use these tools to construct the standard steps of automatic geometric theorem proving. In
Externí odkaz:
http://ndltd.ncl.edu.tw/handle/99026639641926270097