
TSPLIB
 Referenced in 697 articles
[sw00983]
 available. Symmetric traveling salesman problem (TSP) Hamiltonian cycle problem (HCP) Asymmetric traveling salesman problem (ATSP...

MathCheck
 Referenced in 12 articles
[sw13642]
 hypercube can be extended to a Hamiltonian cycle; and the second states that given...

GenerateUHG
 Referenced in 5 articles
[sw26974]
 with a given number k of hamiltonian cycles (which is especially efficient for small values ... Graphs with few hamiltonian cycles. We describe an algorithm for the exhaustive generation ... given number k≥0 of hamiltonian cycles, which is especially efficient for small ... revolve around graphs containing exactly one hamiltonian cycle (1H) or exactly three hamiltonian cycles...

Hypothesischecker
 Referenced in 2 articles
[sw34855]
 single bit. This corresponds to a Hamiltonian path (cycle) in the hypercube. Fink showed that ... extended to a Hamiltonian cycle, confirming a conjecture of Kreweras. In this paper, we study ... perfect matching in Qn extends to a Hamiltonian path between two prescribed vertices of opposite ... faulty vertices extends to a Hamiltonian cycle. In both cases we show that...

VFC package
 Referenced in 18 articles
[sw16729]
 addressed. Our approach to virtual fundamental cycles is algebraic rather than geometric (in particular ... giving definitions of GromovWitten invariants and Hamiltonian Floer homology over ℚ for general symplectic...

POLYPAK
 Referenced in 1 article
[sw01169]
 equations. 2. Formal computation of the limit cycle in van der Pol’s equation ... lunar theory. 5. Normalization of the Hamiltonian of the restricted problem of three bodies near...

ADOLC
 Referenced in 249 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

CLIFFORD
 Referenced in 84 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

CXSC
 Referenced in 110 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

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

LAPACK
 Referenced in 1695 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LEDA
 Referenced in 263 articles
[sw00509]
 In the core computer science areas  data structures...

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

MapReduce
 Referenced in 262 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

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

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

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

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