Login to filter by course Login to filter by course Reset
Associative Operations: FundamentalsCovers associative and commutative operations in parallel programming, using mathematical examples and discussing challenges in preserving associativity.
Lie Algebra: Group TheoryExplores Lie Algebra's connection to Group Theory through associative operations and Jacobi identities.
Group Theory BasicsIntroduces the basics of group theory, including operations, properties, and Lie groups.
Fold Reduce OperationsExplores fold (reduce) operations in parallel programming using Scala, covering associative operations, expression trees, parallel reduction, and array reduction.
Q is a FieldCovers the properties of rational numbers and introduces the concept of an ordered field in Q.
Purely Functional Priority QueueCovers optimal purely functional priority queues, Scala implementation, Stainless integration, operations properties, and binomial queues.
Natural NumbersCovers the concept of natural numbers, including properties like commutativity and associativity.