Semirings Courses and Certifications

Simons Institute

Constrained Optimization Over Semirings

Explore complexity of constraint optimization over semirings, focusing on OptConf problem. Discover complexity results for various semirings and potential for SAT solver-based algorithms.

• YouTube
• 29 minutes
• On-Demand
• Free Video

Simons Institute

An Introduction to Newton’s Method on Semirings

Explore Newton's method generalization for solving polynomial fixpoint equations on omega-continuous semirings, its applications, and characterization of Newton approximants to the fixpoint.

• YouTube
• 47 minutes
• On-Demand
• Free Video

Simons Institute

Consistency, Acyclicity, and Positive Semirings

Explore local vs. global consistency in probability distributions and relational databases, generalizing results using K-relations over positive semirings and acyclic hypergraphs.

• YouTube
• 38 minutes
• On-Demand
• Free Video

Instituto de Matemática Pura e Aplicada

Tropical Semirings and Curve Singularities

Delve into tropical semirings and curve singularities with Ethan Cotterill from UNICAMP, exploring the intersection of combinatorial methods with algebraic geometry and number theory.

• YouTube
• 54 minutes
• On-Demand
• Free Video

Institut des Hautes Etudes Scientifiques (IHES)

Combinatorics and Arithmetic for Physics - Special Days 2022

Explore advanced discrete mathematics and number theory applications in theoretical physics, covering renormalization, combinatorial structures, and computational methods.

• YouTube
• 14 hours 29 minutes
• On-Demand
• Free Video

Simons Institute

Algebraic Structures in Logic and Query Evaluation - Part 2

Explore advanced algebraic structures in logic and their applications to database query evaluation, building on fundamental concepts.

• YouTube
• 1 hour 5 minutes
• On-Demand
• Free Video

Simons Institute

Algebraic Structures in Logic and Query Evaluation - Part 1

Explore algebraic structures' role in logic and query evaluation, focusing on their applications in database theory and AI algorithms.

• YouTube
• 1 hour 6 minutes
• On-Demand
• Free Video

Simons Institute

Algebraic Structures in Logic and Query Evaluation - Part 4

Explore algebraic structures' role in logic and query evaluation, focusing on advanced concepts and their applications in database theory and AI.

• YouTube
• 1 hour 8 minutes
• On-Demand
• Free Video

Joint Mathematics Meetings

Asymptotic and Multidimensional Asymptotic Classes of Finite Structures

Explore asymptotic classes in finite structures, from motivation to multidimensional applications, with insights on measurable structures and ultraproducts in this advanced mathematical lecture.

• YouTube
• 51 minutes
• On-Demand
• Conference Talk

ACM SIGPLAN

Formalizing DRAGSTERS - Compiling Computations for Semiring Value Multiplication and Aggregation

Explore the impact of formal methods on compiling computations involving semiring value multiplication and aggregation in positive algebra over K-relations.

• YouTube
• 19 minutes
• On-Demand
• Free Video

Simons Institute

Any-k: Ranked Enumeration for Dynamic Programming

Explore efficient algorithms for ranked enumeration in dynamic programming, focusing on semiring-based optimization problems and their applications to database query evaluation.

• YouTube
• 32 minutes
• On-Demand
• Free Video

Simons Institute

Logic and Algebras for Distributed Computing - Applications and Open Questions

Exploring connections between distributed computing and formal program representations, unifying logic and algebra-based approaches for practical language design and theoretical proofs.

• YouTube
• 1 hour 1 minute
• On-Demand
• Free Video

AI Doctoral Academy

Tropical Algebra and Geometry for Machine Learning and Optimization

Discover tropical algebra and geometry applications in machine learning and optimization through advanced mathematical frameworks and computational techniques.

• YouTube
• 3 hours 11 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Formalizing Polynomial Laws and the Universal Divided Power Algebra

Explore formalization of Roby's universal divided power algebra in Lean/Mathlib, covering polynomial laws and graded structures for crystalline cohomology applications.

• YouTube
• 20 minutes
• On-Demand
• Free Video

Centre de recherches mathématiques - CRM

Vergleichsstellensätze for Ordered Semirings - Part II

Entdecken Sie fortgeschrittene mathematische Konzepte wie Vergleichsstellensätze für geordnete Halbringe und deren Anwendungen in der Quanteninformationstheorie und Tensoranalyse.

• YouTube
• 54 minutes
• On-Demand
• Free Video