scientific article; zbMATH DE number 7471719

MaRDI QIDQ5028488FDOQ5028488

Jérémy Dubut, Akihisa Yamada

Publication date: 9 February 2022

Full work available at URL: https://arxiv.org/abs/2009.13065

Title of this publication is not available (Why is that?)

zbMATH Keywords

fixed-pointslattice theoryorder theoryIsabelle/HO

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Isabelle/jEdit – A Prover IDE within the PIDE Framework
• Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
• Isabelle/HOL. A proof assistant for higher-order logic
• The method of successive approximations for functional equations
• A lattice-theoretical fixpoint theorem and its applications
• Chain-complete posets and directed sets with applications
• A Theorem on Partially Ordered Sets, With Applications to Fixed Point Theorems
• Grammar Analysis and Parsing by Abstract Interpretation
• Sledgehammer: Judgement Day
• A Brief Overview of Agda – A Functional Language with Dependent Types
• Sur le théorème de Zorn
• Interpretation of Locales in Isabelle: Theories and Proof Contexts
• A FORMAL PROOF OF THE KEPLER CONJECTURE
• Trellis theory
• Fixed points and common fixed points theorems in pseudo-ordered sets
• Weak chain-completeness and fixed point property for pseudo-ordered sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (1)

• Title not available (Why is that?)

Uses Software

• Coq
• Nitpick
• Isabelle/HOL
• PIDE
• Isabelle/jEdit
• HOL Light
• Sledgehammer
• Agda
• seL4

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5028488)