<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2005-02-02 07:20:48Mathematics Algebra Theoretical computer science Modular arithmetic Logic in computer science Congruence relation Equivalence Closure Rewriting Congruence lattice problem Congruence subgroup |
Add to Reading List |
Proof-producing Congruence Closure Robert Nieuwenhuis? and Albert Oliveras?? Technical University of Catalonia, Jordi Girona 1, 08034 Barcelona, Spain www.lsi.upc.es/~roberto www.lsi.upc.es/~oliveras Abstract. Many appl
![Galois representations associated to modular forms Johan BosmanThese are notes from a talk given at an intercity seminar arithmetic geometry. The main reference is [1], where more details and further referenc](https://www.pdfsearch.io/img/4656e8ab1fbbdfddc09d4999d72c9527.jpg "Galois representations associated to modular forms Johan BosmanThese are notes from a talk given at an intercity seminar arithmetic geometry. The main reference is [1], where more details and further referenc")
![Arithmetic and Diophantine Geometry 14Gxx [1] Matthew H. Baker, Enrique Gonz´alez-Jim´enez, Josep Gonz´alez, and Bjorn Poonen, Finiteness results for modular curves of genus at least 2, Amer. J. Math), no.](https://www.pdfsearch.io/img/33a05301fd664d9e6e8a6c656cf07bcf.jpg "Arithmetic and Diophantine Geometry 14Gxx [1] Matthew H. Baker, Enrique Gonz´alez-Jim´enez, Josep Gonz´alez, and Bjorn Poonen, Finiteness results for modular curves of genus at least 2, Amer. J. Math), no.")
