Searched refs:Proof (Results 1 – 25 of 37) sorted by relevance
12
| /external/python/cpython3/Modules/_decimal/libmpdec/literature/ |
| D | mulmod-ppro.txt | 73 Proof for q < qest < q+1:
90 Proof:
115 Proof:
155 Proof.
166 Proof.
194 Proof.
231 Proof.
|
| D | mulmod-64.txt | 49 Proof:
|
| D | matrix-transform.txt | 36 Proof (forward transform):
149 Proof (inverse transform):
|
| /external/python/cpython3/Modules/_decimal/libmpdec/ |
| D | README.txt | 72 matrix-transform.txt -> Proof for the Matrix Fourier Transform used in
76 mulmod-64.txt -> Proof for the mulmod64 algorithm from
78 mulmod-ppro.txt -> Proof for the x87 FPU modular multiplication
|
| /external/google-fruit/include/fruit/impl/meta/ |
| D | proof_trees.h | 65 template <typename Forest, typename Proof>
|
| /external/pdfium/third_party/lcms/src/ |
| D | cmsgmt.c | 219 cmsUInt16Number Proof[cmsMAXCHANNELS], Proof2[cmsMAXCHANNELS]; in GamutSampler() local
230 cmsDoTransform(t -> hForward, &LabIn1, Proof, 1); in GamutSampler()
233 cmsDoTransform(t -> hReverse, Proof, &LabOut1, 1); in GamutSampler()
|
| /external/skqp/site/dev/design/conical/ |
| D | index.md | 81 *Proof.* Algebriacally, solving the quadratic equation $(x_t - x)^2 + y^2 = (x_t r_1)^2$ and
171 *Proof.* Draw a line from $P$ that's parallel to $C_1 P_1$. Let it intersect with $x$-axis on point
185 *Proof.* Let $C_t = (x_t, 0)$. Triangle $\triangle C_f C_t P$ is similar to $C_f C_1 P_1$. Therefore
211 *Proof.* As $C_f = (0, 0), P = (x, y)$, we have $||C_f P|| = \sqrt(x^2 + y^2)$. So we'll mainly
266 *Proof.* Simply plug $r_1 = 1$ into the formula of Lemma 3. $\square$
271 *Proof.* From Lemma 3., we have
309 *Proof.* Case 1 follows naturally from Lemma 3. and Corollary 1.
|
| /external/google-breakpad/docs/ |
| D | mozilla_brown_bag_talk.md | 72 * Proof-of-concept collector
|
| /external/llvm-project/clang-tools-extra/clangd/index/remote/ |
| D | README.md | 9 contains code that is used as Proof of Concept for the upcoming remote index
|
| /external/cn-cbor/ |
| D | README.md | 5 Below is the original README for cn-cbor, a Proof of Concept
|
| /external/avb/proto/ |
| D | trillian_pb2.py | 565 Proof = _reflection.GeneratedProtocolMessageType('Proof', (_message.Message,), { variable
570 _sym_db.RegisterMessage(Proof)
|
| D | api.proto | 23 trillian.Proof proof = 1;
|
| D | trillian.proto | 307 // Proof holds a consistency or inclusion proof for a Merkle tree, as returned
309 message Proof { message
|
| /external/skia/site/docs/dev/design/conical/ |
| D | _index.md | 307 *Proof.* Simply plug $r_1 = 1$ into the formula of Lemma 3. $\square$
312 *Proof.* From Lemma 3., we have
350 *Proof.* Case 1 follows naturally from Lemma 3. and Corollary 1.
|
| /external/python/pyasn1-modules/ |
| D | CHANGES.txt | 11 - Added RFC6955 providing Diffie-Hellman Proof-of-Possession Algorithms
|
| /external/avb/libavb_aftl/ |
| D | README.md | 91 * A set of sibling node hashes (`Proof`) in a Merkle tree on the path from the
|
| /external/rust/crates/rayon-core/src/sleep/ |
| D | README.md | 199 ### Proof sketch
|
| /external/one-true-awk/testdir/ |
| D | funstack.ok | 278 Treesort 3: Proof of Algorithms --- A
499 C. A. R. Hoare Proof of a Program: FIND . . . . . . . . 39--45
2050 Probable-Word Proof . . . . . . . . . . ??
2661 Karl N. Levitt Proof Techniques for Hierarchically
2734 William D. Tajibnapis A Correctness Proof of a Topology
3238 Proof . . . . . . . . . . . . . . . . . 1064--1075
3456 Leslie Lamport On the Proof of Correctness of a
|
| /external/python/cpython2/Tools/pynche/ |
| D | README | 162 The Proof Window
|
| /external/python/cpython3/Tools/pynche/ |
| D | README | 162 The Proof Window
|
| /external/libcups/locale/ |
| D | cups.strings | 6007 // TRANSLATORS: Proof Print
6008 "proof-print" = "Proof Print";
6009 // TRANSLATORS: Proof Print Copies
6010 "proof-print-copies" = "Proof Print Copies";
|
| D | cups_en.po | 14850 #. TRANSLATORS: Proof Print
14852 msgstr "Proof Print"
14854 #. TRANSLATORS: Proof Print Copies
14856 msgstr "Proof Print Copies"
|
| D | cups_cs.po | 14542 #. TRANSLATORS: Proof Print
14546 #. TRANSLATORS: Proof Print Copies
|
| D | cups_fr.po | 14560 #. TRANSLATORS: Proof Print
14564 #. TRANSLATORS: Proof Print Copies
|
| D | cups_ru.po | 14731 #. TRANSLATORS: Proof Print
14735 #. TRANSLATORS: Proof Print Copies
|
12