Sciweavers

4403 search results - page 2 / 881
» Galois Theory of Algorithms
Sort
View
ANTS
2000
Springer
117views Algorithms» more  ANTS 2000»
13 years 10 months ago
Modular Forms for GL(3) and Galois Representations
Abstract. A description and an example are given of numerical experiments which look for a relation between modular forms for certain congruence subgroups of SL(3, ZZ) and Galois r...
Bert van Geemen, Jaap Top
ANTS
2006
Springer
95views Algorithms» more  ANTS 2006»
13 years 9 months ago
Computing Pro-P Galois Groups
We describe methods for explicit computation of Galois groups of certain tamely ramified p-extensions. In the finite case this yields a short list of candidates for the Galois grou...
Nigel Boston, Harris Nover
ACMMPC
2000
Springer
231views Mathematics» more  ACMMPC 2000»
13 years 10 months ago
Galois Connections and Fixed Point Calculus
Fixed point calculus is about the solution of recursive equations de˛ned by a monotonic endofunction on a partially ordered set. This tutorial presents the basic theory of ˛xed ...
Roland Carl Backhouse
ECAI
2004
Springer
13 years 9 months ago
OntoRefiner, a user query refinement interface usable for Semantic Web Portals
We present a user interface, the OntoRefiner1 system, for helping the user to navigate numerous retrieved documents after a search querying a semantic portal which integrates a ver...
Brigitte Safar, Hassen Kefi, Chantal Reynaud
ACS
2004
13 years 5 months ago
Galois Theory and a New Homotopy Double Groupoid of a Map of Spaces
The authors have used generalised Galois Theory to construct a homotopy double groupoid of a surjective fibration of Kan simplicial sets. Here we apply this to construct a new hom...
Ronald Brown, George Janelidze