ZZDecomposer: A graphical toolkit for analyzing the zhang-zhang polynomials of benzenoid structures

Chien Pin Chou, Henryk A. Witek

研究成果: Article査読

25 被引用数 (Scopus)

抄録

We report a specialized, proof-oriented, graphical computer environment (referred to as ZZDecomposer) capable of performing interactive decompositions of the Zhang-Zhang polynomials for arbitrary benzenoid structures and enabling one in this way to conduct formal proofs of the derived formulas. The functionality and capabilities of the presented program are illustrated on a series of carefully selected examples. The introduced tool, described in detail in the body of the current paper, is subsequently applied for performing formal proofs for some of the heuristically discovered formulas presented in our previous work [MATCH Commun. Math. Comput. Chem. 68 (2012) 3-30; ibidem, 68 (2012) 31-64]. ZZDecomposer is freely available for download from http://qcl.ac.nctu.edu.tw/zzdecomposer for two platforms, Windows and Linux.

本文言語English
ページ(範囲)741-764
ページ数24
ジャーナルMatch
71
3
出版ステータスPublished - 2014
外部発表はい

ASJC Scopus subject areas

  • 化学 (全般)
  • コンピュータ サイエンスの応用
  • 計算理論と計算数学
  • 応用数学

フィンガープリント

「ZZDecomposer: A graphical toolkit for analyzing the zhang-zhang polynomials of benzenoid structures」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル