Digital Libraries · Computer Science
Digital Repository of Mathematical Formulae
Howard S. Cohl, Marjorie A. McClain, Bonita V. Saunders, Moritz Schubotz +1
2014-08-20
Digital Libraries · Computer Science
Licensing the Mizar Mathematical Library
Jesse Alama, Michael Kohlhase, Adam Naumowicz, Piotr Rudnicki +2
2011-07-27
Programming Languages · Computer Science
An Integrated Web Platform for the Mizar Mathematical Library
Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho +1
2022-10-06
Computation and Language · Computer Science
MLSUM: The Multilingual Summarization Corpus
Thomas Scialom, Paul-Alexis Dray, Sylvain Lamprier, Benjamin Piwowarski +1
2020-05-01
Computation and Language · Computer Science
Mathematical Language Models: A Survey
Wentao Liu, Hanglei Hu, Jie Zhou, Yuyang Ding +7
2025-01-03
Digital Libraries · Computer Science
Growing the Digital Repository of Mathematical Formulae with Generic LaTeX Sources
Howard S. Cohl, Moritz Schubotz, Marjorie A. McClain, Bonita V. Saunders +3
2015-05-12
Digital Libraries · Computer Science
Doctoral Theses in France (1985-2025): A Linked Dataset of PhDs, Academic Networks, and Institutions
William Aboucaya, Dastan Jasim
2026-04-24
Digital Libraries · Computer Science
Forms of Plagiarism in Digital Mathematical Libraries
Moritz Schubotz, Olaf Teschke, Vincent Stange, Norman Meuschke +1
2019-09-10
Computation and Language · Computer Science
Data Collection and Analysis of French Dialects
Omar Shaur Choudhry, Paul Omara Odida, Joshua Reiner, Keiron Appleyard +2
2022-08-02
Computation and Language · Computer Science
FREDSum: A Dialogue Summarization Corpus for French Political Debates
Virgile Rennard, Guokan Shang, Damien Grari, Julie Hunter +1
2023-12-11
Digital Libraries · Computer Science
OntoMath Digital Ecosystem: Ontologies, Mathematical Knowledge Analytics and Management
Alexander Elizarov, Alexander Kirillovich, Evgeny Lipachev, Olga Nevzorova
2017-02-20
Social and Information Networks · Computer Science
The network structure of mathematical knowledge according to the Wikipedia, MathWorld, and DLMF online libraries
Flavio B. Gonzaga, Valmir C. Barbosa, Geraldo B. Xexéo
2014-12-16