• HAP

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

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

  • Referenced in 2 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 1 article [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 6 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 563 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • CGAL

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

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

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

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

  • Referenced in 2386 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 228 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • KNITRO

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

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

  • Referenced in 303 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • Macaulay2

  • Referenced in 1333 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 2338 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...