scientific article; zbMATH DE number 2127501
From MaRDI portal
Publication:3154457
Recommendations
Cited in
(35)- Operating system verification---an overview
- History of mathematics: a global cultural approach. Abstracts from the workshop held December 13--19, 2020 (online meeting)
- Why do informal proofs conform to formal norms?
- Mathematics and argumentation
- Assembling a prehistory for formal methods: a personal view
- Milestones from the Pure Lisp Theorem Prover to ACL2
- Mechanized metatheory revisited
- Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
- Integrating searching and authoring in Mizar
- Computer assisted reasoning. A Festschrift for Michael J. C. Gordon
- Checking proofs
- The parallel structure of mathematical reasoning
- When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science
- AfterMath: The Work of Proof in the Age of Human–Machine Collaboration
- An Independence Relation for Sets of Secrets
- Critical sets for Sudoku and general graph colorings
- Using formal methods with SysML in aerospace design and engineering
- Mathematical inference and logical inference
- Can strategizing in round-robin subtournaments be avoided?
- The halting problem and security’s language-theoretic approach: Praise and criticism from a technical historian
- Proof auditing formalised mathematics
- scientific article; zbMATH DE number 6741937 (Why is no real title available?)
- Computing and the cultures of proving
- Panelist position statement: logic and models in computer science
- Proof in the time of machines
- Enabling mathematical cultures: introduction
- Recent progress towards Hadwiger's conjecture
- Automated theorem provers: a practical tool for the working mathematician?
- Trusted computing with addition machines. I
- Mechanized metatheory revisited: an extended abstract (invited paper)
- Artificial intelligence and inherent mathematical difficulty
- Logic of secrets in collaboration networks
- Big mathematics -- reflections on the history of the classification of finite simple groups, 1950s to 1980s
- On a generalization of ``eight blocks to madness puzzle
- An independence relation for sets of secrets
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 Q3154457)
