グレブナー基底を応用した幾何定理証明アルゴリズムの新たな展開 - 文献詳細 - Ceek.jp Altmetrics

2 0 0 0 OA グレブナー基底を応用した幾何定理証明アルゴリズムの新たな展開

著者: 森継修一
巻号頁・発行日: 2013

科学研究費助成事業(科学研究費補助金)研究成果報告書:基盤研究(C)2010-2012

2017-01-07 14:06:49
2 + 0 Twitter

http://hdl.handle.net/2241/120814

言及状況

Twitter (2 users, 2 posts, 0 favorites)

収集済み URL リスト