The following pages link to Athena (Q21944):
Displaying 9 items.
- A solution accurate, efficient and stable unsplit staggered mesh scheme for three dimensional magnetohydrodynamics (Q347671) (← links)
- \textit{Pegasus}: a new hybrid-kinetic particle-in-cell code for astrophysical plasma dynamics (Q348687) (← links)
- A simple GPU-accelerated two-dimensional MUSCL-Hancock solver for ideal magnetohydrodynamics (Q348720) (← links)
- High-order conservative reconstruction schemes for finite volume methods in cylindrical and spherical coordinates (Q349235) (← links)
- Angular momentum preserving cell-centered Lagrangian and Eulerian schemes on arbitrary grids (Q349768) (← links)
- On combining algebraic specifications with first-order logic via Athena (Q1697091) (← links)
- Gaussian process surrogates for failure detection: a Bayesian experimental design approach (Q2375069) (← links)
- A Proof Assistant for Alloy Specifications (Q2894289) (← links)
- Automated Technology for Verification and Analysis (Q5394197) (← links)
