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
My hobby: helping mathematicians get up and running with Git/GitHub workflows so they can engage with open-source mathematical software and educational resource projects. And with the advent of GitHub Codespaces, there's no installation required: by just logging into GitHub.com with your free account, you can access all the necessary tools to contribute to a mathematics project using just your web browser! In this talk, I will demo several of my favorite GitHub Codespaces-ready mathematical projects: PreTeXt, pi-Base, LMFDB, Manim, Doenet, and Lean/mathlib. If you'd like to learn more, please check out my handbook [GitHub for Mathematicians](https://g4m.code4math.org/g4m.html), or join us for my [Getting Started with GitHub](https://scholarlattice.org/collections/82bace2a-c3ce-4dfc-9089-4feb05dd8af7) two-day virtual workshop!
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
In this talk I will discuss my experiences posting mathematics on social media, and why, how, and what do I post. In particular, I will talk about how mathematics researchers can use technology to improve public perception of mathematics and, in particular, how one can use social media platforms, such as Instagram, TikTok or YouTube, to move the needle and create engaging mathematical content that has a math-positive spin to counter the prevalent math phobia in our society.
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
Would your students benefit from an easy-to-use, open-source, web-based word processor that could check their assigned mathematical proofs in real time? In this talk we introduce Lurch Plus, our software project designed specifically for this purpose. We will explain how you can use this software and accompanying course materials, and customize it for your own purposes. While existing proof verification tools like Lean and Isabelle are powerful and effective, they often have steep additional learning curves and can be difficult to customize. We will explain how the custom Lurch validation algorithm overcomes these challenges, and pose some questions for future work.
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