• KELLEY

  • Referenced in 490 articles [sw04829]
  • even if available, cannot expected to be reliable. This second part contains three chapters...
  • SIFT

  • Referenced in 434 articles [sw16554]
  • images that can be used to perform reliable matching between different views of an object...
  • LSQR

  • Referenced in 229 articles [sw00530]
  • gradients, but possesses more favorable numerical properties. Reliable stopping criteria are derived, along with estimates ... algorithms, indicating that LSQR is the most reliable algorithm when A is ill-conditioned...
  • ScaLAPACK

  • Referenced in 316 articles [sw00830]
  • goals of both projects are efficiency, scalability, reliability, portability, flexibility, and ease of use.\parScaLAPACK...
  • NAG

  • Referenced in 282 articles [sw00610]
  • trusted because of its unrivalled quality, reliability and portability. Whether it is a single...
  • INTLAB

  • Referenced in 267 articles [sw04004]
  • INTLAB is the Matlab toolbox for reliable computing and self-validating algorithms. It comprises...
  • NuSMV

  • Referenced in 258 articles [sw04131]
  • architecture for model checking, which can be reliably used for the verification of industrial designs...
  • CGAL

  • Referenced in 216 articles [sw00118]
  • provide easy access to efficient and reliable geometric algorithms in the form...
  • MOD-DIST

  • Referenced in 163 articles [sw07504]
  • defender-interdictor models for the design of reliable facility location systems -- A full range...
  • MENU-OKF

  • Referenced in 163 articles [sw07505]
  • defender-interdictor models for the design of reliable facility location systems -- A full range...
  • SITATION

  • Referenced in 161 articles [sw07503]
  • defender-interdictor models for the design of reliable facility location systems -- A full range...
  • VanHuffel

  • Referenced in 157 articles [sw05243]
  • development of computationally efficient and numerically reliable TLS algorithms. Much attention is paid in this...
  • GMRFLib

  • Referenced in 144 articles [sw06641]
  • emphasize the computational aspects, construct fast and reliable algorithms for MCMC inference, and provide...
  • HOL Light

  • Referenced in 141 articles [sw06580]
  • rules without compromising soundness. While retaining this reliability and programmability from earlier HOL systems...
  • SLAM

  • Referenced in 140 articles [sw03136]
  • designing interfaces and software that ensure reliable and correct functioning. Static Driver Verifier...
  • PHCpack

  • Referenced in 134 articles [sw00705]
  • application domains. Homotopy continuation methods are reliable and powerful methods to compute numerically approximations...
  • UTV

  • Referenced in 122 articles [sw05213]
  • matrix, and we provide a robust and reliable Lanczos algorithm which -- despite its simplicity...
  • Gurobi

  • Referenced in 119 articles [sw04105]
  • Gurobi Optimizer goes beyond fast and reliable solution performance to provide a broad range...
  • CONOPT

  • Referenced in 115 articles [sw02791]
  • programming from both an efficiency and a reliability point of view. This is especially true...
  • simannf90

  • Referenced in 106 articles [sw05059]
  • method proved to be more reliable than the others (the Nelder-Mead method...