• GAP

  • Referenced in 3189 articles [sw00320]
  • language as well as large data libraries of algebraic objects. See also the overview ... mathematical capabilities. GAP is used in research and teaching for studying groups and their representations...
  • OR-Library

  • Referenced in 660 articles [sw04153]
  • Library is a collection of test data sets for a variety of Operations Research ... using the links below. OR-Library was originally described in J.E.Beasley ... Library: distributing test problems by electronic mail”, Journal of the Operational Research Society...
  • minpack

  • Referenced in 732 articles [sw05310]
  • which would significantly benefit from further research. In addition, I have chosen issues that ... development of software for optimization libraries. In the second part I illustrate some...
  • LEDA

  • Referenced in 263 articles [sw00509]
  • uses of the library, making the book essential for all researchers in algorithms, data structures...
  • QEPCAD

  • Referenced in 283 articles [sw00752]
  • SACLIB library are the result of a program of research by George Collins...
  • GMRFLib

  • Referenced in 308 articles [sw06641]
  • Gaussian Markov random fields. Theory and applications. Researchers in spatial statistics and image analysis ... library for fast and exact simulation.par This is an ideal tool for researchers and students...
  • MIPLIB2003

  • Referenced in 126 articles [sw07675]
  • Mixed Integer Problem Library: In response to the needs of researchers for access to real ... world mixed integer programs a group of researchers Robert E. Bixby, E.A. Boyd ... MIPLIB, an electronically available library of both pure and mixed integer programs. This was updated ... availability has provided an important stimulus for researchers in this very active area. MIPLIB...
  • Keras

  • Referenced in 204 articles [sw15491]
  • minimalist, highly modular neural networks library, written in Python and capable of running ... doing good research. Use Keras if you need a deep learning library that: allows...
  • TensorFlow

  • Referenced in 629 articles [sw15170]
  • TensorFlow™ is an open source software library for numerical computation using data flow graphs. Nodes ... single API. TensorFlow was originally developed by researchers and engineers working on the Google Brain...
  • NuSMV

  • Referenced in 312 articles [sw04131]
  • research areas. NuSMV2, combines BDD-based model checking component that exploits the CUDD library developed...
  • OpenCV

  • Referenced in 117 articles [sw11376]
  • exceeding 7 million. The library is used extensively in companies, research groups and by governmental...
  • PARDISO

  • Referenced in 287 articles [sw00679]
  • been licensed to thousands of researchers at international scientific laboratories and universities since its first ... release in 2004. Features of the library version: Unsymmetric, structurally symmetric or symmetric systems, real...
  • OpenMPI

  • Referenced in 89 articles [sw13111]
  • High Performance Message Passing Library. The Open MPI Project is an open source Message Passing ... maintained by a consortium of academic, research, and industry partners. Open MPI is therefore able ... order to build the best MPI library available. Open MPI offers advantages for system ... software vendors, application developers and computer science researchers...
  • FGb

  • Referenced in 247 articles [sw00286]
  • polynomial systems. The purpose of the FGb library is twofold. First of all, the main ... computing Gröbner bases: actually, from a research point of view, it is mandatory to have ... conjunction with other software, the FGb library has been used in various applications (Robotic, Signal...
  • libMesh

  • Referenced in 154 articles [sw06657]
  • parallel platforms. A major goal of the library is to provide support for adaptive mesh ... computations in parallel while allowing a research scientist to focus on the physics they ... popular geometric and finite element types. The library makes use of high-quality, existing software...
  • CVC4

  • Referenced in 124 articles [sw09485]
  • library, with essentially no limit on its use for research or commercial purposes (see license...
  • MFEM

  • Referenced in 58 articles [sw09043]
  • general, modular, parallel C++ library for finite element methods research and development. Conceptually, MFEM ... well as several solvers from the hypre library. An experimental support for OpenMP acceleration ... version 2.0. MFEM originates from the previous research effort in the (unreleased) AggieFEM/aFEM project. Some...
  • CBraid

  • Referenced in 30 articles [sw05941]
  • CBraid is a C++ class library that implements algorithms for computations in braid groups. Recently ... matter of interest for the cryptography research community. There still remain lots of things ... this regard, the main aim of CBraid library is to offer a basic tool ... that is useful in braid cryptography research. The library has been updated...
  • OGDF

  • Referenced in 33 articles [sw04102]
  • Drawing Framework. Many aspects of graph drawing research are motivated from practice, and practical evaluation ... cumbersome and time-consuming. Obviously, graph drawing libraries can ease the implementation of new algorithms ... particular implementations. Other currently available graph drawing libraries suffer from the same problems ... main deficiencies for use in academic research. The library provides: A wide range of graph...
  • PPL

  • Referenced in 101 articles [sw05357]
  • this, existing libraries for the manipulation of convex polyhedra are still research prototypes and suffer ... occur. This paper presents the Parma Polyhedra Library, a new, robust and complete implementation...