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 3626159 - MaRDI portal

scientific article; zbMATH DE number 3626159

From MaRDI portal

Publication:4188363

Jump to:navigation, search

zbMath0403.51014MaRDI QIDQ4188363

Publication date: 1979

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

zbMATH Keywords

Construction Problems in Plane Performable By Ruler and Compasses

Mathematics Subject Classification ID

Geometric constructions in real or complex geometry (51M15) Software, source code, etc. for problems pertaining to geometry (51-04)

Related Items (5)

Constructibility classes for triangle location problems ⋮ Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems ⋮ MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics ⋮ Geometric construction by assembling solved subfigures ⋮ On the mechanization of straightedge and compass constructions

This page was built for publication:

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