Symbolic computation is a field of computer science and mathematics that focuses on the manipulation of mathematical expressions in symbolic form rather than numerical form. It enables exact solutions and manipulations, which are crucial in areas like algebra, calculus, and formal verification of algorithms.