
INTLAB
 Referenced in 472 articles
[sw04004]
 standard functions (fast, rigorous, but not necessarily sharp inclusions) rigorous input/output (outer and inner inclusions ... slow) multiple precision interval arithmetic with error bounds (does the job, slow...

PhaseMax
 Referenced in 28 articles
[sw24954]
 sparse signal recovery. We develop sharp lower bounds on the success probability of PhaseMax...

HOL/SPIN
 Referenced in 24 articles
[sw02987]
 vector routing. We also calculate a sharp realtime bound for this convergence. This extends existing...

qZEILBERGER
 Referenced in 13 articles
[sw11575]
 Mathematica package qZeil. The article ”Sharp upper bounds for the orders of the recurrences output...

QFLib
 Referenced in 10 articles
[sw16491]
 bound. These computations produce the explicit (sharp) lower bound for the constant in the asymptotic...

ZEILBERGER
 Referenced in 12 articles
[sw11574]
 Maple package SumTools[Hypergeometric]. The article ”Sharp upper bounds for the orders of the recurrences...

NewZeil.m
 Referenced in 9 articles
[sw06646]
 Sharp upper bounds for the orders of the recurrences output by the Zeilberger...

INTERVAL_ARITHMETIC
 Referenced in 10 articles
[sw04681]
 provides a simple and sometimes sharp method of bounding ranges of functions for global optimization...

QCAPro
 Referenced in 12 articles
[sw22782]
 with sharp transitions, which result in nonadiabatic operations and provides an upper bound...

CGALmesh
 Referenced in 12 articles
[sw12915]
 tetrahedron meshes for domains or multidomains bounded by curved or flat, smooth or piecewise ... refinement is followed by an optimization phase. Sharp creases are handled via the method...

BettiBounds
 Referenced in 1 article
[sw31690]
 boundary complex of a simplex. This bound depends only on the number of stellars ... construct examples which prove that it is sharp. The purpose of this package...

ProSparse
 Referenced in 1 article
[sw24951]
 work, which establishes deterministic (worstcase) sparsity bounds for ProSparse to succeed, this paper presents ... dimensional regime. This asymptotic analysis characterizes a sharp phase transition phenomenon regarding the performance...

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

ASYMPT
 Referenced in 10 articles
[sw00053]
 A FORTRAN program is presented which calculates asymptotics...

CGAL
 Referenced in 402 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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

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

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

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