• 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 fixed-precision 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 speed-ups 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 semi-infinite 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 AD-templates...

• 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, interval-censored 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 first-order...

• repolr

• Referenced in 10 articles [sw07133]
• first-order 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 higher-order logic. It extends...

• Algorithm 922

• Referenced in 36 articles [sw12858]
• needs special treatment. Based on a fourth-order reformulation of the transmission eigenvalue problem ... make the computation efficient, the search interval is decided using a Faber-Krahn 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 ... concordance-discordance 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, Sokal-Michener, Bray-Curtis, for symbolic interval-valued data), cluster quality indices (Calinski-Harabasz ... typical data), HINoV method, replication analysis, linear ordering methods, spectral clustering, agreement indices between ... partitions, plot functions (for categorial and symbolic interval-valued data...

• NLambda

• Referenced in 7 articles [sw23172]
• language aimed at manipulating infinite, but first-order 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 second-order Sturm–Liouville system on a finite or infinite interval, using a Pruefer...