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

Chien Pin Chou, Henryk A. Witek

Research output: Contribution to journalArticle

14 Citations (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)741-764
Number of pages24
JournalMatch
Volume71
Issue number3
Publication statusPublished - 2014
Externally publishedYes

Fingerprint

Formal Proof
Polynomials
Decomposition
Polynomial
Linux
Decompose
Series
Arbitrary
Graphics

ASJC Scopus subject areas

  • Chemistry(all)
  • Computer Science Applications
  • Computational Theory and Mathematics
  • Applied Mathematics

Cite this

ZZDecomposer : A graphical toolkit for analyzing the zhang-zhang polynomials of benzenoid structures. / Chou, Chien Pin; Witek, Henryk A.

In: Match, Vol. 71, No. 3, 2014, p. 741-764.

Research output: Contribution to journalArticle

@article{e64a74d54ce04400ae8928b29709d72e,
title = "ZZDecomposer: A graphical toolkit for analyzing the zhang-zhang polynomials of benzenoid structures",
abstract = "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.",
author = "Chou, {Chien Pin} and Witek, {Henryk A.}",
year = "2014",
language = "English",
volume = "71",
pages = "741--764",
journal = "Match",
issn = "0340-6253",
publisher = "University of Kragujevac, Faculty of Science",
number = "3",

}

TY - JOUR

T1 - ZZDecomposer

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

AU - Chou, Chien Pin

AU - Witek, Henryk A.

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84898729280&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84898729280&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:84898729280

VL - 71

SP - 741

EP - 764

JO - Match

JF - Match

SN - 0340-6253

IS - 3

ER -