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
How machines can make mathematics more congressive - MaRDI portal

How machines can make mathematics more congressive

From MaRDI portal

Publication:6130528

Jump to:navigation, search

DOI10.1090/BULL/1827OpenAlexW4391958675MaRDI QIDQ6130528

Eugenia Cheng

Publication date: 3 April 2024

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/bull/1827

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 21st century (01A61) Sociology (and profession) of mathematics (01A80) Computer science support for mathematical research and practice (68Vxx)

Cites Work

This page was built for publication: How machines can make mathematics more congressive

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