Searching for "Commenting Proofs." – sorted by Relevance.
196 documents found, showing 1 through 10.
Next 10 →
-
Lazy Cache Implements Complete Cache
- … the invariant was chosen, and comment the proof to allow it more easily to be read. 1 What's the Problem? Rob…
- Cited by 2 (2 self) – Add To MetaCart
-
On Finite Type 3-Manifold Invariants III: Manifold Weight Systems
- …. Introduction 2 1.1. History 1.2. Statement of the results 1.3. Plan of the proof 1.4. A philosophical comment…
- Cited by 8 (6 self) – Add To MetaCart
-
On the expansion of a function in terms of spherical harmonics in arbitrary dimensions
- …]. We shall comment on this proof in Remark 1 at the end of §2. 1 The classical treatise of Courant…
- Cited by 1 (0 self) – Add To MetaCart
-
An Introduction to CClair
- … and Q) We give you the verbatim copy of a proof in Isabelle of this statement, then give some comments…
- Add To MetaCart
-
Minimizing computational complexity as a criterion for choosing fuzzy rules and neural activation functions in intelligent control
- … of several intervals on each of which µ(x) has the form p/(x + q)). Comment. The proof is based on the fact…
- Cited by 6 (6 self) – Add To MetaCart
-
MINIMIZING COMPUTATIONAL COMPLEXITY AS A CRITERION FOR CHOOSING FUZZY OPERATIONSAND NEURAL ACTIVATION FUNCTIONS IN ROBOTIC INTELLIGENT CONTROL
- …. Theorem 2. The simplest .-operation is max. Comment. The proof is similar. The simplest…
- Add To MetaCart
-
Towards optimal use of multi-precision arithmetic: a remark
- … sequence cannot have an overhead C < 4. The proposition is proven. Comment. This proof is mathematically…
- Cited by 3 (0 self) – Add To MetaCart
-
A Trigonometric Sum Relevant to the Non-relativistic Theory of Atoms
- …. Comments on the Proof The proof of our theorem is a variant of a method devised by Van der Corput (see (21…
- Cited by 8 (8 self) – Add To MetaCart
-
The NP completeness of the edge precoloring extension problem on bipartite graphs
- …'il for exposing the problem to him and for valuable comments on the proof. References …
- Cited by 6 (1 self) – Add To MetaCart
-
A Trigonometric Sum Relevant to Non-. . .
- … fi fi 6= 0: 5 1. Comments on the Proof The proof of our theorem is a variant of a method devised…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
