• Rings

• Referenced in 2 articles [sw22196]
• multivariate polynomial arithmetic over arbitrary coefficient rings. Basic algebra, GCDs and factorization of polynomials ... with the use of modern asymptotically fast algorithms. Rings provides a clean API for algebra...

• FIDAP

• Referenced in 37 articles [sw00006]
• FIDAP (A Fluid Dynamics Analysis Program). This paper...

• ANSYS

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

• CASA

• Referenced in 105 articles [sw00108]
• CASA is a special-purpose system for computational...

• CGAL

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

• CoCoA

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

• Coq

• Referenced in 1890 articles [sw00161]
• Coq is a formal proof management system. It...

• FGb

• Referenced in 247 articles [sw00286]
• FGb/Gb libraryGb is a program (191 420 lines...

• GAP

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

• gfun

• Referenced in 144 articles [sw00344]
• The gfun package provides tools for determining and...

• gmp

• Referenced in 282 articles [sw00363]
• GMP is a free library for arbitrary precision...

• Invar

• Referenced in 35 articles [sw00446]
• The Invar Tensor Package. The Invar package is...

• Kronecker

• Referenced in 117 articles [sw00495]
• Kronecker is a package for Magma computer algebra...

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

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

• Mathemagix

• Referenced in 42 articles [sw00553]
• Mathemagix: Towards large scale programming for symbolic and...

• Mathematica

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