XSB is the name of a dialect of the Prolog programming language and its implementation developed at Stony Brook University in collaboration with the Katholieke Universiteit Leuven, the New University of Lisbon, Uppsala University and software vendor XSB, Inc. XSB extends Prolog with tabled resolution and HiLog (a standard extension of Prolog permitting limited higher-order logic programming). The open source XSB implementation includes an interface to the Java programming language. (Wikipedia).
Learn all about Xavix through an interview and demo from e3 2006.
From playlist Classic HowStuffWorks
AN ALGEBRAIC EXTRAVAGANZA! The integral 1/(x^3+1)
Merch :v - https://teespring.com/de/stores/papaflammy Help me create more free content! =) https://www.patreon.com/mathable Factoring denominator: https://youtu.be/0EincCQrG40 Completing the square: https://youtu.be/a_4rPMxZO_8 Natural logarithm integral: https://youtu.be/gGbL1dW4rSQ Inv
From playlist Integrals
Markus Aichhorn - LDA+DMFT Part I
PROGRAM: STRONGLY CORRELATED SYSTEMS: FROM MODELS TO MATERIALS DATES: Monday 06 Jan, 2014 - Friday 17 Jan, 2014 VENUE: Department of Physics, IISc Campus, Bangalore PROGRAM LINK : http://www.icts.res.in/program/MTM2014 The realistic description of materials with strong electron-electro
From playlist Strongly correlated systems: From models to materials
From playlist Double integrals
Ioan Bejenaru: Global well posedness for the Cubic Dirac equation in the critical space
The lecture was held within the framework of the (Junior) Hausdorff Trimester Program Harmonic Analysis and Partial Differential Equations.(08.08.2014)
From playlist HIM Lectures: Trimester Program "Harmonic Analysis and Partial Differential Equations"
Prof. Dr. Wilhelm Singhof: Maryam Mirzakhani - Ruhm und früher Tod einer Mathematikerin
Maryam Mirzakhani (1977 – 2017) erhielt als erste und bisher einzige Frau im Jahr 2014 die Fields-Medaille, eine der hochrangigsten Auszeichnungen im Bereich der Mathematik. Ihr Leben und ihre Karriere sowie die Geschichte der Fields-Medaille stehen im Fokus des Leipziger Gespräches zur M
From playlist Leipziger Gespräche zur Mathematik
Seminar In the Analysis and Methods of PDE (SIAM PDE): Monica Visan
Title: Determinants, Commuting Flows, and Recent Progress on Completely Integrable Systems Date: October 7, 2021, 11:30 am ET Speaker: Monica Visan, University of California, Los Angeles Abstract: We will survey a number of recent developments in the theory of completely integrable nonlin
From playlist Seminar In the Analysis and Methods of PDE (SIAM PDE)
Evolution of Cellular Complexity (Lecture 3) by Michael Lynch
PROGRAM FIFTH BANGALORE SCHOOL ON POPULATION GENETICS AND EVOLUTION (ONLINE) ORGANIZERS: Deepa Agashe (NCBS, India) and Kavita Jain (JNCASR, India) DATE: 17 January 2022 to 28 January 2022 VENUE: Online No living organism escapes evolutionary change, and evolutionary biology thus conn
From playlist Fifth Bangalore School on Population Genetics and Evolution (ONLINE) 2022
Jean-Yves Girard: Deux ou trois choses que je sais d’elle : la logique
HYBRID EVENT Recorded during the meeting Linear Logic Winter School" the January 28, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual
From playlist Logic and Foundations