ISQ
7 / 22
2-10.7

sum of

URNurn:iso:std:iso:80000:-2:ed-2:en:item:2-10.7
Download RDF.jsonld.ttl
https://metanorma.github.io/isq-smart/math/part-2-10/t2-10.7
urn:iso:std:iso:80000:-2:ed-2:en:item:2-10.7
ISQ Identifiers
ISO
urn:iso:std:iso:80000:-2:ed-2:en:item:2-10.7
IEC
urn:iec:std:iec:80000-2:2019:::item:2-10.7
Designations
ENsum of
FRsomme de
Symbol
∑ i = 1 n a i
Notation systems
AsciiMath
sum_(i=1)^n a_i
LaTeX
\sum_{i = 1}^{n} a_{i}

Definition

EN

a 1 + a 2 + … + a n , + sum of a 1 , a 2 , … , a n

FR

a 1 + a 2 + … + a n , + somme de a 1 , a 2 , … , a n

Notes

EN

The notations ∑ i = 1 n , ∑ i a i , ∑ i a i and ∑ a i are also used.

FR

Les notations ∑ i = 1 n , ∑ i a i , ∑ i a i et ∑ a i sont aussi utilisées.

Ontology

Class Hierarchy

A mathematical concept as defined in ISO/IEC 80000 Part 2.

Instance IRI

isq:t2-10.7
PropertyValue
rdf:type
dcterms:identifier
2-10.7
skosxl:prefLabel
"sum of"@en
skosxl:altLabel
"sum_(i=1)^n a_i"@en
skos:definition
stem:[a_1 + a_2 + ... + a_n], + sum of stem:[a_1, a_2, ..., a_n]
skos:note
The notations stem:[sum_(i=1)^n], stem:[sum_i a_i], stem:[sum_i a_i] and stem:[sum a_i] are also used.
smart:hasBindingnessType
dcterms:isPartOf