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:2760201

Jump to:navigation, search

zbMath1035.11065MaRDI QIDQ2760201

Andreas Dolzmann, Thomas Sturm

Publication date: 13 March 2003

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

zbMATH Keywords

chinese remainder theorem extended quantifier elimination multivariable parametric systems of linear congruences

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Diophantine equations in many variables (11D72) Quantifier elimination, model completeness, and related topics (03C10) Connections of number theory and logic (11U99)

This page was built for publication:

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