923 reputation
414
bio website
location China
age
visits member for 3 years, 8 months
seen 15 hours ago

a teacher at university in china who is not a mathematician.:)


Dec
8
comment Counting path generating sentences in a specific formal language
@BenjaminSteinberg, thank you for comment, I want the generating function for derivations of words using the grammar, for language there is a theorem that is Schutzenberger-Chomsky theorem hard to be extended
Dec
8
asked Counting path generating sentences in a specific formal language
Dec
1
comment Solution to system of polynomial equations
@JasonStarr, thank you very much for your comment.But I think your comment can be extended to an answer. By the way, I cannot get your comment completely due to my background of knowledge. Would you give an expository answer in a more concrete way?
Nov
30
revised Solution to system of polynomial equations
added 52 characters in body
Nov
30
asked Solution to system of polynomial equations
Nov
26
comment Decidable theorem or result that is not weaker than Tarski's theorem
@EmilJeřábek, you are so severe on any questions, like an excellent judge in supremcourt. But let us list the decidable result near or above any theorems relating Tarski.
Nov
26
comment Decidable theorem or result that is not weaker than Tarski's theorem
Yes, excellent, David, although I had read their paper several weeks ago. I hope we can have a complete or almost complete list of such answers so as to have an overview of the decidable problem
Nov
25
comment Decidable theorem or result that is not weaker than Tarski's theorem
@Wojowu, thank you for your comments, which one of his theorems is about decidability?
Nov
25
asked Decidable theorem or result that is not weaker than Tarski's theorem
Nov
22
comment What is the computational complexity to compute the integral numerically?
Actually, I have been suspecting that there exists a polynomial time complexity algorithm, but one paper Steve give in the comment has claims that the computational complexity is $NP-$hard. I have to carefully read the article or think about the question again.
Nov
22
comment What is the computational complexity to compute the integral numerically?
@BrunoLeFloch, thank you for your comments. I am wondering whether the antiderivative of the integrand is relevant to the complexity. In fact, your suspicion may be relating the kind of anti-derivative.
Nov
22
comment What is the computational complexity to compute the integral numerically?
@SteveHuntsman, thank you for the reference.
Nov
22
asked What is the computational complexity to compute the integral numerically?
Nov
19
comment Given a formal power series ,decide whether there exists a polynomial the series satisfies and if it exists,how to write it down?
So, by a compactness-like theorem, there is a semi-algorithm that decide whether a power series is algebraic.
Nov
19
comment Given a formal power series ,decide whether there exists a polynomial the series satisfies and if it exists,how to write it down?
So, there is a semi-algorithm that decide whether a formal power series is algebraic.
Nov
19
accepted Can any bounded area defined by polynomial inequality in $\mathbb{R}^n$ be partitioned into simply connected finite area such that
Nov
17
comment Why is the Hodge Conjecture so important?
Is it possible, that Hodged conjecture is undecidable?
Nov
17
comment The definition of computational complexity or complexity measure of computing reals
There are so many interesting voters having downvoted and closed the question. But I have thought about it for a long time and still think it is not a simple question. What makes me puzzled is that so many persons have misunderstood it.
Nov
15
comment Can any bounded area defined by polynomial inequality in $\mathbb{R}^n$ be partitioned into simply connected finite area such that
Yes, I have just found a lot of material online. Thank you again.
Nov
15
comment Can any bounded area defined by polynomial inequality in $\mathbb{R}^n$ be partitioned into simply connected finite area such that
Thank you, I will read the article, and search with the keywords.