-
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...
-
Hypothesis-checker
- 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 Gromov-Witten 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...
-
ADOL-C
- Referenced in 249 articles
[sw00019]
- ADOL-C: Automatic Differentiation of C/C++. We present...
-
CLIFFORD
- Referenced in 84 articles
[sw00131]
- CLIFFORD performs various computations in Grass mann and...
-
C-XSC
- Referenced in 110 articles
[sw00181]
- C-XSC. 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 high-level language and interactive...
-
Maxima
- Referenced in 169 articles
[sw00560]
- Maxima is a system for the manipulation of...