|標題:||ZZDecomposer: A Graphical Toolkit for Analyzing the Zhang-Zhang Polynomials of Benzenoid Structures|
Witek, Henryk A.
Department of Applied Chemistry
Institute of Molecular science
|摘要:||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-COMMUNICATIONS IN MATHEMATICAL AND IN COMPUTER CHEMISTRY|