scientific article; zbMATH DE number 1859215
From MaRDI portal
Publication:4789198
zbMath1018.65063MaRDI QIDQ4789198
Klaus Meer, Johann A. Makowsky
Publication date: 11 September 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
hypergraphmonadic second-order logicmultivariate polynomialspermanentpolynomial rootsBlum-Shub-Smale modelbounded tree-widthfinite fields \(\mathbb{F}\)Hamiltonian polynomialsinfinite ordered ringsmeta-finite structures
Hypergraphs (05C65) Numerical computation of solutions to single equations (65H05) Finite fields (field-theoretic aspects) (12E20) Graph algorithms (graph-theoretic aspects) (05C85) Ordered rings, algebras, modules (06F25)
Related Items
On the Expressive Power of Permanents and Perfect Matchings of Matrices of Bounded Pathwidth/Cliquewidth (Extended Abstract) ⋮ Counting solutions to CSP using generating polynomials ⋮ On the Expressive Power of Planar Perfect Matching and Permanents of Bounded Treewidth Matrices ⋮ On the expressive power of permanents and perfect matchings of matrices of bounded pathwidth/cliquewidth ⋮ Exploiting Chordal Structure in Polynomial Ideals: A Gröbner Bases Approach