Results 241 to 250 of about 1,881,310 (251)

Informal Proof, Formal Proof, Formalism, and Fictionalism

openaire   +1 more source

The formal derivation of a proof of the invariance theorem

Lecture Notes in Computer Science, 1990
exaly  

Formalization of General Topology in Coq — A Formal Proof of Tychonoff's Theorem

2019
Tianyu Sun, Yaoshun Fu, Wensheng Yu
exaly  

Making the transition to formal proof

Educational Studies in Mathematics, 1994
exaly  

Formal Security Proof of CMAC and Its Variants

2018
François Dupressoir, Pierre-Alain Fouque   +1 more
exaly  

A Formal Proof of Dickson’s Lemma in ACL2

Lecture Notes in Computer Science, 2003
exaly  

A Formal Proof in Coq of Cantor-Bernstein-Schroeder’s Theorem without axiom of choice

2019
Yaoshun Fu, Tianyu Sun, Wensheng Yu
exaly  

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques

Lecture Notes in Networks and Systems
Youngmi Hur
exaly  

Formal Proofs

openaire   +1 more source

Towards a formal proof system for ω-rational expressions

Information Processing Letters, 1984
exaly