
Algorithm 792
 Referenced in 36 articles
[sw04774]
 methods that are not included in this survey). Our test suite consists of five sets...

GRAPH
 Referenced in 25 articles
[sw19079]
 expert system “Graph”  an extended survey. GRAPH is an interactive package, developed as an expert ... verify or disprove conjectures. The present article surveys 92 papers, mostly in spectral graph theory...

ALTRAN
 Referenced in 34 articles
[sw01203]
 Altran system for rational function manipulation  a survey. Altran is a complete system for symbolic...

sampling
 Referenced in 33 articles
[sw08016]
 package sampling: Survey Sampling. Functions for drawing and calibrating samples...

SIMATH
 Referenced in 31 articles
[sw00861]
 system for number theoretic applications. This paper surveys the functionalities of the computer algebra system...

IVEware
 Referenced in 19 articles
[sw07448]
 Imputation in the survey on living conditions. The Spanish “European Statistics on Income and Living ... harmonised to EU standards. In this household survey there are two kinds of nonresponse ... questionnaire of the current or previous surveys. The procedure applied to the data preserves...

PrefLib
 Referenced in 30 articles
[sw07689]
 constructing such a repository, provide a survey of the initial release of the library...

JPAX
 Referenced in 30 articles
[sw09906]
 potentially furthermore be applied during operation to survey safety critical systems...

NetKit
 Referenced in 27 articles
[sw22730]
 which the class is known. After surveying prior work, we present NetKit, a modular toolkit...

MIRPLib
 Referenced in 19 articles
[sw11220]
 library of maritime inventory routing problem instances: survey, core model, and benchmark results. This paper ... planning horizon. After providing a comprehensive literature survey of this class, we introduce a core...

EvaluateMultiSums
 Referenced in 25 articles
[sw11639]
 multiple sums in difference fields. In this survey article, we present difference field algorithms...

faraway
 Referenced in 24 articles
[sw04357]
 footsteps, Extending the Linear Model with R surveys the techniques that grow from the regression...

StatMatch
 Referenced in 23 articles
[sw11933]
 when dealing with data from complex sample surveys are available...

NetKAT
 Referenced in 23 articles
[sw16269]
 verification of networks. This paper presents a survey of recent work in the development...

QMC4PDE
 Referenced in 23 articles
[sw33945]
 elliptic PDEs with random diffusion coefficients – a survey of analysis and implementation”, Foundations of Computational...

TELOS
 Referenced in 21 articles
[sw00954]
 analysing customer satisfaction. The software uses survey data on customer satisfaction judgements while the analysis...

SUDAAN
 Referenced in 19 articles
[sw06995]
 proper analysis of data from surveys and experimental studies, since SUDAAN procedures properly account...

TABLEAUX
 Referenced in 18 articles
[sw11674]
 usual temporal, epistemic or dynamic logics. We survey the modal languages covered by TABLEAUX, which...

FOC
 Referenced in 17 articles
[sw07537]
 implementation methods for fractionalorder controllers This survey paper presents methods of tuning and implementation...