Results 231 to 240 of about 1,881,310 (251)

Design and formal proof of a new optimal image segmentation program with hypermaps

Pattern Recognition, 2007
Jean-François Dufourd
exaly  

The use and abuse of formal proofs

ACM SIGPLAN Notices, 1983
openaire   +1 more source

A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)

International Conference on Interactive Theorem Proving, 2014
F. Chyzak, A. Mahboubi, T. Sibut-Pinote, Enrico Tassi   +3 more
semanticscholar   +1 more source

On a new formal proof model for RFID location privacy

Information Processing Letters, 2009
Ton Van Deursen, Sasa Radomirovic
exaly  

Proof by Cases in Formal Logic

The Annals of Mathematics, 1934
openaire   +1 more source

Applying formal proof techniques to avionics software: a pragmatic approach

Lecture Notes in Computer Science, 1999
Jean Souyris, Souyris Jean
exaly  

Towards Formal Proof Script Refactoring

Calculemus/MKM, 2011
I. Whiteside, David Aspinall, Lucas Dixon, G. Grov   +3 more
semanticscholar   +1 more source

A Note on the Relation Between Formal and Informal Proof

Acta Analytica, 2010
exaly  

N-GraphML: Language and Formal Grammar for Proof-Graphs

2013
Gleifer Vaz Alves
exaly  

Formal Proof from UML Models

Lecture Notes in Computer Science, 2004
Nuno Amalio, Susan Stepney, Fiona Polack   +2 more
exaly