符号计算已经渗透到组合数学的多个领域，在其中发挥着重要作用。我们将通过一些例子展示符号计算方法在组合中的一些应用。

我们首先关注符号求和问题。我们将从经典的Gosper算法和Zeilberger算法出发，介绍该符号求和的基本思想和方法。然后我们介绍该领域的一些新进展，包括多项式递归序列的求和问题、多重和问题等。

其次，我们将介绍分拆等式的机器证明。我们将以Ramanujan同余式为例，给出它的Grobner基证明。我们也将给出其基于模形式理论的证明，并介绍该方向的一项新进展。

最后，我们将展示吴方法在组合计数问题中的一个应用以及柱形代数分解在组合不等式证明中的应用。