Athena
From MaRDI portal
Software:21944
No author found.
Related Items (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 ⋮ Automated Technology for Verification and Analysis ⋮ On combining algebraic specifications with first-order logic via Athena
This page was built for software: Athena
