
Dynamics
 Referenced in 172 articles
[sw09100]
 Dynamics: numerical explorations. Accompanying computer program dynamics. Coauthored by Eric J. Kostelich. With ... Diskette. This program (and the accompanying handbook) is a tool to help visualize the properties ... plotting of attractors, basins of attraction, the computing of straddle trajectories, the search ... dimensions and Lyapunov exponents etc.par The program provides about 30 maps and differential equations...

HYPLAS
 Referenced in 165 articles
[sw17661]
 practical issues arising in their computer implementation within a quasistatic finite element scheme. Many ... text are incorporated in the FORTRAN program, named HYPLAS, which accompanies this book ... found at www.wiley.com/go/desouzaneto.This computer program has been specially written to illustrate the practical implementation...

GRAFFITI
 Referenced in 164 articles
[sw07495]
 above mentioned article introduces a computer program, Graffiti, which makes graphtheoretical conjectures. Graffiti...

SnapPea
 Referenced in 157 articles
[sw06873]
 program for creating and studying hyperbolic 3manifolds. Each noncompact (or cusped) hyperbolic 3manifold ... manifolds. Then in a second step computer programs as SnapPea are used to determine which ... remove duplicates from the lists and to compute the various invariants. It is a hope...

TISEAN
 Referenced in 155 articles
[sw00967]
 implementation and choice of parameters. Computer programs that implement the resulting strategies are publicly available...

NETGEN
 Referenced in 146 articles
[sw09229]
 NETGEN: A program for generating large scale capacitated assignment, transportation, and minimum cost flow network ... development, implementation, and availability of a computer program for generating a variety of feasible network...

GraphBase
 Referenced in 122 articles
[sw01555]
 freely available collection of computer programs and data useful for testing and comparing combinatorial algorithms ... programs generate a large number of graphs with a great variety of properties. Some ... economy, college football scores, computational logic circuits, the Mona Lisa, etc. Others are based...

Datalog
 Referenced in 282 articles
[sw20023]
 integration, information extraction, networking, program analysis, security, and cloud computing.[1] Its origins date back...

nlmdl
 Referenced in 116 articles
[sw27811]
 Gallant’s, ”Nonlinear Statistical Models”. The program computes least squares estimates for a univariate nonlinear...

PENNON
 Referenced in 101 articles
[sw04336]
 semidefinite programming. We introduce a computer program PENNON for the solution of problems of convex...

Kiva2
 Referenced in 63 articles
[sw08987]
 KIVA2: A computer program for chemically reactive flows with sprays. This report documents ... KIVA2 computer program for the numerical calculation of transient, two and threedimensional, chemically ... enhances the earlier KIVA code, improving its computational accuracy and efficiency and its ease ... procedure, and the structure of the computer program. Sixteen appendices provide additional details concerning...

FGb
 Referenced in 240 articles
[sw00286]
 libraryGb is a program (191 420 lines of C++) for computing Grobner bases, implement ”standard ... lines of C) ia an efficient program written in C for solving polynomial systems ... stateoftheart algorithms for computing Gröbner bases: actually, from a research point...

GL(n)pack
 Referenced in 88 articles
[sw13116]
 concludes with a list of relevant computer programs from GL(n)pack, a Mathematica ... find generalized Casimir operators, and to compute generalized Kloosterman sums associated...

Taylor
 Referenced in 86 articles
[sw10816]
 main goal is to present a computer program that outputs a specific numerical integrator ... generated code includes a function to compute the jet of derivatives of the solution...

Knot Atlas
 Referenced in 87 articles
[sw11550]
 base, and ”a home for some computer programs” (http://en.wikipedia.org/wiki/The_Knot_Atlas)...

MUSCLE
 Referenced in 71 articles
[sw13193]
 throughput. We describe MUSCLE, a new computer program for creating multiple alignments of protein sequences ... current desktop computer. The MUSCLE program, source code and PREFAB test data are freely available...

Cadabra
 Referenced in 80 articles
[sw00097]
 Cadabra is a powerful computer program for the manipulation of tensor equations. It is designed ... lends itself well to the routine computations required in general relativity. Here, we present...

FEASPUMP
 Referenced in 124 articles
[sw04802]
 propagationa basic tool in Constraint Programming. Extensive computational results on binary and general integer...

KANT/KASH
 Referenced in 155 articles
[sw00481]
 computer algebra system (CAS) for sophisticated computations in algebraic number fields and global function fields ... Universität Berlin. KANT is a program library for computations in algebraic number ﬁelds, algebraic function...

CRACK
 Referenced in 57 articles
[sw07754]
 systems are obtained by using a computer program. A method to reduce the length ... studied. An overview of the computer algebra program CRACK used in this paper is given ... differential equations is presented. The program CRACK is a computer algebra package written in REDUCE...