Sciweavers

1296 search results - page 20 / 260
» The Number Field Sieve
Sort
View
CORR
2010
Springer
111views Education» more  CORR 2010»
13 years 10 months ago
Reducing the Number of Annotations in a Verification-oriented Imperative Language
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
Guido de Caso, Diego Garbervetsky, Daniel Gor&iacu...
ANTS
2008
Springer
115views Algorithms» more  ANTS 2008»
13 years 12 months ago
Computing Hilbert Modular Forms over Fields with Nontrivial Class Group
In previous work, the first author developed an algorithm for the computation of Hilbert modular forms. In this paper, we extend this to all totally real number fields of even degr...
Lassina Dembélé, Steve Donnelly
SODA
2010
ACM
200views Algorithms» more  SODA 2010»
14 years 7 months ago
Algorithms for ray class groups and Hilbert class fields
This paper analyzes the complexity of problems from class field theory. Class field theory can be used to show the existence of infinite families of number fields with constant ro...
Sean Hallgren, Kirsten Eisentraeger
MOC
2002
73views more  MOC 2002»
13 years 9 months ago
Evaluation of zeta function of the simplest cubic field at negative odd integers
Abstract. In this paper, we are interested in the evaluation of the zeta function of the simplest cubic field. We first introduce Siegel's formula for values of the zeta funct...
Hyun Kwang Kim, Jung Soo Kim
EUSFLAT
2001
127views Fuzzy Logic» more  EUSFLAT 2001»
13 years 11 months ago
Validation of the control quality of characteristic field based fuzzy controllers
Rule based systems for Fuzzy Control, Fuzzy Supervising and Fuzzy Diagnosis are non-linear multi-input, multi-output systems. The result of the signal processing within the system...
Rainer Hampel, Nasredin Chaker