
HAP
 Referenced in 33 articles
[sw04870]
 functions for handling simplicial complexes, cubical complexes and regular CWcomplexes 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...