Müller D (2026)
Publication Type: Conference contribution
Publication year: 2026
Publisher: Springer Science and Business Media Deutschland GmbH
Book Volume: 1907 LNNS
Pages Range: 306-318
Conference Proceedings Title: Lecture Notes in Networks and Systems
Event location: Tunis, TUN
ISBN: 9783032211460
DOI: 10.1007/978-3-032-21147-7_25
The flexiformalist program promises to combine the distinct advantages of both machine-oriented formal and human-oriented informal mathematics, by representing both in an interleaved manner in the same document. In theory, this enables active documents augmented by in-situ services acting on the (flexi-)formal semantics of sentences and paragraphs, but so far, the required comprehensive software support to do so in practice was lacking. Towards that end, we developed a comprehensive solution for authoring, curating, and viewing (corpora of) active flexiformal documents, consisting of: 1. an ontology of flexiformal commons (based on OMDoc), 2. an annotation schema (FTML – Flexiformal HTML) for HTML documents, 3. a dedicated system (A chart compares the number of daily steps taken by two groups over seven days. The horizontal axis shows days one through seven, and the vertical axis shows steps ranging from zero to ten thousand. One group is represented by a blue line with circle markers, and the other by a red line with square markers. The blue group starts lower but steadily increases steps each day, reaching about nine thousand on day seven. The red group starts higher but fluctuates, ending around seven thousand steps on day seven. This chart highlights how the blue group improved their daily activity more consistently than the red group over the week. – FlexiformalAnnotationManagementSystem) for managing and serving flexiformally annotated documents and document fragments, and 4. a standalone FTMLviewer in the form of a JavaScript/WebAssembly script, rendering FTML-annotated HTML documents (inter)active. A chart compares the number of people who have used different types of social media platforms in the past month. The horizontal axis lists platforms: Facebook, Instagram, Twitter, TikTok, and LinkedIn. The vertical axis shows the number of users in millions, ranging from zero to 300. Each platform has a vertical bar in a distinct color: Facebook in blue, Instagram in purple, Twitter in light blue, TikTok in red, and LinkedIn in green. Facebook has the tallest bar, indicating about 280 million users, followed by Instagram with around 200 million. Twitter and TikTok have similar user numbers near 150 million, while LinkedIn has the fewest users, just under 100 million. This chart highlights the popularity differences among social media platforms, showing Facebook as the most used and LinkedIn as the least used in the past month. and the FTML viewer are running publicly on https://mathhub.info, giving access to large corpora of flexiformal documents, and power our learning platform ALeA, which is actively used in university education (https://alea.education).
APA:
Müller, D. (2026). The Flexiformalist Manifesto Made Manifest. In Kevin Daimi, Abeer Alsadoon (Eds.), Lecture Notes in Networks and Systems (pp. 306-318). Tunis, TUN: Springer Science and Business Media Deutschland GmbH.
MLA:
Müller, Dennis. "The Flexiformalist Manifesto Made Manifest." Proceedings of the 1st International Conference on Breakthroughs in Artificial Intelligence, BAI 2026, Tunis, TUN Ed. Kevin Daimi, Abeer Alsadoon, Springer Science and Business Media Deutschland GmbH, 2026. 306-318.
BibTeX: Download