Characteristic set

From Wikipedia, the free encyclopedia

This article may require cleanup to meet Wikipedia's quality standards. Please improve this article if you can. (September 2007)

The mathematical concept of a characteristic set was discovered in the late forties by J.F. Ritt. In the late seventies, the Chinese mathematician Wen-Tsun Wu specialized it with modifications to commutative algebra. He demonstrated its power for mechanical theorem proving, and his system is well-known as the China Prover. The method of characteristic sets is also very useful for polynomial system solving.