نتایج جستجو برای: real quadratic field
تعداد نتایج: 1311967 فیلتر نتایج به سال:
This paper presents a formally verified quantifier elimination (QE) algorithm for first-order real arithmetic by linear and quadratic virtual substitution (VS) in Isabelle/HOL. The Tarski-Seidenberg theorem established that the logic of is decidable QE. However, practice, QE algorithms are highly complicated often combine multiple methods performance. VS practically successful method targets fo...
We generalize and improve the schemes of [4]. We introduce analogues of exponentiation and cliscrele logarithms in the principle cycle of real quadratic orders. This enables us t o implement many cryptographic protocols based on discrete logarithms, e.g. a variant of the signature scheme of ElGamal [S].
A computational technique for evaluating $L(1,\chi )$ and the class number of a real quadratic field
It is shown that counting certain differences of overpartition functions is equivalent to counting elements of a given norm in appropriate real quadratic fields.
Classical methods in discrimination such as linear and quadratic do not have good efficiency in the case of nongaussian or nonlinear time series data. In nonparametric kernel discrimination in which the kernel estimators of likelihood functions are used instead of their real values has been shown to have good performance. The misclassification rate of kernel discrimination is usually less than ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید