Formalism (deductive)

BSSN formalism

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).

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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++

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

BM4. Methods of Proof

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

Video thumbnail

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

Related pages

ADM formalism | Hamiltonian mechanics | Canonical coordinates | Scientific formalism