กลับไปหน้าบทความ

อ่าน 1 นาที

ฟอร์ม (ระบบการจัดการเชิงสัญลักษณ์)

FORMเป็นระบบจัดการเชิงสัญลักษณ์ โดยจะอ่านไฟล์ข้อความที่มีคำจำกัดความของนิพจน์ทางคณิตศาสตร์ รวมถึงคำสั่งที่บอกวิธีการจัดการนิพจน์เหล่านี้ ผู้เขียนดั้งเดิมคือJos...

ฟอร์ม (ระบบการจัดการเชิงสัญลักษณ์)

รูปร่าง
นักพัฒนาโจส เวอร์มาเซเรนและคณะ
ปล่อย1989
เวอร์ชันเสถียร
4.3.1
เขียนเป็นซี
ระบบปฏิบัติการลินุกซ์ , แมคโอเอสเอ็กซ์ , วินโดวส์
พิมพ์ซอฟต์แวร์คณิตศาสตร์
ใบอนุญาตจีพีแอลวี3
เว็บไซต์www.nikhef.nl/~form/
ที่เก็บข้อมูลgithub.com/vermaseren/form

FORMเป็นระบบจัดการเชิงสัญลักษณ์ โดยจะอ่านไฟล์ข้อความที่มีคำจำกัดความของนิพจน์ทางคณิตศาสตร์ รวมถึงคำสั่งที่บอกวิธีการจัดการนิพจน์เหล่านี้ ผู้เขียนดั้งเดิมคือJos VermaserenจากNikhefสถาบันฟิสิกส์อนุภาคย่อยของเนเธอร์แลนด์ FORM ใช้กันอย่างแพร่หลายในชุมชนฟิสิกส์อนุภาคเชิงทฤษฎี แต่ไม่ได้จำกัดเฉพาะการใช้งานในสาขานี้เท่านั้น[ 1 ]

คุณสมบัติ

  • นิยามของนิพจน์ทางคณิตศาสตร์ที่ประกอบด้วยวัตถุต่างๆ (สัญลักษณ์ ฟังก์ชัน ดัชนี ฯลฯ) พร้อมด้วยการดำเนินการทางคณิตศาสตร์พื้นฐาน
  • นิพจน์ทางคณิตศาสตร์ที่มีความยาวไม่จำกัด (จำกัดเฉพาะพื้นที่ดิสก์)
  • การประมวลผลแบบมัลติเธรด เวอร์ชันแบบขนานสำหรับคลัสเตอร์คอมพิวเตอร์
  • การจับคู่และแทนที่รูปแบบที่มีประสิทธิภาพ
  • การคำนวณร่องรอยอย่างรวดเร็ว โดยเฉพาะเมทริกซ์แกมมา
  • ฟังก์ชันทางคณิตศาสตร์ในตัว
  • ส่งออกผลลัพธ์ในรูปแบบต่างๆ (ข้อความธรรมดา, โค้ด Fortran , โค้ด Mathematica )
  • การสื่อสารภายนอกกับโปรแกรมซอฟต์แวร์อื่นๆ

ตัวอย่างการใช้งาน

ไฟล์ข้อความที่มี

 สัญลักษณ์ x,y; โลคอล myexpr = (x+y)^3; Id y = x; พิมพ์; .จบ 

จะสั่งให้FORMสร้างนิพจน์ชื่อmyexprแทนที่สัญลักษณ์yด้วยxและพิมพ์ผลลัพธ์ลงบนหน้าจอ ผลลัพธ์จะแสดงดังนี้

 มายเอ็กซ์พีอาร์ = 8*x^3; 

ประวัติศาสตร์

FORMเริ่มต้นพัฒนาในปี 1984 โดยเป็นโปรแกรมต่อยอดจากSchoonschipซึ่งเป็นโปรแกรมคำนวณพีชคณิตที่พัฒนาโดย M. Veltmanเริ่มแรกเขียนด้วยภาษาFORTRAN 77แต่ได้เขียนใหม่เป็นภาษา Cก่อนที่จะออกเวอร์ชัน 1.0 ในปี 1989 เวอร์ชัน 2.0 ออกวางจำหน่ายในปี 1991 และเวอร์ชัน 3.0 ของFORMได้รับการเผยแพร่ในปี 2000 และเปิดให้ใช้งานแบบโอเพนซอร์สเมื่อวันที่ 27 สิงหาคม 2010 ภายใต้ใบอนุญาต GPL

การประยุกต์ใช้ในฟิสิกส์พลังงานสูงและสาขาอื่นๆ

  • Mincer : ชุดซอฟต์แวร์ที่ใช้FORMในการคำนวณไดอะแกรมตัวแพร่แบบไร้มวลที่มีลูปได้สูงสุดถึงสามลูป
  • FORMเป็นเครื่องมือสำคัญในการคำนวณฟังก์ชันเบตาQCD ลำดับ สูง
  • โครงสร้างทางคณิตศาสตร์ของค่าซีตาหลายค่าได้รับการวิจัยด้วยโปรแกรมFORM เฉพาะ [ 2 ]
  • โปรแกรม FormCalc ซึ่งใช้กันอย่างแพร่หลายในวงการฟิสิกส์เพื่อคำนวณแผนภาพ Feynman นั้นสร้างขึ้นบนพื้นฐานของFORM
  • เว็บไซต์อย่างเป็นทางการ
  • คู่มือการใช้งานแบบฟอร์มออนไลน์
  • เดเบียน — รายละเอียดของรูปแบบแพ็กเกจ
  • แพ็คเกจลินุกซ์: ArchLinux , Debian , Gentoo , Ubuntu
  • Hippel, Matt von (2022-12-01). "โปรแกรมคอมพิวเตอร์สำคัญสำหรับฟิสิกส์อนุภาคเสี่ยงต่อการล้าสมัย" . Quanta Magazine .
ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=FORM_(symbolic_manipulation_system)&oldid=1329883526 "

สรุปเนื้อหา

ข้อมูลสำคัญจากบทความ

ข้อมูลสำคัญเกี่ยวกับ ฟอร์ม (ระบบการจัดการเชิงสัญลักษณ์)

FORMเป็นระบบจัดการเชิงสัญลักษณ์ โดยจะอ่านไฟล์ข้อความที่มีคำจำกัดความของนิพจน์ทางคณิตศาสตร์ รวมถึงคำสั่งที่บอกวิธีการจัดการนิพจน์เหล่านี้ ผู้เขียนดั้งเดิมคือJos...

คุณสมบัติ

นิยามของนิพจน์ทางคณิตศาสตร์ที่ประกอบด้วยวัตถุต่างๆ (สัญลักษณ์ ฟังก์ชัน ดัชนี ฯลฯ

ประวัติศาสตร์

FORM เริ่มต้นพัฒนาในปี 1984 โดยเป็นโปรแกรมต่อยอดจาก Schoonschip ซึ่งเป็นโปรแกรมคำนวณพีชคณิตที่พัฒนาโดย M. Veltman เริ่มแรกเขียนด้วยภาษา FORTRAN 77 แต่ได้เขียนใหม่เป็น ภาษา C ก่อนที่จะออกเวอร์ชัน 1.0 ในปี 1989 เวอร์ชัน 2.0 ออกวางจำหน่ายในปี 1991 และเวอร์ชัน 3.

การประยุกต์ใช้ในฟิสิกส์พลังงานสูงและสาขาอื่นๆ

Mincer : ชุดซอฟต์แวร์ที่ใช้ FORM ในการคำนวณ ไดอะแกรมตัวแพร่แบบไร้มวล ที่มีลูปได้สูงสุดถึงสามลูป FORM เป็นเครื่องมือสำคัญในการคำนวณ ฟังก์ชันเบตา QCD ลำดับ สูง โครงสร้างทางคณิตศาสตร์ของ ค่าซีตาหลายค่า ได้รับการวิจัยด้วยโปรแกรม FORM เฉพาะ [ 2 ] โปรแกรม FormCalc...