A case study in meta-automation: automatic generation of congruence automata for combinatorial sequences

ISSN： 1023-6198

Source： Journal of Difference Equations and Applications, Vol.20, Iss.7, 2014-07, pp. : 973-988

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Combinatorial identities in dual sequences

By Sun Z.-W.

European Journal of Combinatorics, Vol. 24, Iss. 6, 2003-08 ,pp. : 709-718

Elsevier

Access to resources Recommend Favorite

Modelling and Verification using Linear Hybrid Automata -- a Case Study

By Müller O. Stauner T.

Mathematical and Computer Modelling of Dynamical Systems, Vol. 6, Iss. 1, 2000-03 ,pp. : 71-89

Taylor & Francis Ltd

Access to resources Recommend Favorite

Some Polynomially Recursive Sequences and Combinatorial Identities

By Müller Eric F.

Communications in Algebra, Vol. 39, Iss. 12, 2011-12 ,pp. : 4751-4762

Taylor & Francis Ltd

Access to resources Recommend Favorite

Variation in Jordan structure under congruence: the nonsingular case

By Furtado Susana

Linear and Multilinear Algebra, Vol. 57, Iss. 1, 2009-01 ,pp. : 29-54

Taylor & Francis Ltd

Access to resources Recommend Favorite

INFINITE LOG-MONOTONICITY OF THE CENTRAL COLUMN SEQUENCES OF COMBINATORIAL TRIANGLES

Journal of Combinatorics and Number Theory, Vol. , Iss. , 2016-04 ,pp. : 59-66

Nova Science Publishers, Inc.

Access to resources Recommend Favorite