
Graded Ring Database
 Referenced in 29 articles
[sw11291]
 classification of LDP polygons and the smooth Fano polytopes. These classifications can be queried using...

LatticePolytopes
 Referenced in 2 articles
[sw20102]
 functions that are specific for lattice polytopes rather than general polyhedra. Examples of such methods ... package contains known classifications of smooth 2polytopes with up to 12 lattice points ... smooth 3polytopes with up to 16 lattice points. These classifications are accessible...

polymake_smooth_fano
 Referenced in 1 article
[sw26612]
 smooth_fano: scripts for computations with smooth fano polytopes. decompositions_of_smooth_fano_polytopes.pl: computes ... sums with a simplex for all smooth Fano polytopes contained in polydb...

CalabiYau database
 Referenced in 22 articles
[sw24665]
 KreuzerSkarke list can be smoothed out into multiple distinct toric ambient spaces describing different ... threefolds which can be obtained from each polytope, up to current computational limits. We then...

polyDB
 Referenced in 1 article
[sw26610]
 from the area of lattice polytopes, combinatorial polytopes, matroids and tropical geometry. In this short ... skew bipyramids among the class of smooth Fano polytopes in dimension...

Polytop
 Referenced in 2 articles
[sw25569]
 Polytop: software for computing topology of smooth real surfaces. A common computational problem ... system of polynomial equations. Our software, called polyTop, leverages numerical algebraic geometry computations from Bertini ... generators of the fundamental group of a smooth real surface. Several examples are used...

CGAL
 Referenced in 320 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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

CSDP
 Referenced in 189 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

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

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

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

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

MATCONT
 Referenced in 311 articles
[sw00551]
 MATCONT: Matlab software for bifurcation study of dynamical...

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

Matlab
 Referenced in 11158 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

Maxima
 Referenced in 138 articles
[sw00560]
 Maxima is a system for the manipulation of...

NAG
 Referenced in 359 articles
[sw00610]
 Produced by experts for use in a variety...

nauty
 Referenced in 518 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

Normaliz
 Referenced in 139 articles
[sw00630]
 Normaliz is a tool for computations in affine...