Section 2-1022 entries
2-10.18
ceil
https://metanorma.github.io/isq-smart/math/part-2-10/t2-10.18 urn:iso:std:iso:80000:-2:ed-2:en:item:2-10.18
ISQ Identifiers
ISO
urn:iso:std:iso:80000:-2:ed-2:en:item:2-10.18IEC
urn:iec:std:iec:80000-2:2019:::item:2-10.18Designations
ENceil
FRpartie supérieure
Symbol
Notation systems
AsciiMath
ceil(a)LaTeX
{\lceil a \rceil}Definition
EN
ceil , + the least integer greater than or equal to the real number
FR
partie supérieure de , ceil , + plus petit nombre entier supérieur ou égal au nombre réel
Notes
EN
"ceil" is an abbreviation of the English word "ceiling".
[example] ====
====
FR
«ceil» est une abréviation du mot anglais «ceiling».
[example] ====
====
Ontology
Class Hierarchy
A mathematical concept as defined in ISO/IEC 80000 Part 2.
Instance IRI
isq:t2-10.18Properties
| Property | Value |
|---|---|
| rdf:type | |
| dcterms:identifier | 2-10.18 |
| skosxl:prefLabel | "ceil"@en |
| skosxl:altLabel | "ceil(a)"@en |
| skos:definition | ceil stem:[a], +
the least integer greater than or equal to the real number stem:[a]
|
| skos:note | "ceil" is an abbreviation of the English word "ceiling".
[example]
====
stem:[ceil(2,4) = 3]
stem:[ceil(-2,4) = -2]
==… |
| smart:hasBindingnessType | |
| dcterms:isPartOf |