floor function (Q3336): Difference between revisions

@@ Property / part of @@
+floor and ceiling functions
@@ Property / part of: floor and ceiling functions / rank @@
+Normal rank
@@ Property / instance of @@
+idempotent function
@@ Property / instance of: idempotent function / rank @@
+Normal rank
@@ Property / instance of @@
+integer-valued function
@@ Property / instance of: integer-valued function / rank @@
+Normal rank
@@ Property / image @@
+Floor function.svg
@@ Property / image: Floor function.svg / rank @@
+Normal rank
@@ Property / defining formula @@
+ $\lfloor a\rfloor =\max {\{n\in \mathbb {Z} \mid n\leq a\}}$ 
\lfloor a \rfloor = \max{\{n \in \mathbb{Z} \mid n \le a\}}
+Normal rank
@@ Property / definition domain @@
+set of real numbers
@@ Property / definition domain: set of real numbers / rank @@
+Normal rank
@@ Property / Brilliant Wiki ID @@
+floor-function
@@ Property / Brilliant Wiki ID: floor-function / rank @@
+Normal rank
@@ Property / opposite of @@
+ceiling function
@@ Property / opposite of: ceiling function / rank @@
+Normal rank
@@ Property / Google Knowledge Graph ID @@
+/g/122tz_b4
@@ Property / Google Knowledge Graph ID: /g/122tz_b4 / rank @@
+Normal rank
@@ Property / image of function @@
+set of integers
@@ Property / image of function: set of integers / rank @@
+Normal rank
@@ Property / MathWorld ID @@
+FloorFunction
@@ Property / MathWorld ID: FloorFunction / rank @@
+Normal rank
@@ Property / MathWorld ID @@
+GreatestIntegerFunction
@@ Property / MathWorld ID: GreatestIntegerFunction / rank @@
+Normal rank
@@ Property / described by source @@
+ISO 80000-2:2019 Quantities and units — Part 2: Mathematics
+Normal rank
+section, verse, paragraph, or clause: 2-10.17
@@ Property / in defining formula @@
+ $\lfloor a\rfloor$ 
\lfloor a \rfloor
@@ Property / in defining formula: $\lfloor a\rfloor$ / rank @@
+Normal rank
@@ Property / in defining formula: $\lfloor a\rfloor$ / qualifier @@
+symbol represents: floor function
@@ Property / in defining formula @@
+ $\mathbb {Z}$ 
\mathbb{Z}
@@ Property / in defining formula: $\mathbb {Z}$ / rank @@
+Normal rank
@@ Property / in defining formula: $\mathbb {Z}$ / qualifier @@
+symbol represents: set of integers
@@ Property / different from @@
+integer part
@@ Property / different from: integer part / rank @@
+Normal rank
@@ Property / Treccani's Enciclopedia della Matematica ID @@
+funzione-floor
@@ Property / Treccani's Enciclopedia della Matematica ID: funzione-floor / rank @@
+Normal rank
+subject named as: funzione floor
+publication date: 2017Timestamp +2017-01-01T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 year
Before 0
After 0
-Timestamp
++2017-01-01T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+year
 Before
 After
@@ Property / ProofWiki ID @@
+Definition:Floor_Function
@@ Property / ProofWiki ID: Definition:Floor_Function / rank @@
+Normal rank
@@ Property / Metamath statement ID @@
+df-fl
@@ Property / Metamath statement ID: df-fl / rank @@
+Normal rank