BSSN formalism
بی ایس ایس این رسمی نظام (بوم گارٹے، شاپیرو، شیباٹا، ناکامورا رسمی نظام) عمومی اضافیت کی ایک رسمی نظام ہے جسے تھامس ڈبلیو بوم گارٹے، اسٹیورٹ ایل شاپیرو، مسارو شیباٹا اور تاکاشی ناکامورا نے 1987 اور 1999 کے درمیان تیار کیا تھا۔ یہ 1950 کی دہائی کے دوران تیار کردہ اے ڈی ایم رسمی نظام کی ایک ترمیم ہے۔ اے ڈی ایم رسمییت ایک ہیملٹنین رسمییت ہے جو مستحکم اور طویل مدتی عددی تخروپن کی اجازت نہیں دیتی ہے۔ بی ایس ایس این رسمی نظام میں، اے ڈی ایم مساوات میں معاون متغیرات متعارف کروا کر ترمیم کی جاتی ہے۔ فارملزم کا تجربہ لکیری کشش ثقل کی لہروں کے طویل مدتی ارتقاء کے لیے کیا گیا ہے اور اسے مختلف مقاصد کے لیے استعمال کیا جاتا ہے جیسے کشش ثقل کی لہروں کے غیر لکیری ارتقاء کی تقلید کرنا یا بلیک ہولز کے ارتقاء اور تصادم۔ اے ڈی ایم فارملزم بھی دیکھیں کینونکل کوآرڈینیٹس کینونکل کشش ثقل ہیملٹنین میکانکس حوالہ جات عمومی اضافیت میں ریاضیاتی طریقے فارملزم (کٹوتی)