Home
last modified time | relevance | path

Searched refs:sigma_n (Results 26 – 39 of 39) sorted by relevance

12

/dports/math/e-antic/flint2-ae7ec89/doc/source/
H A Daprcl.rst415 Sets `f = \tau^{\sigma_n}(\chi_{p, q})`.
/dports/math/flint2/flint-2.8.4/doc/source/
H A Daprcl.rst415 Sets `f = \tau^{\sigma_n}(\chi_{p, q})`.
/dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/doc/source/
H A Daprcl.rst415 Sets `f = \tau^{\sigma_n}(\chi_{p, q})`.
/dports/math/yices/yices-2.6.2/doc/manual/
H A Dmanual.tex865 \item If $n>0$ and $\sigma_1,\ldots,\sigma_n$ are $n$ types, then
866 $\sigma = (\sigma_1 \times \ldots \times \sigma_n)$ is a
869 \item If $n>0$ and $\sigma_1,\ldots,\sigma_n$ and $\tau$ are types,
870 then $\sigma = (\sigma_1\times \ldots\times\sigma_n \rightarrow
872 $\sigma_1\times\ldots\times\sigma_n$ and range $\tau$.
887 \item If $\sigma_1\sqsubset\tau_1,\ldots,\sigma_n\sqsubset\tau_n$ then
888 $(\sigma_1\times \ldots\times\sigma_n)\sqsubset (\tau_1\times\ldots\times\tau_n)$.
890 $(\sigma_1\times\ldots\times\sigma_n\rightarrow\tau)\sqsubset
891 (\sigma_1\times\ldots\times\sigma_n\rightarrow\tau')$.
999 …es\tau_n\rightarrow\tau)~~~t_1::\sigma_1\ldots t_n::\sigma_n~~~\sigma_1\sqsubset\tau_1\ldots\sigma…
[all …]
/dports/math/R-cran-irlba/irlba/vignettes/
H A Dirlba.Rnw137 $ \sigma_1 \ge \sigma_2 \ge \cdots \ge \sigma_n \ge 0 $.
/dports/math/R-cran-irlba/irlba/inst/doc/
H A Dirlba.Rnw137 $ \sigma_1 \ge \sigma_2 \ge \cdots \ge \sigma_n \ge 0 $.
/dports/math/reduce/Reduce-svn5758-src/doc/manual/
H A Dcde.tex169 {(\partial x^1)^{\sigma_1}\cdots (\partial x^n)^{\sigma_n}}.
171 Here $\sigma=(\sigma_1,\ldots,\sigma_n)\in\N^n$ is a multiindex. We set
172 $|\sigma|=\sigma_1+\cdots+\sigma_n$. If $\sigma=(0,\ldots,0)$ we set
/dports/science/lammps/lammps-stable_29Sep2021/src/KSPACE/
H A Dpppm_disp.cpp1427 double eps_i,sigma_i,sigma_n; in init_coeffs() local
1434 sigma_n = 1.0; in init_coeffs()
1436 B[7*i+j] = sigma_n*eps_i*c[j]*0.25; in init_coeffs()
1437 sigma_n *= sigma_i; in init_coeffs()
/dports/math/giacxcas/giac-1.6.0/doc/el/
H A Dcascmd_el.tex5056 Έστω $\sigma_n$ μια υποδιαίρεση του πραγματικού διαστήματος $[a,b]$~:
5067 Το σύνολο των συναρτήσεων {\en\tt spline} βαθμού $l$ στο $\sigma_n$ είναι ένας
5121 Αν θέλουμε να παρεμβάλουμε μια συνάρτηση $f$ στο $\sigma_n$ από μια συνάρτηση {\en\tt spline}
/dports/math/giacxcas/giac-1.6.0/doc/fr/
H A Dcassim.tex3984 $\sigma_2$,.., $\sigma_n$.\\
3997 $\sigma_1= \sigma_2=..=\sigma_n=\sigma$.
4007 ,.., $\sigma_n$.\\
4018 d\'ecart-type $\sigma$, on a $\mu_1=\mu_2=..=\mu_n=\mu$ et $\sigma_1= \sigma_2=..=\sigma_n=\sigma$.…
H A Dcasexo.tex6896 $\sigma_n=\frac{1}{n}\sum_{k=0}^{n-1}S_k$ tend vers $\sigma$.\\
6898 $\sigma_n(f)=\frac{1}{n}\sum_{k=0}^{n-1}SF_k(f)$\\
6900 $\sigma_n(f)(x)$ converge vers $f(x)$ en tous les points de continuit\'e de
6905 Calculer $\sigma_n(f)(x)$ pour la fonction $f$
H A Dcascmd_fr.tex12973 Soit une subdivision $\sigma_n$ de l'intervalle $[a,b]$~:
12984 L'ensemble des fonctions splines de degr\'e $l$ sur $\sigma_n$ est un
13041 On peut demander d'interpoler une fonction $f$ sur $\sigma_n$ par une fonction
/dports/math/giacxcas/giac-1.6.0/doc/en/cascmd_en/
H A Dcascmd_en.tex8274 Let $\sigma_n$ be a subdivision of a real interval $[a,b]$~:
8285 The set of spline functions of degree $l$ on $\sigma_n$ is an
8339 If we want to interpolate a function $f$ on $\sigma_n$ by a spline function
/dports/math/giacxcas/giac-1.6.0/doc/en/
H A Dcascmd_en.tex11383 Let $\sigma_n$ be a subdivision of a real interval $[a,b]$~:
11394 The set of spline functions of degree $l$ on $\sigma_n$ is an
11448 If we want to interpolate a function $f$ on $\sigma_n$ by a spline function

12