Automatic Data Refinement
From MaRDI portal
Recommendations
Cited in
(28)- Continuous and monotone machines
- Automated Data Harmonization (ADH) using Artificial Intelligence (AI)
- A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem
- Automatic tuning of data synopses.
- Refinement to imperative HOL
- Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL
- Efficient verified (UN)SAT certificate checking
- Isomorphic data type transformations
- Applying data refinement for monadic programs to Hopcroft's algorithm
- CryptHOL: game-based proofs in higher-order logic
- Refinement of parallel algorithms down to LLVM: applied to practically efficient parallel sorting
- Data refinement of remote procedures
- Autoref
- Trustworthy Graph Algorithms (Invited Talk)
- A verified ODE solver and the Lorenz attractor
- A verified SAT solver framework with learn, forget, restart, and incrementality
- Refinement to Imperative/HOL
- scientific article; zbMATH DE number 7649971 (Why is no real title available?)
- Formalization and execution of linear algebra: from theorems to algorithms
- Verified path indexing
- Data refinement in Isabelle/HOL
- From LCF to Isabelle/HOL
- A More Pragmatic CDCL for IsaSAT and Targetting LLVM (Short Paper)
- Verified iptables firewall analysis and verification
- Probabilistic functions and cryptographic oracles in higher order logic
- Formally verified certificate checkers for hardest-to-round computation
- Automatic refinement to efficient data structures: a comparison of two approaches
- Refinements for free!
This page was built for publication: Automatic Data Refinement
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5327338)
