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