Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
Discussion
View history
Purge
English
Log in
DLMF:26.10.E20
(Q8596)
From MaRDI portal
Jump to:
navigation
,
search
No description defined
Language
Label
Description
Also known as
English
DLMF:26.10.E20
No description defined
Statements
Digital Library of Mathematical Functions ID
26.10.E20
0 references
DLMF defining formula
[
[
x
]
]
=
{
x
-
⌊
x
⌋
-
1
2
,
x
∉
ℤ
,
0
,
x
∈
ℤ
.
delimited-[]
delimited-[]
𝑥
cases
𝑥
𝑥
1
2
𝑥
0
𝑥
{\displaystyle{\displaystyle[\![x]\!]=\begin{cases}x-\left\lfloor x\right% \rfloor-\tfrac{1}{2},&x\notin\mathbb{Z},\\ 0,&x\in\mathbb{Z}.\end{cases}}}
0 references
Symbols used
Q10758
DLMF defining formula
∈
{\displaystyle{\displaystyle\in}}
xml-id
introduction.Sx4.p1.t1.r10.m2agdec
0 references
Q11140
DLMF defining formula
⌊
x
⌋
𝑥
{\displaystyle{\displaystyle\left\lfloor\NVar{x}\right\rfloor}}
xml-id
introduction.Sx4.p1.t1.r17.m4adec
0 references
Q10792
DLMF defining formula
ℤ
{\displaystyle{\displaystyle\mathbb{Z}}}
xml-id
introduction.Sx4.p2.t1.r20.m2adec
0 references
Q11216
DLMF defining formula
∉
{\displaystyle{\displaystyle\notin}}
xml-id
introduction.Sx4.p1.t1.r11.m2adec
0 references
real variable
DLMF defining formula
x
𝑥
{\displaystyle{\displaystyle x}}
xml-id
C26.S1.XMD1.m1adec
0 references
instance of
Digital Library of Mathematical Functions Formula
0 references
MaRDI profile type
MaRDI formula profile
0 references
Sitelinks
Mathematics
(1 entry)
mardi
Formula:8596
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Concept URI