1410 search results - page 144 / 282 » Proving theorems by reuse |
162
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper a distributed algorithm for clock synchronization is proposed. This algorithm is based on an extension of the consensus algorithm able to synchronize a family of dou...
152
click to vote
JSYML
2011
15 years 1 months ago
2011
Abstract. This paper introduces a natural extension of Kolchin’s differential Galois theory to positive characteristic iterative differential fields, generalizing to the non-li...
142
click to vote
SIAMMA
2011
15 years 1 months ago
2011
We prove global in time existence of solutions of the Euler compressible equations for a Van der Waals gas when the density is small enough in Hm , for m large enough. To do so, w...
194
click to vote
COMGEO
2012
ACM
14 years 2 months ago
2012
ACM
The problem of reconstructing a region from a set of sample points is common in many geometric applications, including computer vision. It is very helpful to be able to guarantee ...
158
click to vote
Publication
In this note we aim to give a new, elementary proof of a statement that was first proved by Timofte (2003) [15]. It says that a symmetric real polynomial F of degree d in n variabl...