Ⅰ. INTRODUCTIONWhittaker first studied the relation between the first integral and integral invariant, and proved that ......

The variational equation of the Birkhoffian system is established, by which it is proved that an integral invariant can ......

Kauffman bracket polynomials of the so-called generalized tree-like links are studied. An algorithm of Witten type invar......

<正>1.引言形式规格说明语言一般是提供一套称为语法域的记号系统和一个称为语义域的对象集合,以及一组精确地定义哪些对象满足哪......