Autoref
From MaRDI portal
Software:24733
No author found.
Related Items (17)
A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem ⋮ Quotients of Bounded Natural Functors ⋮ Formalization and Execution of Linear Algebra: From Theorems to Algorithms ⋮ A verified ODE solver and the Lorenz attractor ⋮ Verified iptables firewall analysis and verification ⋮ A verified SAT solver framework with learn, forget, restart, and incrementality ⋮ Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL ⋮ CryptHOL: game-based proofs in higher-order logic ⋮ Automatic refinement to efficient data structures: a comparison of two approaches ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Refinement to imperative HOL ⋮ From LCF to Isabelle/HOL ⋮ Probabilistic Functions and Cryptographic Oracles in Higher Order Logic ⋮ Efficient verified (UN)SAT certificate checking ⋮ Formally verified certificate checkers for hardest-to-round computation
This page was built for software: Autoref
