• Isabelle/HOL

  • Referenced in 941 articles [sw01569]
  • computer hardware or software and proving properties of computer languages and protocols...
  • Isabelle

  • Referenced in 606 articles [sw00454]
  • computer hardware or software and proving properties of computer languages and protocols...
  • JDQZ

  • Referenced in 568 articles [sw07031]
  • selected eigenvalues with some desirable property together with the associated eigenvectors of a matrix pencil...
  • MPI

  • Referenced in 492 articles [sw06496]
  • derived based on the inherent mathematical properties of generalized complex numbers that enable first-derivative...
  • HOL

  • Referenced in 490 articles [sw05492]
  • implementing combinations of deduction, execution, and property checking...
  • BLAS

  • Referenced in 481 articles [sw03216]
  • software for dynamically determining machine-dependent arithmetic properties...
  • JDQR

  • Referenced in 478 articles [sw04021]
  • selected eigenvalues with some desirable property together with the associated eigenvectors of a matrix...
  • ode23

  • Referenced in 277 articles [sw06600]
  • above with default integration parameters replaced by property values specified in options, an argument created ... with the odeset function. Commonly used properties include a scalar relative error tolerance RelTol ... odeset function to set the NonNegative property to the indices of these components. See odeset ... matters. Do this by setting the ’Events’ property to a function, e.g., events or @events...
  • PRISM

  • Referenced in 401 articles [sw01186]
  • probabilistic termination, performance, and quality of service properties for a range of systems, including randomized...
  • COMSOL

  • Referenced in 364 articles [sw04091]
  • structural mechanics and electromagnetic analyses. Material properties, source terms and boundary conditions...
  • SVMlight

  • Referenced in 260 articles [sw04076]
  • medical applications. Many tasks have the property of sparse instance vectors. This implementation makes ... this property which leads to a very compact and efficient representation...
  • LSQR

  • Referenced in 354 articles [sw00530]
  • conjugate gradients, but possesses more favorable numerical properties. Reliable stopping criteria are derived, along with...
  • CGAL

  • Referenced in 350 articles [sw00118]
  • well as estimation of local differential properties, and approximation of ridges and umbilics), alpha shapes...
  • fminsearch

  • Referenced in 251 articles [sw07467]
  • Convergence properties of the Nelder--Mead simplex method in low dimensions The Nelder--Mead simplex ... Nelder--Mead algorithm. This paper presents convergence properties of the Nelder--Mead algorithm applied...
  • ACL2

  • Referenced in 277 articles [sw00060]
  • tool to help you prove properties of those models. ACL2 is part of the Boyer...
  • Z

  • Referenced in 276 articles [sw10291]
  • relational calculus are introduced, its algebraic properties are not mentioned; many of the proofs about...
  • Adam

  • Referenced in 260 articles [sw22205]
  • discussed. We also analyze the theoretical convergence properties of the algorithm and provide a regret...
  • MatrixMarket

  • Referenced in 159 articles [sw04020]
  • searching for matrices with special properties are included. Each matrix (and matrix ... home page” which provides details of matrix properties, visualization of matrix structure, and permits downloading ... generator has a home page describing its properties. Generators are either static software which...
  • FODE

  • Referenced in 242 articles [sw08377]
  • discretizing the spatial derivatives and using the properties of Riemann-Liouville derivative and Caputo derivative...
  • CafeOBJ

  • Referenced in 165 articles [sw06232]
  • machine supported method for verifying safety properties of dynamic systems based on the first-order ... state predicate, we can verify safety properties of infinite-state systems using predicate calculus...