
Algorithm 884
 Referenced in 12 articles
[sw13153]
 numerical experiments, an interpolation of a smooth function on a triangle and the finiteelement ... presented in the last section to check the performance of our implementation...

brms
 Referenced in 20 articles
[sw19099]
 wide range of distributions and link functions are supported, allowing users to fit – among others ... Further modeling options include autocorrelation and smoothing terms, user defined dependence structures, censored data ... assessed and compared with posterior predictive checks and leaveoneout crossvalidation...

QuiversToricVarieties
 Referenced in 6 articles
[sw19274]
 package QuiversToricVarieties contains functions to construct its quiver of sections and check whether the collection ... strong exceptional collections of line bundles for smooth Fano toric varieties of dimension less than...

lmenssp
 Referenced in 1 article
[sw18784]
 Stochastic Processes. Contains functions to estimate model parameters and filter, smooth and forecast random effects ... multivariate normal and t response distributions, diagnostic checks, bootstrap standard error calculation...

DPARSF
 Referenced in 3 articles
[sw07377]
 slice timing, realign, normalize, smooth) data and results for functional connectivity, regional homogeneity, amplitude ... generate a set of pictures for easily checking the effect of normalization. In addition, users...

sm
 Referenced in 1 article
[sw26319]
 estimates of density functions and regression curves for different data structures. Smoothing techniques ... when a nonparametric estimate is used for checking a proposed parametric model. The XlispStat...

CoCoA
 Referenced in 621 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

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

Macaulay2
 Referenced in 1658 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

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

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

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

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

NAG
 Referenced in 417 articles
[sw00610]
 Produced by experts for use in a variety...

nauty
 Referenced in 558 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

R
 Referenced in 8359 articles
[sw00771]
 R is a language and environment for statistical...

RATS
 Referenced in 16 articles
[sw00780]
 RATS (Regression Analysis of Time Series) is a...

REDUCE
 Referenced in 739 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...