MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Proof by Pointing." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

517 documents found, showing 1 through 10. Next 10 →

ATOM

Proof by Pointing
by Yves Bertot, Gilles Kahn, Laurent Théry — 1994
…Proof by Pointing ? Yves Bertot 1 Gilles Kahn 1 Laurent Th'ery 2 1 INRIA Sophia-Antipolis B…
Cited by 39 (7 self) – Add To MetaCart

Proof by Pointing
by Yves Bertot Gilles, Gilles Kahn — 1994
…Proof by Pointing ? Yves Bertot 1 Gilles Kahn 1 Laurent Th'ery 2 1 INRIA Sophia-Antipolis B…
Add To MetaCart

Implementing Proof by Pointing without a Structure Editor
by Yves Bertot, Yves Bertot, Thomas Kleymann-schreiber, Thomas Kleymann-schreiber, Dilip Sequeira, Dilip Sequeira — 1997 — LFCS Report Series ECS-LFCS-97-368. LFCS, University of Edinburgh. See also the Proof General
… AUTOMATIQUE Implementing Proof by Pointing without a Structure Editor Yves Bertot, Thomas Kleymann…
Cited by 5 (0 self) – Add To MetaCart

Implementing Proof by Pointing without a Structure Editor \Lambda
by Yves Bertoty, Thomas Kleymann-schreiber, Dilip Sequeira — 1997
… Implementing Proof by Pointing without a Structure Editor \Lambda Yves Bertoty, Thomas…
Add To MetaCart

Key Words: Invariant optimal assignment, consecutive-k-out-of-n: G cycle.
by unknown authors — 2000
… with an incomplete proof, pointed out recently by Jalali, Hawkes, Cui, and Hwang. Key Words: Invariant optimal…
Add To MetaCart

The Error Surface of the 2-2-1 XOR Network: Stationary Points with infinite Weights
by Ida Sprinkhuizen-Kuyper — 1996
… proofs that points with error zero exist, and that points with the output unit saturated are either…
Cited by 2 (0 self) – Add To MetaCart

Interactive Theorem Proving with Temporal Logic
by Laurent Thery, Amy Felty, Amy Felty, Projet Croap — Journal of Symbolic Computation
…. In particular, we extend the techniques of proof by pointing and point and shoot for mouse-driven proof…
Cited by 6 (0 self) – Add To MetaCart

Generalization of the imprint method to general surfaces of revolution for NC machining, Computer-Aided Design 34
by Stephen Mann, Sanjeev Bedi — 2002 — Computer Aided Design
… for toroidal tools that is based on identifying grazing points on the tool surface. We present a new proof…
Cited by 4 (3 self) – Add To MetaCart

A case study in machine-assisted proofs: The Integers form an Integral Domain
by Gustavo Betarte — 1993
… when one is interested in regarding the computational meaning of proofs are pointed out. In order…
Cited by 6 (0 self) – Add To MetaCart

Interactive theorem proving with tasks
by M. Hübner, S. Autexier, C. Benzmüller, A. Meier — 2004 — Electronic Notes in Theoretical Computer Science 103 (2004
… and combines the Proof by Pointing approach [5] with a flexible mechanism for the application of assertions…
Cited by 5 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB