Abstract algebra and type classesCovers abstract algebra concepts using type classes in Scala, including defining monoids, generalizing reduce functions, and typeclass laws.
Semigroups of Linear OperatorsExplores semigroups of linear operators, contraction semigroups, infinitesimal generator, and Riemann integral properties.
Formal Languages: ConceptsCovers the basics of formal languages, including alphabets, words, and languages, as well as operations like concatenation and reversal.
Formal Languages: ConceptsCovers the fundamental concepts of formal languages, including alphabets, words, languages, and word equality.
Semi-groups of ContractionsExplores semi-groups of contractions, discussing uniqueness theorems, maximum principles, and the infinitesimal generator.
Continuous Time Markov ChainsIntroduces continuous time Markov chains on a finite state space with exponential waiting times and jump probabilities.
