Every day, dozens of like-minded mathematicians gather on an online forum called Zulip to build what they believe is the future of their field. They’re all devotees of a software program called Lean.

When I tell people that the Mathematics Statistics Library in Evans Hall is one of my favorite study spots, I get one of the following three reactions: first, “What? There’s a Mathematics Statistics ...

“Strangely enough, anyone wishing to write about Galois in Paris would do well to journey to Louisville, Kentucky.”–Leopold Infeld, Whom the Gods Love LOUISVILLE, KY. French mathematician Evariste ...

This chapter discusses some details of entity collections and technical considerations for the Digital Mathematics Library (DML). The lists discussed in this chapter are reasonable and obvious places ...

Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with content, and download exclusive resources. Soroosh Khodami discusses why we aren't ready ...

The Mathematics Statistics Library maintains and develops research-level collections and services to support the teaching, research, and learning needs of the Department of Mathematics, Department of ...

Orientation trackers can be used for a ton of different applications: tracking mishandled packages, theft notification of valuables, and navigation are just a few examples! A recent blog post from ...