28 search results - page 1 / 6 » Some formulae for partitions into squares |
DM
2000
13 years 10 months ago
2000
We consider the new problem of determining the number of partitions of a number into a fixed number k of squares, and find explicit formulae in the cases k = 2, 3, 4. Classificati...
ARITH
2007
IEEE
14 years 5 months ago
2007
IEEE
Abstract. We present efficient squaring formulae based on the Toom-Cook multiplication algorithm. The latter always requires at least one non-trivial constant division in the inte...
DM
1999
13 years 10 months ago
1999
Every partition has, for some d, a Durfee square of side d. Every partition with Durfee square of side d gives rise to a "successive rank vector" r = (r1,
TPHOL
2007
IEEE
14 years 5 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
ICTAI
2009
IEEE
14 years 5 months ago
2009
IEEE
In this paper an original dynamic partition of formulae in Conjunctive Normal Form (CNF) is presented. It is based on the autarky concept first introduced by Monien and Speckenme...