In calculus, symbolic integration is the problem of finding a formula for the antiderivative, or indefinite integral, of a given function f(x), i.e. to find a differentiable function F(x) such that
ในแคลคูลัสรวมสัญลักษณ์ที่เป็นปัญหาในการหาสูตรสำหรับปฏิยานุพันธ์หรือไม่แน่นอนหนึ่งของฟังก์ชัน f ที่กำหนด (x) คือการหาอนุพันธ์ได้ฟังก์ชั่น F (x) ดังกล่าวว่า
ในแคลคูลัส , รวมสัญลักษณ์ที่เป็นปัญหาของการหาสูตรสำหรับปฏิยานุพันธ์หรืออินทิกรัลไม่จำกัดเขต เป็นฟังก์ชัน f ( x ) ได้ คือ เพื่อหาฟังก์ชัน Differentiable f ( x ) เช่น