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
What in the Name of Euclid Is Going On Here? - MaRDI portal

What in the Name of Euclid Is Going On Here?

From MaRDI portal

Publication:3101383

Jump to:navigation, search

DOI10.1126/SCIENCE.307.5714.1402AzbMath1226.68095OpenAlexW1664240318WikidataQ81475433 ScholiaQ81475433MaRDI QIDQ3101383

Dana Mackenzie

Publication date: 28 November 2011

Published in: Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1126/science.307.5714.1402a

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Methodology of mathematics (00A35)

This page was built for publication: What in the Name of Euclid Is Going On Here?

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