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

Hypothesischecker
 Referenced in 2 articles
[sw34855]
 extended to a Hamiltonian cycle, confirming a conjecture of Kreweras. In this paper, we study ... problem. Namely, we characterize when a perfect matching in Qn extends to a Hamiltonian path ... faulty vertices extends to a Hamiltonian cycle. In both cases we show that...

MathCheck
 Referenced in 12 articles
[sw13642]
 combination enables a more efficient encoding of problems than a pure Boolean representation ... hypercube can be extended to a Hamiltonian cycle; and the second states that given...

POLYPAK
 Referenced in 1 article
[sw01169]
 equations. 2. Formal computation of the limit cycle in van der Pol’s equation ... formal solution to Hill’s lunar problem with a new way of solving Hill ... main problem of lunar theory. 5. Normalization of the Hamiltonian of the restricted problem...

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

nauty
 Referenced in 609 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

polymake
 Referenced in 314 articles
[sw00724]
 polymake is open source software for research in...