• Athena

  • Referenced in 27 articles [sw08477]
  • Athena is a grid-based code for astrophysical magnetohydrodynamics (MHD). It was developed primarily ... interstellar medium, star formation, and accretion flows. Athena has been made freely available...
  • Athena

  • Referenced in 10 articles [sw09967]
  • Athena is a programming language and an interactive theorem proving environment rolled ... programming language, Athena is a higher-order functional language in the tradition of Scheme ... efficiency. As a theorem proving system, Athena is based on many-sorted first-order logic ... modeling awkwardness of single-sorted logic. Athena adds Hindley-Milner-style polymorphism to many-sorted...
  • ExSpect

  • Referenced in 11 articles [sw04390]
  • notably Transflow’s COSA workflows and Pallas Athena’s Protos models...
  • OpenMEEG

  • Referenced in 8 articles [sw20616]
  • OpenMEEG software is developed within the Athena project-team at INRIA Sophia-ntipolis...
  • Pegasus

  • Referenced in 6 articles [sw18068]
  • used in the popular astrophysical magnetohydrodynamics code Athena, one that is modular, well-documented, easy...
  • ATHENa

  • Referenced in 3 articles [sw29717]
  • ATHENa: Automated Tools for Hardware EvaluatioN is a project started at George Mason University, aimed...
  • rgho

  • Referenced in 1 article [sw18692]
  • www.who.int/gho/>) data from R via the Athena web service (), an application...
  • Wesseling

  • Referenced in 284 articles [sw09677]
  • A single processor public domain Fortran-77 code...
  • SparseX

  • Referenced in 1 article [sw25566]
  • SparseX: A library for high-performance sparse matrix...