การรวมและการกำจัดแบบเกาส์เซียน

ไม่มีใครรู้ถึงการอ้างอิงที่สะกดการเชื่อมต่อระหว่างอัลกอริทึมการรวมและการกำจัดแบบเกาส์อย่างแม่นยำหรือไม่ ฉันสนใจเป็นพิเศษในความสัมพันธ์ระหว่างการแทนที่แบบสามเหลี่ยมและการแยกย่อย LU

เวย์นไนเดอร์และฌอง Gallier พูดถึงการเปรียบเทียบนี้ในการผ่านในกระดาษของพวกเขา, ลำดับที่สูงกว่าความสามัคคีมาเยือน: ชุดสมบูรณ์ของแปลง

ฉันไม่พิจารณาคำตอบนี้ ฉันใช้กล่องคำตอบในทางที่ผิดเพื่อพิมพ์ความคิดเห็น

มีความเข้มงวดในการที่ยุคลิด GCD ขั้นตอนวิธีการกำจัดแบบเกาส์, อัลกอริทึม Buchberger และ Knuth-ดิกส์ในรูปแบบลำดับที่เข้มงวดของภาพรวมและทุกกรณีของสิ่งที่เรียกว่าเป็นขั้นตอนวิธีการเสร็จสิ้น นอกจากนี้ยังมีความสัมพันธ์ที่ใกล้ชิดระหว่างอัลกอริธึมเหล่านี้และความละเอียดในเชิงตรรกะ ฉันไม่ทราบการอ้างอิงที่ดีสำหรับเรื่องนี้ แต่ฉันได้เห็นความจริงที่กล่าวถึงบ่อยมาก สิ่งเหล่านี้อาจช่วยได้

1. ประวัติความเป็นมาและคุณสมบัติพื้นฐานของขั้นตอนการจับคู่ที่สำคัญ / เสร็จสิ้น Bruno Buchberger, 1987
2. ระบบลดการยอมรับในคณิตศาสตร์สัญลักษณ์ฟรานซ์เคลอร์ Springer Link

แจ้งให้เราทราบหากคุณพบการอ้างอิงที่ดีกว่า