6 citations · 12 across the 5 of their papers we have counts for
1 paper · 2 filters
Serge Autexier, Catalin David, Dominik Dietrich +2
Mathematical knowledge is a central component in science, engineering, and technology (documentation). Most of it is represented informally, and -- in contrast to published researc…