689 search results - page 40 / 138 » The multithreaded version of FORM |
CPC
2008
13 years 7 months ago
2008
![B2[ g] Sets and a Conjecture of Schinzel and Schmidt](https://www.sciweavers.org/files/imagecache/thumbnail/default/content.jpg "B2[ g] Sets and a Conjecture of Schinzel and Schmidt")
A set of integers A is called a B2[g] set if every integer m has at most g representations of the form m = a + a , with a a and a, a A. We obtain a new lower bound for F(g, n), t...
IGPL
2008
13 years 7 months ago
2008
A new version of transition logic is presented. It integrates (dynamic) transitions, which change world states, and classical (static) reasoning, restricted in the paper to Horn l...
ITA
2008
13 years 7 months ago
2008
We compare two sets of (infinite) binary sequences whose suffixes satisfy extremal conditions: one occurs when studying iterations of unimodal continuous maps from the unit interva...
JUCS
2008
13 years 7 months ago
2008
: This article is a revised and extended version of [VBG, 07]. We conjecture that the digitalization of historical text documents as a basis of data mining and information retrieva...
MST
2006
13 years 7 months ago
2006
We study a popular pencil-and-paper game called morpion solitaire. We present upper and lower bounds for the maximum score attainable for many versions of the game. We also show t...