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

EdgePack
 Referenced in 23 articles
[sw00229]
 A new and simple method is proposed to...

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...