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

Jump to:navigation, search

zbMath0634.03010MaRDI QIDQ3772181

Hai-Ping Ko, Moayyed A. Hussain

Publication date: 1985

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

zbMATH Keywords

algebraic geometry mechanization of theorem proving in Elementary Geometry

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Euclidean geometries (general) and generalizations (51M05)

Related Items

Wu's method and its application to perspective viewing, Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle, A refutational approach to geometry theorem proving, A generalized Euclidean algorithm for geometry theorem proving

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