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