Results 251 to 260 of about 1,174,960 (285)
Some of the next articles are maybe not open access.
1991
It is a great pleasure to take part in this tribute to Woody Bledsoe in celebration of his seventieth birthday. In his 1985 Presidential Address to the American Association for Artificial Intelligence [2], Bledsoe describes the vision which came to him in a dream a quarter of a century earlier, in 1960, a vision in which he saw the future wonders which
openaire +1 more source
It is a great pleasure to take part in this tribute to Woody Bledsoe in celebration of his seventieth birthday. In his 1985 Presidential Address to the American Association for Artificial Intelligence [2], Bledsoe describes the vision which came to him in a dream a quarter of a century earlier, in 1960, a vision in which he saw the future wonders which
openaire +1 more source
1996
We finally turn our attention to quantifiers, which we will discuss at rat her a formal level. But the use of quantifiers and proofs involving them is part of the larger discussion about why mathematical proofs are hard to read or write. The reason is that mathematical proofs (at least those written in paragraph form) are written in a mixture of two ...
openaire +1 more source
We finally turn our attention to quantifiers, which we will discuss at rat her a formal level. But the use of quantifiers and proofs involving them is part of the larger discussion about why mathematical proofs are hard to read or write. The reason is that mathematical proofs (at least those written in paragraph form) are written in a mixture of two ...
openaire +1 more source
From Proof Image to Formal Proof—A Transformation
2014We propose the notion of proof image as an intermediate stage in a learner’s production of a proof. A proof image consists of the cognitive structure in the learner’s mind that is associated with the given proof. It consists of previous constructs that the learner has selected for potential use in the proof to be constructed and of the links between ...
Tommy Dreyfus, Ivy Kidron
openaire +1 more source
Cooperative Repositories for Formal Proofs
2007We present a new framework for the online development of formalized mathematics. This framework allows wiki-style collaboration while providing users with a rendered and browsable version of their work. We describe a prototype based on Coq, its web interface as implemented by the second author, and a modified version of the MediaWiki code-base.
Pierre Corbineau, Cezary Kaliszyk
openaire +1 more source
Formal verification of TLS 1.2 by automatically generating proof scores
Computers and Security, 2022Duong Dinh Tran, Kazuhiro Ogata
exaly
Hardware verification by formal proof
1985The use of mathematical proof to verify hardware designs is explained and motivated. The hierarchical verification of a simple n-bit CMOS counter is used as an example. Some speculations are made about when and how formal proof will become used in industry.
openaire +1 more source
Pre-Servıce Prımary Teachers? Opınıons on Proof: Formal Proof-Enactıve Proof
2013Okula başlamalarıyla birlikte öğrencilerin matematiksel deneyimleri içerisine ispatı yerleştirme fikri erken dönemde ispat konusunun önemini arttırmaktadır. Çocuklara bu dönemlerinde eğitim verecek olan sınıf öğretmenlerine bu açıdan önemli görevler düşmektedir.
DORUK, Bekir +3 more
openaire +1 more source
Computer Arithmetic and Formal Proofs
2017Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become quite involved and potentially lead to numerous failures. One way to greatly increase confidence in floating-point software is by computer-assisted verification of its ...
Boldo, Sylvie, Melquiond, Guillaume
openaire +1 more source