The BSSN formalism is a formalism of general relativity that was developed by Thomas W. Baumgarte, Stuart L. Shapiro, Masaru Shibata and Takashi Nakamura between 1987 and 1999. It is a modification of the ADM formalism developed during the 1950s. The ADM formalism is a Hamiltonian formalism that does not permit stable and long-term numerical simulations. In the BSSN formalism, the ADM equations are modified by introducing auxiliary variables. The formalism has been tested for a long-term evolution of linear gravitational waves and used for a variety of purposes such as simulating the non-linear evolution of gravitational waves or the evolution and collision of black holes. (Wikipedia).
Quantum Mechanics -- a Primer for Mathematicians
Juerg Frohlich ETH Zurich; Member, School of Mathematics, IAS December 3, 2012 A general algebraic formalism for the mathematical modeling of physical systems is sketched. This formalism is sufficiently general to encompass classical and quantum-mechanical models. It is then explained in w
From playlist Mathematics
21 June 01Harald Pfeiffer Overview of current topics in numerical relativity
PROGRAM: NUMERICAL RELATIVITY DATES: Monday 10 Jun, 2013 - Friday 05 Jul, 2013 VENUE: ICTS-TIFR, IISc Campus, Bangalore DETAL Numerical relativity deals with solving Einstein's field equations using supercomputers. Numerical relativity is an essential tool for the accurate modeling of a wi
From playlist Numerical Relativity
Jose Antonio Font - Numerical analysis: binary neutron stars - IPAM at UCLA
Recorded 21 September 2021. Jose Antonio Font of the University of Valencia presents "Numerical analysis: binary neutron stars" at IPAM's Mathematical and Computational Challenges in the Era of Gravitational Wave Astronomy Tutorial. Abstract: Merging binary neutron stars are among the str
From playlist Tutorials: Math & Computational Challenges in the Era of Gravitational Wave Astronomy
Helvi Witek - Introduction to Numerical Relativity, Part 2 of 2 - IPAM at UCLA
Recorded 14 September 2021. Helvi Witek of the University of Illinois presents "Introduction to Numerical Relativity" at IPAM's Mathematical and Computational Challenges in the Era of Gravitational Wave Astronomy Tutorial. This is the second of two parts of Helvi's presentation. Abstract:
From playlist Tutorials: Math & Computational Challenges in the Era of Gravitational Wave Astronomy
Alberto Cattaneo: An introduction to the BV-BFV Formalism
Abstract: The BV-BFV formalism unifies the BV formalism (which deals with the problem of fixing the gauge of field theories on closed manifolds) with the BFV formalism (which yields a cohomological resolution of the reduced phase space of a classical field theory). I will explain how this
From playlist Topology
David Neilsen (4) -Introduction to numerical hydrodynamics
PROGRAM: NUMERICAL RELATIVITY DATES: Monday 10 Jun, 2013 - Friday 05 Jul, 2013 VENUE: ICTS-TIFR, IISc Campus, Bangalore DETAL Numerical relativity deals with solving Einstein's field equations using supercomputers. Numerical relativity is an essential tool for the accurate modeling of a wi
From playlist Numerical Relativity
Matrix Groups (Abstract Algebra)
Matrices are a great example of infinite, nonabelian groups. Here we introduce matrix groups with an emphasis on the general linear group and special linear group. The general linear group is written as GLn(F), where F is the field used for the matrix elements. The most common examples
From playlist Abstract Algebra
Wolfram Physics Project: Numerical Relativity, Gravitational Phenomena & Experimental Implications
This is a Wolfram Physics Project working session on numerical relativity, gravitational phenomena and experimental implications in the Wolfram Model. Begins at 3:12 Jonathan's paper: https://arxiv.org/abs/2102.09363 Originally livestreamed at: https://twitch.tv/stephen_wolfram Stay up-
From playlist Wolfram Physics Project Livestream Archive
Numerical relativity: Mathematical formulation by Harald Pfeiffer
PROGRAM: GRAVITATIONAL WAVE ASTROPHYSICS (ONLINE) ORGANIZERS : Parameswaran Ajith, K. G. Arun, Sukanta Bose, Bala R. Iyer, Resmi Lekshmi and B Sathyaprakash DATE: 18 May 2020 to 22 May 2020 VENUE: Online Due to the ongoing COVID-19 pandemic, the original program has been cancelled. Howe
From playlist Gravitational Wave Astrophysics (Online) 2020
Let's Learn Physics: The Gravity of Hamiltonian Mechanics
Last time, we went through a bunch of formalism to find a new way of doing classical mechanics which did not rely on our specific choice of coordinates, namely Hamiltonian mechanics. Now, we will see just how useful this formalism can be in simplifying physics problems!
From playlist Let's Learn (Classical) Physics: ZAP Physics Livestreams
Logic: The Structure of Reason
As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be
From playlist Logic & Philosophy of Mathematics
Linear Algebra for the Standard C++ Library
Linear algebra is a mathematical discipline of ever-increasing importance in today's world, with direct application to a wide variety of problem domains, such as signal processing, computer graphics, medical imaging, machine learning, data science, financial modeling, and scientific simula
From playlist C++
Live CEOing Ep 686: Language Design in Wolfram Language [Numerical GR Framework Review]
In this episode of Live CEOing, Stephen Wolfram discusses upcoming improvements and features to the Wolfram Language. If you'd like to contribute to the discussion in future episodes, you can participate through this YouTube channel or through the official Twitch channel of Stephen Wolfram
From playlist Behind the Scenes in Real-Life Software Design
Group Normalization (Paper Explained)
The dirty little secret of Batch Normalization is its intrinsic dependence on the training batch size. Group Normalization attempts to achieve the benefits of normalization without batch statistics and, most importantly, without sacrificing performance compared to Batch Normalization. htt
From playlist Papers Explained
Symmetric Groups (Abstract Algebra)
Symmetric groups are some of the most essential types of finite groups. A symmetric group is the group of permutations on a set. The group of permutations on a set of n-elements is denoted S_n. Symmetric groups capture the history of abstract algebra, provide a wide range of examples in
From playlist Abstract Algebra
Wolfram Physics Project: Solving the Einstein Equations & Other PDEs Tuesday, Mar. 9, 2021
This is a Wolfram Physics Project working session on solving the Einstein equations and other PDE's in the Wolfram Model. Begins at 1:18 Originally livestreamed at: https://twitch.tv/stephen_wolfram Stay up-to-date on this project by visiting our website: http://wolfr.am/physics Check ou
From playlist Wolfram Physics Project Livestream Archive
Lie Groups and Lie Algebras: Lesson 27 - Structure constants and an introduction to su(2,C)
Lie Groups and Lie Algebras: Lesson 27 - Introduction to su(2,C) In this lesson we begin by introducing the definition of the structure constants. The structure constants completely define the action of the algebra's bracket operation and we learn how. Then with the given basis matrices o
From playlist Lie Groups and Lie Algebras
Elliptic Curves - Lecture 16b - Formal groups (properties)
This video is part of a graduate course on elliptic curves that I taught at UConn in Spring 2021. The course is an introduction to the theory of elliptic curves. More information about the course can be found at the course website: https://alozano.clas.uconn.edu/math5020-elliptic-curves/
From playlist An Introduction to the Arithmetic of Elliptic Curves
Basic Methods: We note the different methods of informal proof, which include direct proof, proof by contradiction, and proof by induction. We give proofs that sqrt(2) is irrational and that there are infinitely many primes, among others.
From playlist Math Major Basics
Lec 12 | MIT 5.111 Principles of Chemical Science, Fall 2005
Lewis Diagrams (Prof. Sylvia Ceyer) View the complete course: http://ocw.mit.edu/5-111F05 License: Creative Commons BY-NC-SA More information at http://ocw.mit.edu/terms More courses at http://ocw.mit.edu
From playlist MIT 5.111 Principles of Chemical Science, Fall 2005