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
7 papers · 1 filter
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…
Collective emotions online and their influence on community life
Anna Chmiel, Julian Sienkiewicz, Mike Thelwall +4
E-communities, social groups interacting online, have recently become an object of interdisciplinary research. As with face-to-face meetings, Internet exchanges may not only includ…
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…
A Scalable Module System
Florian Rabe, Michael Kohlhase
Symbolic and logic computation systems ranging from computer algebra systems to theorem provers are finding their way into science, technology, mathematics and engineering. But suc…
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…
Merger and non-merger galaxy clusters in cosmological AMR simulations
Franco Vazza
Aims: We discuss the dependence of shocks, cosmic rays acceleration and turbulence on the dynamical state of the host clusters. Method: We perform cosmological simulations with the…