• HAP

  • Referenced in 37 articles [sw04870]
  • functions for handling simplicial complexes, cubical complexes and regular CW-complexes in the context...
  • Agents.jl

  • Referenced in 2 articles [sw31967]
  • grids, and simple or toroidal regular cubic 3D grids with von Neumann or Moore neighborhoods...
  • akima

  • Referenced in 4 articles [sw23849]
  • akima: Interpolation of Irregularly and Regularly Spaced Data. Several cubic spline interpolation methods...
  • Unimodularity

  • Referenced in 4 articles [sw06897]
  • Seymour’s decomposition theorem [1] for regular matroids. The algorithm runs ... simplified version of the cubic algorithm of [2]. The algorithm can also test...
  • GenerateUHG

  • Referenced in 3 articles [sw26974]
  • Royle, we show that there exist nearly cubic 1H graphs of order ... regular 1H graph. Extending work of Schwenk, we describe all orders for which cubic...
  • MARS

  • Referenced in 7 articles [sw14516]
  • regions is the metric space of bounded regular semianalytic sets, equipped with Boolean algebras ... efficient IT methods. As an example, a cubic iPAM method inspired by MARS resolves...
  • DReX

  • Referenced in 2 articles [sw16949]
  • definition of regular languages using regular expressions. While these combinators form the basis ... dynamic programming, leading to complexity that is cubic in the length of the input string...
  • M.DynaMix

  • Referenced in 3 articles [sw09596]
  • pressures. The simulation cell can be either cubic, rectangular, hexagonal or a truncated octahedron, with ... program is good, it runs regularly on several common single- and multiprocessor platforms, both scalar...
  • ANSYS

  • Referenced in 643 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • CASA

  • Referenced in 88 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • CGAL

  • Referenced in 335 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 605 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1751 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Epsilon

  • Referenced in 39 articles [sw00244]
  • Epsilon is a library of functions implemented in...
  • GAP

  • Referenced in 2702 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • GELDA

  • Referenced in 33 articles [sw00331]
  • GELDA is a Fortran77 sofware package for the...
  • HSL

  • Referenced in 265 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • KNITRO

  • Referenced in 165 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • LAPACK

  • Referenced in 1586 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...