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; zbMATH DE number 589121 - MaRDI portal

scientific article; zbMATH DE number 589121

From MaRDI portal

Publication:4295430

Jump to:navigation, search

zbMath0807.68059MaRDI QIDQ4295430

John F. Canny

Publication date: 1 March 1995

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

zbMATH Keywords

quantifier elimination sequential complexity algorithm for determining the signs of a collection of polynomials connected components of semialgebraic sets number of potential Sturm queries

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30) Computational aspects in algebraic geometry (14Q99) Quantifier elimination, model completeness, and related topics (03C10)

This page was built for publication:

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