VESTA
From MaRDI portal
VESTA Q15514
Cited in
(18)- Combinatorial optimization in system configuration design
- Using theorem proving to verify expectation and variance for discrete random variables
- SafeDpi
- ULM
- Report of the IAU/IAG working group on cartographic coordinates and rotational elements: 2006
- VERA
- ENDF
- ADVANTG
- AMPX-2000
- MORSE-CGA
- KENO
- Shift
- Modeling close encounters with massive asteroids: a Markovian approach
- Acute: High-level programming language design for distributed computation
- Implementation, capabilities, and benchmarking of shift, a massively parallel Monte Carlo radiation transport code
- Attitude dynamics and control of satellites orbiting rotating asteroids
- Dynamical portrait of the Lixiaohua asteroid family
- On the deflection of asteroids with mirrors
This page was built for software: VESTA
