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

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

CalabiYau database
 Referenced in 23 articles
[sw24665]
 CalabiYau database: threefolds constructed from the KreuzerSkarke list. M. Kreuzer and H. Skarke ... largest known database of CalabiYau threefolds by providing a complete construction ... ambient toric varieties in which CalabiYau threefolds can exist as hypersurfaces. In this paper ... topological and geometric information about CalabiYau 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 4 articles
[sw23722]
 mirror curves of toric fano CalabiYau threefolds, and find strong evidence that not only...

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

DynMPI
 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 CalabiYau threefolds in projective spaces are computed...

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

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

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

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

Maple
 Referenced in 4919 articles
[sw00545]
 The result of over 30 years of cutting...

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

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

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

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

SageMath
 Referenced in 1507 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

SINGULAR
 Referenced in 1314 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

STRINGVACUA
 Referenced in 41 articles
[sw00920]
 STRINGVACUA: A Mathematica Package for Studying Vacuum Configurations...