• Apron

• Referenced in 69 articles [sw00045]
• programs by abstract interpretation. Its goal is threefold: provide analysis implementers with ready...

• ShearLab

• Referenced in 54 articles [sw06721]
• system. Our objective in this paper is threefold: We first develop a digital shearlet theory...

• Calabi-Yau database

• Referenced in 28 articles [sw24665]
• Calabi-Yau database: threefolds constructed from the Kreuzer-Skarke list. M. Kreuzer and H. Skarke ... largest known database of Calabi-Yau threefolds by providing a complete construction ... ambient toric varieties in which Calabi-Yau threefolds can exist as hypersurfaces. In this paper ... topological and geometric information about Calabi-Yau threefolds using the toric construction, and we provide...

• NSPLib

• Referenced in 8 articles [sw11952]
• literature. The contribution of this paper is threefold. First, we propose a large...

• BWDifference

• Referenced in 5 articles [sw23722]
• mirror curves of toric fano Calabi-Yau threefolds, and find strong evidence that not only...

• Adimen-SUMO

• Referenced in 3 articles [sw36071]
• area of ontological formal reasoning is threefold. Firstly, we translated SUMO from its original format...

• Conn

• Referenced in 2 articles [sw08599]
• connections. We prove that for a simple threefold hypersurface singularity of type AnAn, DnDn...

• Dyn-MPI

• Referenced in 2 articles [sw09643]
• dedicated environments, including up to almost a threefold improvement compared to programs that...

• schubert.lib

• Referenced in 1 article [sw27180]
• curves on general complete intersection Calabi-Yau threefolds in projective spaces are computed...

• Aletheia

• Referenced in 1 article [sw34338]
• able to boost precision by a threefold factor (x 2.868), while reducing recall...

• TopicCheck

• Referenced in 1 article [sw35880]
• assessing topic model stability. Our contributions are threefold. First, from established guidelines on reproducible content...

• CoCoA

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

• GAP

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

• Macaulay2

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

• Magma

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

• Maple

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

• Mathematica

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

• PALP

• Referenced in 70 articles [sw00672]
• We describe our package PALP of C programs...

• PARI/GP

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

• REDUCE

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