
DASSL
 Referenced in 262 articles
[sw03174]
 DDASSL uses the backward differentiation formulas of orders one through five to solve a system ... results at additional TOUT. This is the interval mode of operation. Intermediate results can also...

MPFI
 Referenced in 43 articles
[sw00597]
 employed in interval algorithms. The MPFI library has been built in order to fulfill this ... comparison with a fixedprecision interval arithmetic, on a specific problem, is presented. It shows...

TituRel
 Referenced in 8 articles
[sw08501]
 extraction, social choice, decision support via interval orderings, etc. TituRel supports algebraic visualizations, proofs...

filib++
 Referenced in 43 articles
[sw06459]
 interval. Second, state of the art design uses templates and traits classes in order...

NEURON
 Referenced in 187 articles
[sw03059]
 equations for its subnet over an interval equal to the minimum (interprocessor) presynaptic spike generation ... potential for speedups of several orders of magnitude makes practical the running of large...

RFSFNS
 Referenced in 12 articles
[sw00803]
 above functions in a predetermined interval within any accuracy (subject to relative machine precision ... above Bessel functions of various orders and several intervals of the argument...

bvpsuite
 Referenced in 26 articles
[sw08540]
 orders, parameter dependent problems, problems with unknown parameters, problems posed on semiinfinite intervals, eigenvalue...

FADBAD++
 Referenced in 58 articles
[sw04863]
 arithmetic types, such as doubles and intervals. One of the major ideas in FADBAD ... also makes it possible to generate high order derivatives by applying the ADtemplates...

FEAST
 Referenced in 90 articles
[sw04025]
 eigenvalues and eigenvectors within a given search interval. It is based on an innovative fast ... hand sides and one reduced eigenvalue problem orders of magnitude smaller than the original...

AQCS
 Referenced in 15 articles
[sw08109]
 order predicate logic containing the following symbols: Variables ranging over the reals, floating point interval...

DPpackage
 Referenced in 69 articles
[sw10495]
 requires the relaxation of parametric assumptions in order to gain modeling flexibility and robustness against ... density estimation, receiver operating characteristic curve analysis, intervalcensored data, binary regression data, item response...

AMIGO
 Referenced in 10 articles
[sw02425]
 interval methods for solving this class of problems by a refined use of firstorder...

repolr
 Referenced in 10 articles
[sw07133]
 firstorder autoregressive correlation models, for data potentially recorded at irregularly spaced time intervals...

RGITL
 Referenced in 5 articles
[sw13917]
 logic is based on interval temporal logic (ITL) and higherorder logic. It extends...

Algorithm 922
 Referenced in 36 articles
[sw12858]
 needs special treatment. Based on a fourthorder reformulation of the transmission eigenvalue problem ... make the computation efficient, the search interval is decided using a FaberKrahn type inequality...

coco_gop_ex
 Referenced in 4 articles
[sw10850]
 COCONUT, regarding both interval function evaluations (such as first and second order derivatives with backward ... algorithmic questions (such as whether to use interval gradients or use slopes instead), that have...

somersd
 Referenced in 7 articles
[sw26008]
 package somersd:Efficient Calculation of Jackknife Confidence Intervals for Rank Statistics. An algorithm is presented ... concordancediscordance totals in a time of order N log N , where ... confidence limits in the same time order for a very wide range of rank statistics ... Stata package is introduced for calculating confidence intervals for these rank statistics using this algorithm...

clusterSim
 Referenced in 6 articles
[sw16124]
 GDM2, SokalMichener, BrayCurtis, for symbolic intervalvalued data), cluster quality indices (CalinskiHarabasz ... typical data), HINoV method, replication analysis, linear ordering methods, spectral clustering, agreement indices between ... partitions, plot functions (for categorial and symbolic intervalvalued data...

NLambda
 Referenced in 7 articles
[sw23172]
 language aimed at manipulating infinite, but firstorder definable structures, such as the countably infinite ... clique graph or the set of all intervals with rational endpoints. Internally, such sets...

d02kef
 Referenced in 4 articles
[sw30969]
 singular secondorder Sturm–Liouville system on a finite or infinite interval, using a Pruefer...