1997年10月
Manipulation of large-scale polynomials using BMDs
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES
- ,
- ,
- ,
- 巻
- E80A
- 号
- 10
- 開始ページ
- 1774
- 終了ページ
- 1781
- 記述言語
- 英語
- 掲載種別
- 研究論文(学術雑誌)
- 出版者・発行元
- IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG
Minato has proposed a canonical representation for polynomial functions using zero-suppressed binary decision diagrams (ZBDDs). In this paper, we extend binary moment diagrams (BMDs) proposed by Bryant and Chen to handle variables with degrees higher than 1. The experimental results show that this approach is much more efficient than the previous ZBDDs' approach. The proposed approach is expected to be useful for various problems, in particular, for computer algebra.
- リンク情報
- ID情報
-
- ISSN : 0916-8508
- eISSN : 1745-1337
- CiNii Articles ID : 110003207710
- Web of Science ID : WOS:A1997YE24900006