Fungrim home page

Fungrim entry: b1a260

arg max*xRsinc(x)=0\mathop{\operatorname{arg\,max*}}\limits_{x \in \mathbb{R}} \operatorname{sinc}(x) = 0
\mathop{\operatorname{arg\,max*}}\limits_{x \in \mathbb{R}} \operatorname{sinc}(x) = 0
Fungrim symbol Notation Short description
ArgMaxUniquearg max*xSf(x)\mathop{\operatorname{arg\,max*}}\limits_{x \in S} f(x) Unique location of maximum value
Sincsinc(z)\operatorname{sinc}(z) Sinc function
RRR\mathbb{R} Real numbers
Source code for this entry:
    Formula(Equal(ArgMaxUnique(Sinc(x), ForElement(x, RR)), 0)))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2020-08-27 09:56:25.682319 UTC