Komputasi Simbolik adalah bidang ilmu komputer yang menggabungkan matematika dan ilmu komputer untuk memecahkan masalah. Ini melibatkan konsep-konsep seperti representasi simbolik, abstraksi dan otomatisasi. Metode komputasi simbolik dapat digunakan untuk memanipulasi simbol dan data numerik, menyelesaikan persamaan matematika, dan menganalisis algoritma.
Komputasi Simbolik menggunakan kombinasi matematika, logika, ilmu komputer, dan kecerdasan buatan (AI). Kombinasi ini tidak hanya mengeksplorasi aspek teoretis dari masing-masing disiplin ilmu, tetapi juga sisi praktisnya. Komputasi Simbolik memungkinkan peneliti menjawab pertanyaan atau masalah yang sangat kompleks di lebih dari satu domain ilmiah.
Komputasi simbolik mencakup beberapa bidang seperti pembuktian teorema komputasi, analisis simbolik persamaan dan rumus, penalaran otomatis, dan sistem aljabar komputer. Ini juga melibatkan deduksi otomatis, pemrograman logika, integrasi simbolik, dan integrasi simbolik/numerik.
Dalam Komputasi Simbolik, simbol digunakan untuk mewakili operasi dan batasan simbolik digunakan untuk mengontrol operasi selanjutnya. Batasan simbolis sering digunakan untuk mengoptimalkan hasil. Komputasi semacam ini memungkinkan manusia yang berpengetahuan untuk menerapkan pengetahuannya untuk menggunakan manipulasi simbolik untuk membuktikan sifat matematika tertentu.
Komputasi Simbolik digunakan di sejumlah bidang seperti fisika dan kosmologi, ilmu biologi, pendidikan, teknik, teori permainan, sistem dinamis, keuangan komputasi, dan kecerdasan buatan (AI). Pengetahuan yang digunakan dan alat yang digunakan dalam komputasi simbolik dapat diterapkan dalam berbagai cara. Beberapa kegunaan praktis dari komputasi simbolik meliputi masalah optimasi, analisis matematika, sintesis rangkaian, pemrosesan bahasa, dan fungsi komputasi.
