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

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

BLAS
 Referenced in 481 articles
[sw03216]
 software for dynamically determining machinedependent 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 NelderMead simplex method in low dimensions The NelderMead simplex ... NelderMead algorithm. This paper presents convergence properties of the NelderMead 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 RiemannLiouville derivative and Caputo derivative...

CafeOBJ
 Referenced in 165 articles
[sw06232]
 machine supported method for verifying safety properties of dynamic systems based on the firstorder ... state predicate, we can verify safety properties of infinitestate systems using predicate calculus...