• 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 non-adiabatic operations and provides an upper bound...

• wronskian-hermite-polynomials

• Referenced in 1 article [sw38872]
• partitions. The first result gives a sharp upper bound for the slope of the edges...

• CGALmesh

• Referenced in 12 articles [sw12915]
• tetrahedron meshes for domains or multi-domains 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 (worst-case) 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...