• Dynamics

  • Referenced in 171 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 164 articles [sw17661]
  • practical issues arising in their computer implementation within a quasi-static 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 graph-theoretical conjectures. Graffiti...
  • SnapPea

  • Referenced in 156 articles [sw06873]
  • program for creating and studying hyperbolic 3-manifolds. Each noncompact (or cusped) hyperbolic 3-manifold ... 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 145 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 121 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 281 articles [sw20023]
  • integration, information extraction, networking, program analysis, security, and cloud computing.[1] Its origins date back...
  • nlmdl

  • Referenced in 115 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...
  • Kiva-2

  • Referenced in 63 articles [sw08987]
  • KIVA-2: A computer program for chemically reactive flows with sprays. This report documents ... KIVA-2 computer program for the numerical calculation of transient, two- and three-dimensional, 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 ... state-of-the-art algorithms for computing Gröbner bases: actually, from a research point...
  • GL(n)pack

  • Referenced in 87 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 85 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 86 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 122 articles [sw04802]
  • propagation-a 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 fields, 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...