Results 271 to 280 of about 1,174,960 (285)

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
exaly  

Formal Proofs

openaire   +1 more source

Making the transition to formal proof

Educational Studies in Mathematics, 1994
exaly  

Formal Security Proof of CMAC and Its Variants

2018
François Dupressoir
exaly  

Proof by Cases in Formal Logic

The Annals of Mathematics, 1934
openaire   +1 more source

Formal Proofs in Mathematical Practice

2021
openaire   +1 more source

Applying formal proof techniques to avionics software: a pragmatic approach

Lecture Notes in Computer Science, 1999
exaly  

PROOFS: formalisms and methods

1993
Aalst, van der, W.M.P., Hee, van, K.M.
openaire   +1 more source

A Formal Proof of Dickson’s Lemma in ACL2

Lecture Notes in Computer Science, 2003
exaly