1916 search results - page 71 / 384 » Reasoning with class algebra |
MOC
1998
13 years 9 months ago
1998
We improve a criterion of Inkeri and show that if there is a solution to Catalan’s equation xp − yq = ±1,(1) with p and q prime numbers greater than 3 and both congruent to 3 ...
TCAD
2008
13 years 10 months ago
2008
Abstract--This paper presents a class of power grid analysis and optimization techniques, all of which are based on the algebraic-multigrid (AMG) method. First, a new AMG-based red...
PARA
1995
Springer
14 years 1 months ago
1995
Springer
This paper describes a proposal for a set of Parallel Basic Linear Algebra Subprograms PBLAS . The PBLAS are targeted at distributed vector-vector, matrix-vector and matrixmatrix...
DAGSTUHL
2007
13 years 11 months ago
2007
In this paper we give a specification of a new block cipher that can be called the Courtois Toy Cipher (CTC). It is quite simple, and yet very much like any other known block ciph...
CADE
2007
Springer
14 years 10 months ago
2007
Springer
Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that combines 1) Boolean algebra of sets of uninterpreted elements (BA) and 2) Presburger arithmetic (PA). BA...