曲面隐式化是计算机辅助几何设计领域基本研究问题之一。1995年，Sederberg与报告人提出了曲面隐式化的一个崭新方法—动曲面方法。该方法将曲面隐式方程表示为一个紧凑的行列式，不仅比传统方法具有更高的效率，而且当曲面具有基点时结果更简洁。为使动曲面方法自动化，报告人与合作者进一步发展了曲面的μ基理论。本报告将介绍动曲面方法与μ基理论过去三十年来的研究进展，并给出未来研究方向的展望。