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

• 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 16 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 242 articles [sw00019]
• ADOL-C: Automatic Differentiation of C/C++. We present...

• CLIFFORD

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

• C-XSC

• Referenced in 109 articles [sw00181]
• C-XSC. 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 high-level language and interactive...

• Maxima

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