• CICY Quotients

  • Referenced in 16 articles [sw31827]
  • quotients of complete intersection Calabi-Yau manifolds have been computed. The data on complete intersection ... Calabi-Yau manifolds is taken from the original papers Nucl.Phys. B298 (1988) 493 and Nucl.Phys...
  • Fermat.m

  • Referenced in 12 articles [sw37664]
  • Ricci-flat metric on an algebraic Calabi-Yau manifold, described in the paper ”Energy functionals...
  • CYTools

  • Referenced in 1 article [sw41292]
  • group with the purpose of studying Calabi-Yau manifolds arising from the Kreuzer-Skarke database...
  • 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...
  • Normaliz

  • Referenced in 168 articles [sw00630]
  • Normaliz is a tool for computations in affine...
  • PALP

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

  • Referenced in 314 articles [sw00724]
  • polymake is open source software for research in...
  • SageMath

  • Referenced in 1970 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SINGULAR

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

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

  • Referenced in 164 articles [sw01075]
  • LiE is the name of a software package...
  • ACSL

  • Referenced in 50 articles [sw04216]
  • The Advanced Continuous Simulation Language, or ACSL (pronounced...
  • CARAT

  • Referenced in 45 articles [sw04293]
  • CARAT is a computer package which handles enumeration...
  • TOPCOM

  • Referenced in 65 articles [sw04867]
  • TOPCOM: Triangulations of point configurations and oriented matroids...
  • LMFDB

  • Referenced in 158 articles [sw07249]
  • Welcome to the LMFDB, the database of L...