Athena

swMATH9967MaRDI QIDQ21944FDOQ21944

Author name not available (Why is that?)

Cited In (9)

• A Proof Assistant for Alloy Specifications
• Gaussian process surrogates for failure detection: a Bayesian experimental design approach
• A solution accurate, efficient and stable unsplit staggered mesh scheme for three dimensional magnetohydrodynamics
• \textit{Pegasus}: a new hybrid-kinetic particle-in-cell code for astrophysical plasma dynamics
• A simple GPU-accelerated two-dimensional MUSCL-Hancock solver for ideal magnetohydrodynamics
• High-order conservative reconstruction schemes for finite volume methods in cylindrical and spherical coordinates
• Angular momentum preserving cell-centered Lagrangian and Eulerian schemes on arbitrary grids
• On combining algebraic specifications with first-order logic via Athena
• Automated Technology for Verification and Analysis

This page was built for software: Athena