Wu's method of characteristic set

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

Topic mentions per year

Topic mentions per year

1983-2016
05101519832016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
1 School of Software of Dalian University of Technology, Dalian 116620, China 2 School of Computer and Information Technology… (More)
  • table 1
  • figure 1
  • table 2
  • table 3
  • figure 2
Is this relevant?
2009
2009
In this paper, a Ritt-Wu’s characteristic set method for ordinary difference systems is proposed, which is valid for any… (More)
  • figure 3
Is this relevant?
2009
2009
In this paper, we present a characteristic set method for mixed differential and difference polynomial systems. We introduce the… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2009
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
This paper presents a characteristic set method for solving Boolean equations, which is more efficient and has better properties… (More)
  • table 3
  • table 4
  • table 5
  • table 6
  • table 7
Is this relevant?
2005
2005
Model checking is widely used in verifying properties of concurrent systems. As an improvement, symbolic model checking uses… (More)
  • figure 1
  • figure 3
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)
  • figure 1
  • table 1
Is this relevant?
1999
1999
Recently algorithms for solving propositional satisfiability problem, or SAT, have aroused great interest, and more attention has… (More)
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
1991
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
A refutational approach to geometry theorem proving using Ritt-Wu's algorithm for computing a characteristic set is discussed. A… (More)
  • figure 1
  • table 1
Is this relevant?