Manipulation of Large-Scale Polynomials Using BMDs
Summary :
Minato has proposed 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 l. 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.
- Publication
- IEICE TRANSACTIONS on Fundamentals Vol.E80-A No.10 pp.1774-1781
- Publication Date
- 1997/10/25
- Publicized
- Online ISSN
- DOI
- Type of Manuscript
- Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
- Category
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Dror ROTTER, Kiyoharu HAMAGUCHI, Shin-ichi MINATO, Shuzo YAJIMA, "Manipulation of Large-Scale Polynomials Using BMDs" in IEICE TRANSACTIONS on Fundamentals,
vol. E80-A, no. 10, pp. 1774-1781, October 1997, doi: .
Abstract: Minato has proposed 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 l. 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.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e80-a_10_1774/_p
Copy
@ARTICLE{e80-a_10_1774,
author={Dror ROTTER, Kiyoharu HAMAGUCHI, Shin-ichi MINATO, Shuzo YAJIMA, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Manipulation of Large-Scale Polynomials Using BMDs},
year={1997},
volume={E80-A},
number={10},
pages={1774-1781},
abstract={Minato has proposed 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 l. 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.},
keywords={},
doi={},
ISSN={},
month={October},}
Copy
TY - JOUR
TI - Manipulation of Large-Scale Polynomials Using BMDs
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 1774
EP - 1781
AU - Dror ROTTER
AU - Kiyoharu HAMAGUCHI
AU - Shin-ichi MINATO
AU - Shuzo YAJIMA
PY - 1997
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E80-A
IS - 10
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - October 1997
AB - Minato has proposed 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 l. 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.
ER -
English
