161 search results - page 1 / 33 » Equation Solving in Conditional AC-Theories |
ALP
1990
Springer
13 years 9 months ago
1990
Springer
Conditional Equational Programming is an elegant way to uniformly integrate important features of functional and logic programming. Efficientmethods for equation solving are thus ...
MOC
2002
13 years 4 months ago
2002
Abstract. In this paper, we are interested in solving the so-called norm equation NL/K(x) = a, where L/K is a given arbitrary extension of number fields and a a given algebraic num...
SIAMJO
2002
13 years 4 months ago
2002
We propose a new algorithm for solving smooth nonlinear equations in the case where their solutions can be singular. Compared to other techniques for computing singular solutions, ...
IJCM
2002
13 years 5 months ago
2002
In this paper we consider a parametrized system of weakly nonlinear equations which corresponds to a nonlinear elliptic boundary
MOC
1998
13 years 4 months ago
1998
Abstract. A Cauchy problem for a one–dimensional diffusion–reaction equation is solved on a grid by a random walk method, in which the diffusion part is solved by random walk...