Our official launch event as an AIM Research Community
Our Grand Opening Symposium, celebrating our official launch as an AIM Research Community, will showcase several community members giving talks and facilitating tutorials on products associated with our ecosystem. We look forward to convening together via Zoom on September 8 & 15 for this virtual event. See you then!
LaTeX does a fine job typesetting mathematics for static, printable, non-accessible PDF. Perhaps though you would like to make your research available in an interactive format that can include runnable code, that can be easily read on a smartphone, and is accessible to mathematicians with visual impairments. PreTeXt is a markup language that can be converted to LaTeX, HTML, EPUB, and even Braille. It is a popular choice for authors of open textbooks, but its complexity has historically made it less common for research manuscripts. In this talk I will share recent work that makes PreTeXt easier to use and more appealing for writing papers. Then in the second half of the session, anyone interested can follow along as we set up a new PreTeXt project using free online tools. Strategies for converting existing LaTeX documents will also be shared.
View Submission
arXiv is progressively converting its LaTeX-based articles into accessible, web-native HTML using NIST’s LaTeXML tool. Nearly 80% of our 2.5 million sources have successful HTML conversions, with over one billion formulas rendered in MathML. This talk will outline the challenges and plans to obtain HTML for the entire collection of e-prints. It will also discuss the recent work on MathML Intent for advanced accessibility, with an outlook for authoring it on arXiv.
View Submission
In this talk, we will present the House of Graphs (https://houseofgraphs.org/), which can be a useful tool when studying graphs. The House of Graphs hosts complete lists of graphs of various graph classes, but its main feature is a searchable database of so called "interesting" graphs, which includes graphs that already occurred as extremal graphs or as counterexamples to conjectures. We will highlight the features of the website and demonstrate how users can perform queries on this database and how they can add new interesting graphs to it.
View Submission
In this talk I will discuss different techniques that software engineers use to manage complexity in software systems, and draw analogies to the kinds of complexity one might find in software systems that deal with mathematics.
View Submission
I will present the social enterprise behind the 2 million lines-of-code library of formalised mathematics Mathlib, highlighting the ingredients of its success beyond the purely technical prowess.
View Submission
The NSF has just announced a new mathematical sciences research institute, the Institute for Computer-Aided Reasoning in Mathematics (ICARM), located on the campus of Carnegie Mellon University. Its mission is to empower mathematicians to take advantage of new technologies for mathematical reasoning, including formal methods, automated reasoning, and machine learning, and to support cross-disciplinary collaboration to develop and explore their potential. In this talk, I will explain how we plan to achieve these goals, discuss our plans for the coming year, and solicit thoughts, comments, and suggestions from the audience.
View Submission
I will give an introduction to the LMFDB (https://www.lmfdb.org), a number theory database that includes sections on L-functions, modular forms, elliptic and modular curves, finite groups, number fields and p-adic fields, and many others. I will highlight features that may be of interest to people interested in creating other mathematical databases, so non-number theorists are welcome!
View Submission