most citedwiki.openmath.org - how it works, how you can participate

4 citations · 10 across the 4 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2010★ 1 cited

sTeX+ - a System for Flexible Formalization of Linked Data

Andrea Kohlhase, Michael Kohlhase, Christoph Lange

We present the sTeX+ system, a user-driven advancement of sTeX - a semantic extension of LaTeX that allows for producing high-quality PDF documents for (proof)reading and printing,…