Athena

MaRDI QIDQ21944swMATHFDO

Official website http://www.proofcentral.org/athena/

Described by source

• Fundamental proof methods in computer science. A computer-based approach

Cited in

(15)

• On combining algebraic specifications with first-order logic via Athena
• Kiva-2
• TRISTAN
• Kelloy
• JKelloy
• Gaussian process surrogates for failure detection: a Bayesian experimental design approach
• A proof assistant for Alloy specifications
• dHybrid
• Qn3d
• 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

This page was built for software: Athena