• 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...
  • Calabi-Yau database

  • Referenced in 23 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 4 articles [sw23722]
  • mirror curves of toric fano Calabi-Yau 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...
  • 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...
  • 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, open-source 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...