3 Revolutionary Women of Mathematics
Everyone knows that historys great mathematicians were all men—but everybody is wrong
Source: scientificamerican.com
📰 Tenth Problem News
Tenth Problem News Today
Fast, Ad-Free News Updates
Stay updated with breaking news from Tenth Problem. Real-time updates on events, politics, business and more.
A library of formalised undecidable problems in Coq
external directory. You have to run make deps again after this. Published work and technical reports Hilbert’s Tenth Problem in Coq. Dominique Larchey-Wendling and Yannick Forster. Technical report. Subdirectory H10. https://uds-psl.github.io/H10 L. https://github.com/uds-psl/certifying-extraction-with-time-bounds Certified Undecidability of Intuitionistic Linear Logic via Binary Stack Machines and Minsky Machines. Yannick Forster and Dominique Larchey-Wendling. CPP ‘19. Subdirectory ILL...
Source: uds-psl.github.io