Searched refs:Proof (Results 1 – 14 of 14) sorted by relevance
| /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 | matrix-transform.txt | 36 Proof (forward transform):
149 Proof (inverse transform):
|
| D | mulmod-64.txt | 49 Proof:
|
| /external/python/cpython3/Modules/_decimal/libmpdec/ |
| D | README.txt | 73 matrix-transform.txt -> Proof for the Matrix Fourier Transform used in
77 mulmod-64.txt -> Proof for the mulmod64 algorithm from
79 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/skia/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/perfetto/docs/ |
| D | security-model.md | 37 … [Proof of concept](https://android-review.googlesource.com/c/platform/external/perfetto/+/576563)
|
| /external/tensorflow/tensorflow/contrib/timeseries/python/timeseries/state_space_models/g3doc/ |
| D | periodic_multires_derivation.md | 81 ## Proof that these are eigenvectors/eigenvalues of `cycle_matrix`
126 ## Proof of eigenvector inverse matrix
|
| /external/tensorflow/tensorflow/contrib/linear_optimizer/kernels/g3doc/ |
| D | readme.md | 175 ##### Proof of convergence
|
| /external/python/cpython3/Tools/pynche/ |
| D | README | 162 The Proof Window
|
| /external/python/cpython2/Tools/pynche/ |
| D | README | 162 The Proof Window
|
| /external/wpa_supplicant_8/wpa_supplicant/ |
| D | ChangeLog | 2027 certificates. Proof of concept type of experimental patch is
|