WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Addition

Revision #479 → #986 · back to history

addedAddition7aba760b0d46
added3 + 2 = 5 apples33c62343fe7b
addedCommutativity of addition (informal)55fee75937b2
addedAssociativity of addition (informal)e06c18d27e4c
addedAdding 1 is counting / successor2f15c45d9224
addedAddition of 0 leaves number unchanged64b21c3870dc
addedPlus sign and equals sign notation37f987d03092
addedMixed number notation60dd82ccde19
addedTerms / addends / summands461fdbae7a9b
addedAugend7f84e6482fef
addedSummationd5332e24daec
addedSeries (infinite summation)63d15d476026
addedCapital sigma notation227b76e1c087
addedAddition as combining sets206526f2d2b8
addedAddition as extending a length6a3f547f4686
addedUnary addition operationec446a811e58
addedCommutative law of addition3dd2e7530748
addedAssociative law of addition07a2eb381f07
addedAdditive identity (zero)dfcc42108002
addedSuccessor and addition as iterated succession3a275b15180d
addedSuccessor example: 6 + 2 = 8bfb33ef0c89c
addedAddition requires common units985d662eb636
addedMilliliter additionca803b824a1c
addedFeet plus inches6cd3fa592853
addedCarry example 59 + 271e28fe0918b8
addedStandard algorithm for multidigit addition614a92b85973
addedAddition of decimal fractionsde9445e39adc
addedDecimal addition 45.1 + 4.34aa1ac68387e9
addedAddition in scientific notationb147a250e244
addedBinary addition with carrying74a789c786bc
addedCarrying in positional basesdd768d739f45
addedAddition by cardinality of disjoint union8a5bde68f62b
addedRecursive definition of addition21a31ee30973
addedDedekind's proof of associativity/commutativity1547d90a3184
addedAddition of integers by casesdaba662d1eb9
addedInteger addition: −6 + 4 = −2ebe441a2c5d9
addedIntegers as equivalence classes of pairsdf537aefc1ed
addedComponent-wise addition of integer pairs3d8fb80a1380
addedAddition of rational numbers1bd655e3647d
addedAddition of fractions with same denominator5a694ce7510f
addedCommutativity and associativity of rational addition76a4a04646e5
addedAddition of Dedekind cuts494ef5045d20
addedAddition of Cauchy sequences1f85e35e1fe8
addedAddition of complex numbersc43ba5babb2a
addedParallelogram interpretation of complex addition720a19e26328
addedAbelian group addition4e577d2e86ad
addedVector additionbe8e82b9cbf0
addedMatrix addition8c575dce48ac
addedModular arithmetic addition4d622e361ad0
addedIntegers modulo 2 as XOR725032308b97
addedAngle addition modulo 2π391baeb85826
addedAddition in abstract algebra5f4a64791765
addedLinear combinations72a5f140af75
addedOrdinal and cardinal additionf7d3d32f4059
addedNon-commutativity of ordinal additionf4c0410d562b
addedCommutativity of cardinal addition3d54ed29280b
addedCoproduct as generalization of additionf715a6ecc146
addedSubtraction as addition of inverse561ca32f59ac
addedMultiplication as repeated addition267427efea9a
addedExponential exchanges addition and multiplication25f98c941077
addedDistributivity defines a ring46eab2c4e3d7
addedRight distributivity of division over additione3bbb2ac478a
addedDivision not left distributivea0f2b1195cfc
addedMax approximates sum for different magnitudes51508aaa00f8
addedCardinal sum equals greater of two infinite cardinals4fec564209ab
addedAddition distributes over max7da60a30d030
addedTropical addition / multiplicationd721b5a42ff2
addedTropical addition via logarithm limitf97b9fa6c491
addedConvolution as addition of random variables26fa627b4879