Sciweavers

45 search results - page 1 / 9
» Congruence of (2
Sort
View
EM
2010
202views Management» more  EM 2010»
13 years 9 months ago
Modular Forms on Noncongruence Subgroups and Atkin-Swinnerton-Dyer Relations
We give an example of a noncongruence subgroup Γ ⊂ SL(2, Z) whose space of weight 3 cusp forms S3(Γ) admits a basis satisfying the Atkin-Swinnerton-Dyer congruence relations wi...
Liqun Fang, J. William Hoffman, Benjamin Linowitz,...
CAV
2008
Springer
89views Hardware» more  CAV 2008»
14 years 27 days ago
Inferring Congruence Equations Using SAT
This paper proposes a new approach for deriving invariants that are systems of congruence equations where the modulo is a power of 2. The technique is an amalgam of SAT-solving, wh...
Andy King, Harald Søndergaard
FSTTCS
2004
Springer
14 years 4 months ago
Join Algorithms for the Theory of Uninterpreted Functions
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
Sumit Gulwani, Ashish Tiwari, George C. Necula
COMBINATORICS
2006
153views more  COMBINATORICS 2006»
13 years 11 months ago
BG-Ranks and 2-Cores
We find the number of partitions of n whose BG-rank is j, in terms of pp(n), the number of pairs of partitions whose total number of cells is n, giving both bijective and generati...
William Y. C. Chen, Kathy Q. Ji, Herbert S. Wilf
DM
2008
101views more  DM 2008»
13 years 11 months ago
Congruences involving Bernoulli polynomials
Let {Bn(x)} be the Bernoulli polynomials. In the paper we establish some congruences for Bj(x) (mod pn), where p is an odd prime and x is a rational p-integer. Such congruences are...
Zhi-Hong Sun