5 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
Bruce R. Miller
Cross-referenced parallel markup for mathematics allows the combination of both presentation and content representations while associating the components of each. Interesting appli…