Properties of Rational Multiplication

Related lectures (30)

Page 1 of 3

Showcases the use of assertions in Stainless to prove properties of fractions.

Covers the properties of rational numbers and introduces the concept of an ordered field in Q.

Covers the addition of fractions and properties of rational numbers, emphasizing associativity and summing fractions with the same denominator.

Covers the construction and properties of rational numbers, including fractions and equivalence, with proofs on commutativity.

Explores the group structure and isomorphism of elliptic curves, including inverses, associativity, and compactification to the torus.

Explores division and multiplication in rational numbers, emphasizing the concept of multiplying by the inverse.

Covers the concept of natural numbers, including properties like commutativity and associativity.

Covers addition properties and operations in the set of integers Z.

Covers commutative groups and their significance in cryptography.

Covers the basics of group theory, including definitions, examples, and isometries.