• VFC package

• Referenced in 20 articles [sw16729]
• applications as foundations for invariants in symplectic topology arising from “counting” pseudo-holomorphic curves ... convenient system of local finite-dimensional reductions. We present a general intrinsic strategy for constructing ... Hamiltonian Floer homology over ℚ for general symplectic manifolds. Our framework generalizes...

• Algorithm 800

• Referenced in 11 articles [sw04405]
• this routine is easy to use), and symplectic and norm scaling. There is a comprehensive ... randomly generated matrices confirm that the reduction in FLOPS is reflected in a similar reduction ... three scaling strategies mentioned (norm, symplectic, and Hessenberg), norm scaling was found...

• ANSYS

• Referenced in 704 articles [sw00044]
• ANSYS offers a comprehensive software suite that spans...

• CoCoA

• Referenced in 654 articles [sw00143]
• CoCoA is a system for Computations in Commutative...

• Expokit

• Referenced in 200 articles [sw00258]
• Expokit provides a set of routines aimed at...

• GAP

• Referenced in 3189 articles [sw00320]
• GAP is a system for computational discrete algebra...

• KNITRO

• Referenced in 197 articles [sw00490]
• KNITRO is a solver for nonlinear optimization. It...

• LAPACK

• Referenced in 1702 articles [sw00503]
• LAPACK is written in Fortran 90 and provides...

• LEDA

• Referenced in 263 articles [sw00509]
• In the core computer science areas -- data structures...

• LiDIA

• Referenced in 53 articles [sw00518]
• LiDIA: A library for computational number theory. LiDIA...

• Macaulay2

• Referenced in 1923 articles [sw00537]
• Macaulay2 is a software system devoted to supporting...

• Magma

• Referenced in 3315 articles [sw00540]
• Computer algebra system (CAS). Magma is a large...

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

• Maxima

• Referenced in 170 articles [sw00560]
• Maxima is a system for the manipulation of...

• NAG

• Referenced in 423 articles [sw00610]
• Produced by experts for use in a variety...

• Octave

• Referenced in 304 articles [sw00646]
• GNU Octave is a high-level language, primarily...

• PARI/GP

• Referenced in 636 articles [sw00680]
• PARI/GP is a widely used Computer Algebra System...

• PERUSE

• Referenced in 17 articles [sw00703]
• PERUSE: An interactive system for mathematical programs This...