• 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...