Contents of Report

[Data of Report]

Report Number:

TM1025

Date of Registration:

1991.02

English Title:

***

Japanese Title:

第42回情報処理学会 全国大会発表論文集II;代数制約の構造情報を用いた幾何定理証明の効率化手法の検討;グレブナ基底による方法への適用

English Author:

Y.Nagai

Japanese:

永井　保夫

Name of Organization to which author belongs:

TOSHIBA

PDF:

tm1025.pdf

[Contents]

ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda