activity
20102014
most citedTowards Ontological Support for Principle Solutions in Mechanical Engineering

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

collaborators
Showing cs.DLShow all

1 paper · 1 filter

cs.DL2010

Editing Knowledge in Large Mathematical Corpora. A case study with Semantic LaTeX (sTeX)

Constantin Jucovschi

Before we can get the whole potential of employing computers in the process of managing mathematical `knowledge', we have to convert informal knowledge into machine-oriented repres…