Doctrines for Formal Mathematics
Explore formal mathematics through doctrines, examining their applications and implications for mathematical foundations and category theory.
How to Use a Protractor - Measuring and Drawing Angles
Learn to measure and draw angles using a protractor with step-by-step guidance. Perfect for beginners or those needing a refresher on this essential math skill.
Insights into Search Interfaces for Mathematicians
Explore innovative search interfaces tailored for mathematicians, enhancing research efficiency and knowledge discovery in mathematical domains.
Uncovering New Open Source Communities Graphically
Explore graph theory techniques to visualize and analyze open source ecosystems, uncovering emerging communities and their relationships to established projects.
RLBot - Custom Opensource AI for Rocket League
Explore RLBot: Create AI bots for Rocket League, enhancing math and ML skills while joining a vibrant community of developers and competitors.
The Linear Algebra Mapping Problem and How Programming Languages Solve It
Explore the Linear Algebra Mapping Problem and its solutions in programming languages. Gain insights into high-performance computing and matrix operations for scientific applications.
Integral Transforms through Mellin-Barnes Integration
Explore special functions, Mellin-Barnes integration, and integral transforms using advanced computational techniques for math and physical science applications.
The Art of Problem Solving in Wolfram Language 2023
Explore problem-solving in geometry, combinatorics, number theory, and algebra using Wolfram Language. Learn to connect insights with expressive examples.
Beyond the Basics of Graphs and Networks
Explore advanced concepts in graph theory and network analysis, delving into complex structures and algorithms for deeper insights into interconnected systems.
Wolfram Language for Python Users: Enhancing Python Workflows
Explore how Wolfram Language and Python can work together, enhancing computational capabilities in data science and mathematics. Learn unique approaches and benefits for solving practical problems.
The Power of Abstraction Through History - Episode 7
Explore the role of abstraction in human progress and its unique human capability with Jon and Conrad in this thought-provoking discussion.
Mathematical Games - Ordering and Canonical Forms - Episode 21
Explore mathematical games and puzzles involving ordering and canonical forms with Ed Pegg Jr. in this engaging presentation on mathematical concepts and problem-solving techniques.
Mathematical Games - Icosahedra and Other Polyforms - Episode 20
Explore mathematical games and puzzles involving icosahedra and other polyforms with Ed Pegg Jr. Discover fascinating geometric concepts and their applications.
Mathematical Games - Space-Filling Curves - Episode 16
Explore mathematical games and puzzles involving space-filling curves with Ed Pegg Jr. in this engaging 55-minute episode.
Graph Your Game: Strategic Playbooks Unveiled - Mapping Lacrosse Tactics
Explore strategic playbooks in lacrosse using graph theory and Golang. Learn to visualize player and team dynamics, implement knowledge graphs, and leverage CypherQL for data analysis.
Causal Inference in Python: From Theory to Practice
Explore causal inference in Python, moving beyond association to causation. Learn graphical causal models, do-calculus, and apply the causal data science pipeline to retail problems using DoWhy library.
Uncertainty Quantification, Software Ecosystems, and Infrastructure Resilience - Technical Talk
Explore uncertainty quantification, exascale software ecosystems, and infrastructure resilience in this technical talk by Sarah Osborn at WiDS Livermore 2024.
Progress in Graphs and Networks
Explore advancements in graph theory and network analysis, uncovering applications in various fields and enhancing problem-solving skills.
Everything to Know About Mellin-Barnes Integrals - Part 1
Explore Mellin-Barnes Integrals with Oleg Marichev: convert special functions, evaluate integrals, and understand existence conditions in this comprehensive mathematical deep dive.
Modeling X with Partial Differential Equations
Explore advanced PDE modeling techniques using NDSolve and finite element methods for engineering applications, including axisymmetric regions and hyperelastic solid mechanics.
Using Graph Rewriting to Study Discrete Lattice Systems - Wolfram Student Podcast Episode 3
Explore graph rewriting techniques for studying topological invariants in finite lattice systems and their applications to physical phenomena.