5510 search results - page 387 / 1102 » Mathematics |
127
click to vote
ISSAC
2005
Springer
16 years 10 days ago
2005
Springer
We define a class of special function inequalities that contains many classical examples, such as the Cauchy-Schwarz inequality, and introduce a proving procedure based on induct...
159
click to vote
ISSAC
2005
Springer
16 years 10 days ago
2005
Springer
Over the past few decades several variations on a “half GCD” algorithm for obtaining the pair of terms in the middle of a Euclidean sequence have been proposed. In the integer...
172
click to vote
ISSAC
2005
Springer
16 years 10 days ago
2005
Springer
We study the multiplication of multivariate power series. We show that over large enough fields, the bilinear complexity of the product modulo a monomial ideal M is bounded by th...
157
click to vote
ISSAC
2005
Springer
16 years 10 days ago
2005
Springer
Two ideas are combined to construct a hybrid symbolicnumeric differential-elimination method for identifying and including missing constraints arising in differential systems. F...
130
click to vote
ISSAC
2005
Springer
16 years 10 days ago
2005
Springer
In this article we propose a new symbolic-numeric algorithm to find positive equilibria of a n-dimensional dynamical system. This algorithm uses a symbolic manipulation of ODE in...