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
A decision method for certain algebraic geometry problems - MaRDI portal

A decision method for certain algebraic geometry problems

From MaRDI portal

Publication:752130

Jump to:navigation, search

DOI10.1216/RMJ-1989-19-3-709zbMath0715.14050MaRDI QIDQ752130

Hai-Ping Ko, Shang-Ching Chou

Publication date: 1989

Published in: Rocky Mountain Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

mechanical theorem proving in geometry membership of the set of all polynomials

Mathematics Subject Classification ID

Computational aspects in algebraic geometry (14Q99)

This page was built for publication: A decision method for certain algebraic geometry problems

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