Sciweavers

18 search results - page 1 / 4
» Weighted forms of Euler's theorem
Sort
View
JCT
2007
149views more  JCT 2007»
13 years 4 months ago
Weighted forms of Euler's theorem
In answer to a question of Andrews about finding combinatorial proofs of two identities in Ramanujan’s “lost” notebook, we obtain weighted forms of Euler’s theorem on part...
William Y. C. Chen, Kathy Q. Ji
CORR
2008
Springer
92views Education» more  CORR 2008»
13 years 5 months ago
Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assi...
Jean-François Dufourd
ICDAR
2005
IEEE
13 years 10 months ago
A Novel Approach to Recover Writing Order From Single Stroke Offline Handwritten Images
Problem of recovering a writing order from singlestroked handwritten image can be seen as finding the smoothest Euler path in its graph representation. In this paper, a novel appr...
Yu Qiao, Makoto Yasuhara
SMA
2009
ACM
166views Solid Modeling» more  SMA 2009»
13 years 11 months ago
A geometric criterion for smooth interpolation of curve networks
A key problem when interpolating a network of curves occurs at vertices: an algebraic condition called the vertex enclosure constraint must hold wherever an even number of curves ...
T. Hermann, J. Peters, T. Strotman
AAECC
1997
Springer
99views Algorithms» more  AAECC 1997»
13 years 9 months ago
Extension Theorems for Linear Codes over Finite Rings
Various forms of the extension problem are discussed for linear codes de ned over nite rings. The extension theorem for symmetrized weight compositions over nite Frobenius rings is...
Jay A. Wood