Composite data types | Type theory | Data types
In functional programming, a generalized algebraic data type (GADT, also first-class phantom type, guarded recursive datatype, or equality-qualified type) is a generalization of parametric algebraic data types. (Wikipedia).
What are the Types of Numbers? Real vs. Imaginary, Rational vs. Irrational
We've mentioned in passing some different ways to classify numbers, like rational, irrational, real, imaginary, integers, fractions, and more. If this is confusing, then take a look at this handy-dandy guide to the taxonomy of numbers! It turns out we can use a hierarchical scheme just lik
From playlist Algebra 1 & 2
Algebraic Structures: Groups, Rings, and Fields
This video covers the definitions for some basic algebraic structures, including groups and rings. I give examples of each and discuss how to verify the properties for each type of structure.
From playlist Abstract Algebra
AlgTopReview: An informal introduction to abstract algebra
This is a review lecture on some aspects of abstract algebra useful for algebraic topology. It provides some background on fields, rings and vector spaces for those of you who have not studied these objects before, and perhaps gives an overview for those of you who have. Our treatment is
From playlist Algebraic Topology
Data Science, Machine Learning, and AI: What's the Difference?
In this video, I talk about the similarities and differences between Data Science, Machine Learning, and Artificial intelligence. #DataScience #MachineLearning #AI kennethjee.com https://github.com/PlayingNumbers https://medium.com/@kenneth.b.jee Data Science - An ensemble field that c
From playlist Data Science
C07 Homogeneous linear differential equations with constant coefficients
An explanation of the method that will be used to solve for higher-order, linear, homogeneous ODE's with constant coefficients. Using the auxiliary equation and its roots.
From playlist Differential Equations
23 Algebraic system isomorphism
Isomorphic algebraic systems are systems in which there is a mapping from one to the other that is a one-to-one correspondence, with all relations and operations preserved in the correspondence.
From playlist Abstract algebra
Introductory coverage of fundamental data structures. Part of a larger series teaching programming. Visit http://codeschool.org
From playlist Data Structures
Number theory Full Course [A to Z]
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure #mathematics devoted primarily to the study of the integers and integer-valued functions. Number theorists study prime numbers as well as the properties of objects made out of integers (for example, ratio
From playlist Number Theory
Sets and other data structures | Data Structures in Mathematics Math Foundations 151
In mathematics we often want to organize objects. Sets are not the only way of doing this: there are other data types that are also useful and that can be considered together with set theory. In particular when we group objects together, there are two fundamental questions that naturally a
From playlist Math Foundations
Rinat Kedem: From Q-systems to quantum affine algebras and beyond
Abstract: The theory of cluster algebras has proved useful in proving theorems about the characters of graded tensor products or Demazure modules, via the Q-system. Upon quantization, the algebra associated with this system is shown to be related to a quantum affine algebra. Graded charact
From playlist Mathematical Physics
Why Algebraic Data Types Are Important
Strong static typing detects a lot of bugs at compile time, so why would anyone prefer to program in JavaScript or Python? The main reason is that type systems can be extremely complex, often with byzantine typing rules (C++ comes to mind). This makes generic programming a truly dark art.
From playlist Functional Programming
Toward Higher Inductive Types - Michael Shulman
Michael Shulman University of California, San Diego; Member, School of Mathematics November 14, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
Joel Kamnitzer - Symplectic Resolutions, Coulomb Branches, and 3d Mirror Symmetry 5/5
In the 21st century, there has been a great interest in the study of symplectic resolutions, such as cotangent bundles of flag varieties, hypertoric varieties, quiver varieties, and affine Grassmannian slices. Mathematicians, especially Braden-Licata-Proudfoot-Webster, and physicists obser
From playlist 2021 IHES Summer School - Enumerative Geometry, Physics and Representation Theory
Affine Springer Fiber and Representation Theory of W algebra by Dan Xie
PROGRAM : QUANTUM FIELDS, GEOMETRY AND REPRESENTATION THEORY 2021 (ONLINE) ORGANIZERS : Aswin Balasubramanian (Rutgers University, USA), Indranil Biswas (TIFR, india), Jacques Distler (The University of Texas at Austin, USA), Chris Elliott (University of Massachusetts, USA) and Pranav Pan
From playlist Quantum Fields, Geometry and Representation Theory 2021 (ONLINE)
David Meyer (1/30/18): Some algebraic stability theorems for generalized persistence modules
From an algebraic point of view, generalized persistence modules can be interpreted as finitely-generated modules for a poset algebra. We prove an algebraic analogue of the isometry theorem of Bauer and Lesnick for a large class of posets. This theorem shows that for such posets, the int
From playlist AATRN 2018
Geoffroy Horel - Knots and Motives
The pure braid group is the fundamental group of the space of configurations of points in the complex plane. This topological space is the Betti realization of a scheme defined over the integers. It follows, by work initiated by Deligne and Goncharov, that the pronilpotent completion of th
From playlist Summer School 2020: Motivic, Equivariant and Non-commutative Homotopy Theory
Machine- Learning the Landscape (Lecture 1) by Yang-Hui He
PROGRAM KAVLI ASIAN WINTER SCHOOL (KAWS) ON STRINGS, PARTICLES AND COSMOLOGY (ONLINE) ORGANIZERS Francesco Benini (SISSA, Italy), Bartek Czech (Tsinghua University, China), Dongmin Gang (Seoul National University, South Korea), Sungjay Lee (Korea Institute for Advanced Study, South Korea
From playlist Kavli Asian Winter School (KAWS) on Strings, Particles and Cosmology (ONLINE) - 2022