5510 search results - page 249 / 1102 » Mathematics |
157
click to vote
ADG
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We propose an algorithm for automated recognition of computationally constructed curves and discuss several aspects of the recognition problem. Recognizing loci means det...
203
click to vote
ACL2
2006
ACM
15 years 11 months ago
2006
ACM
ACL2 is used to systematically study domains whose elements can be “uniquely” factored into products of “irreducible” elements. The best known examples of such domains are...
191
click to vote
ACL2
2006
ACM
15 years 11 months ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
149
click to vote
INTERSENSE
2006
ACM
15 years 11 months ago
2006
ACM
—We present a methodology based on physics laws and particles in order to represent, simulate, and architect advanced networking models. We introduce a mathematical formalism wit...
138
click to vote
SAC
2006
ACM
15 years 11 months ago
2006
ACM
Interval polynomials are useful to describe perturbed polynomials. We present a graphical tool to describe how perturbations of the polynomial coefficients affect its zeros witho...