691 search results - page 45 / 139 » Equational Abstractions |
LPAR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The Knuth-Bendix ordering is usually preferred over the lexicographic path ordering in successful implementations of resolution and superposition, but it is incompatible ...
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract— In this paper, a new type of microsystem is presented : a system able to perform linear and angular motion. First, the microactuator used is studied. An approximation o...
ANTS
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. For K3 surfaces, we derive some conditions the characteristic polynomial of the Frobenius on the ´etale cohomology must satisfy. These conditions may be used to speed up...
ANTS
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. The conjectures of Deligne, Beilinson, and Bloch-Kato assert that there should be relations between the arithmetic of algebrogeometric objects and the special values of t...
ANTS
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. We give a deterministic polynomial-time algorithm that computes a nontrivial rational point on an elliptic curve over a finite field, given a Weierstrass equation for the...