• ATLAS

  • Referenced in 1 article [sw18242]
  • minimization is introduced to solve the Euler-Lagrange equation. Our approach engages both the real...
  • HELMHOLTZ

  • Referenced in 1 article [sw31544]
  • standard operators on differential forms, Euler-Lagrange operators, homotopy operators, Lie bracket, Lie derivatives ... include verification of symmetry groups for differential equations, solving the inverse problem of the calculus...
  • ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • EDS

  • Referenced in 6 articles [sw00230]
  • EDS, a REDUCE package for exterior differential systems...
  • GELDA

  • Referenced in 33 articles [sw00331]
  • GELDA is a Fortran77 sofware package for the...
  • hypre

  • Referenced in 329 articles [sw00426]
  • hypre is a software library for the solution...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • MACHAR

  • Referenced in 22 articles [sw00539]
  • Algorithm 665: Machar: a subroutine to dynamically determined...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • ORTOCARTAN

  • Referenced in 5 articles [sw00660]
  • he program ORTOCARTAN can calculate the curvature tensors...
  • PPM

  • Referenced in 64 articles [sw00728]
  • PPM -- a highly efficient parallel particle-mesh library...
  • REDUCE

  • Referenced in 746 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • VODE

  • Referenced in 207 articles [sw01005]
  • VODE: A variable-coefficient ODE solver. This paper...
  • AUTO

  • Referenced in 943 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • FreeFem++

  • Referenced in 1369 articles [sw01436]
  • FreeFem++ is an implementation of a language dedicated...
  • TRIC

  • Referenced in 47 articles [sw02165]
  • TRIC is a simple but sophisticated 3-node...
  • LS-DYNA

  • Referenced in 340 articles [sw03068]
  • LS-DYNA A combined Implicit/Explicit solver. One scalable...