665 citations
- M. Brüggen5 profiles14 · h 54
- S. Rosswog2 profiles11 · h 62
- B. Hartmann9 · h 25
- M. Brueggen2 profiles6 · h 17
- M. Hoeft2 profiles6 · h 50
- A. Finoguenov5 · h 78
- A. Simionescu5 · h 51
- C. Hilgetag2 profiles5 · h 59
- Christian Blohmann5 · h 11
- E. Roediger5 · h 34
- G. Pfander2 profiles5 · h 17
- Marcus Kaiser2 profiles5 · h 32
- Max Planck Institute for AstrophysicsDE7 papers
- Max Planck Institute for Extraterrestrial PhysicsDE7 papers
- University of BremenDE7 papers
- Hochschule BremenDE6 papers
- International UniversityKH6 papers
- University of California, BerkeleyUS5 papers
- University of Maryland, Baltimore CountyUS5 papers
- Boston UniversityUS4 papers
- Newcastle UniversityGB4 papers
- University of MonsBE4 papers
- Center for Astrophysics Harvard & SmithsonianUS3 papers
- Leibniz Institute for Astrophysics PotsdamDE3 papers
Showing 2011 · cs.DLShow all
3 papers · 2 filters
cs.DL2011★ 23 cited
Large Formal Wikis: Issues and Solutions
Jesse Alama, Kasper Brink, Lionel Mamane +1
We present several steps towards large formal mathematical wikis. The Coq proof assistant together with the CoRN repository are added to the pool of systems handled by the general…
cs.DL2011
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics
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…
cs.DL2011
The Planetary System: Executable Science, Technology, Engineering and Math Papers
Christoph Lange, Michael Kohlhase, Catalin David +5
Executable scientific papers contain not just layouted text for reading. They contain, or link to, machine-comprehensible representations of the scientific findings or experiments…