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

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

GenerateUHG
 Referenced in 3 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 16 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 242 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

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

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

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

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

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

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

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

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

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

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

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

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

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