Article

Explore the collection 'Article' on Prezm, curated by @mangal in the linksea.

Collection Items

• Mathematical Experiments Are Becoming Abundant Through Human-Machine Teaming | Towards Data Science — Two open problems, exact-arithmetic checking and a proof assistant, over a single weekend.