• KELLEY

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

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

  • Referenced in 230 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 318 articles [sw00830]
  • goals of both projects are efficiency, scalability, reliability, portability, flexibility, and ease of use.\parScaLAPACK...
  • NAG

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

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

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

  • Referenced in 219 articles [sw00118]
  • provide easy access to efficient and reliable geometric algorithms in the form...
  • SITATION

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

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

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

  • Referenced in 159 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...
  • PHCpack

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

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

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

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

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

  • Referenced in 116 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...