
DAOmap
 Referenced in 2 articles
[sw26287]
 potential node duplications during the cut enumeration/generation procedure so the mapping costs encoded ... will relax the noncritical paths by searching the solution space considering both local ... mapping area; (iii) an iterative cut selection procedure is carried out that further explores...

PROC GAM
 Referenced in 1 article
[sw12075]
 nonparametric regression and smoothing techniques. Nonparametric regression relaxes the usual assumption of linearity and enables ... provides many procedures for nonparametric regression, such as the LOESS procedure for local regression...

ALBERT
 Referenced in 81 articles
[sw00025]
 ALBERT  Software for scientific computations and applications. Adaptive...

ANSYS
 Referenced in 648 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

Coq
 Referenced in 1758 articles
[sw00161]
 Coq is a formal proof management system. It...

CSDP
 Referenced in 194 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

Diffpack
 Referenced in 111 articles
[sw00203]
 As modern programming methodologies migrate from computer science...

EIGIFP
 Referenced in 39 articles
[sw00235]
 eigifp is a MATLAB program for computing a...

GAP
 Referenced in 2735 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Gmsh
 Referenced in 545 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

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

Isabelle
 Referenced in 601 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

ITPACK
 Referenced in 47 articles
[sw00459]
 The ITPACK project: Past, present, and future The...

Kronecker
 Referenced in 105 articles
[sw00495]
 Kronecker is a package for Magma computer algebra...

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

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

Maple
 Referenced in 4956 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 5756 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 11649 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 524 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...