Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:3026977

Jump to:navigation, search

zbMath0625.03004MaRDI QIDQ3026977

Dima Yu. Grigoriev

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

polynomial complexity algorithm for quantifier elimination first order theory of algebraically closed fields

Mathematics Subject Classification ID

Polynomials in real and complex fields: factorization (12D05) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (2)

Complexity of computations in Commutative Division of the USSR Academy of Sciences ⋮ Stability of bundles of dynamic systems and related problems

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3026977&oldid=16056199"