2 papers
cs.HC2026
KnowTeX: Visualizing Mathematical Dependencies
Elif Uskuplu, Lawrence S. Moss, Valeria de Paiva
Dependency graphs that show how definitions, theorems, and proofs relate to each other are valuable for understanding the structure of mathematical texts. Existing tools such as Le…
math.CO2022
QC-LDPC Codes from Difference Matrices and Difference Covering Arrays
Diane Donovan, Asha Rao, Elif Üsküplü +1
We give a framework for generalizing LDPC code constructions that use Transversal Designs or related structures such as mutually orthogonal Latin squares. Our construction offers a…