Wenjun Wu's method is an algorithm for solving multivariate polynomial equations introduced in the late 1970s by the Chinese mathematician Wen-Tsun… (More)

Semantic Scholar uses AI to extract papers important to this topic.

2013

2013

- Xinyan Gao, Ning Zhou, Jinzhao Wu, Dakui Li
- J. Applied Mathematics
- 2013

1 School of Software of Dalian University of Technology, Dalian 116620, China 2 School of Computer and Information Technology… (More)

Is this relevant?

2009

2009

- Gao Xiaoshan, Yuan Chunming, Zhang Guilin
- 2009

In this paper, a Ritt-Wu’s characteristic set method for ordinary difference systems is proposed, which is valid for any… (More)

Is this relevant?

2009

2009

- Xiao-Shan Gao, J. Van der Hoeven, Chun-Ming Yuan, Gui-Lin Zhang
- J. Symb. Comput.
- 2009

In this paper, we present a characteristic set method for mixed differential and difference polynomial systems. We introduce the… (More)

Is this relevant?

2009

2009

- Xiao-Shan Gao, Yong Luo, Chun-Ming Yuan
- J. Symb. Comput.
- 2009

We prove several basic properties for difference ascending chains including a necessary and sufficient condition for an ascending… (More)

Is this relevant?

2008

2008

- Fengjuan Chai, Xiao-Shan Gao, Chun-Ming Yuan
- J. Systems Science & Complexity
- 2008

This paper presents a characteristic set method for solving Boolean equations, which is more efficient and has better properties… (More)

Is this relevant?

2005

2005

- Weibo Mao, Jinzhao Wu
- ISSAC
- 2005

Model checking is widely used in verifying properties of concurrent systems. As an improvement, symbolic model checking uses… (More)

Is this relevant?

2001

2001

- Kei-ichi Shiraishi
- 2001

A symbolic-numeric combined method to solve polynomial equations have been proposed by using Ritt-Wu’s characteristic sets method… (More)

Is this relevant?

1999

1999

Recently algorithms for solving propositional satisfiability problem, or SAT, have aroused great interest, and more attention has… (More)

Is this relevant?

1991

1991

- D. Richardson
- J. Symb. Comput.
- 1991

The Khovanskii finiteness theorem [1980 ] calculates an upper bound for the number of connected components of the intersection of… (More)

Is this relevant?

1990

1990

- Deepak Kapur, H. K. Wan
- ISSAC
- 1990

A refutational approach to geometry theorem proving using Ritt-Wu's algorithm for computing a characteristic set is discussed. A… (More)

Is this relevant?