• 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...
  • 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...