most citedWhat we understand is what we get: Assessment in Spreadsheets

2 citations · 5 across the 5 of their papers we have counts for

collaborators
Showing cs.OHShow all

1 paper · 1 filter

cs.OH2010

sTeXIDE: An Integrated Development Environment for sTeX Collections

Constantin Jucovschi, Michael Kohlhase

Authoring documents in MKM formats like OMDoc is a very tedious task. After years of working on a semantically annotated corpus of sTeX documents (GenCS), we identified a set of co…