2853 search results - page 168 / 571 » On Coherence in Computer Algebra |
138
click to vote
PR
2002
15 years 4 months ago
2002
A fuzzy point is a region representing the uncertain location of a normal Euclidean point. A fuzzy point in the plane is considered to be a closed disk (a circle and its interior)...
126
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
In our previous work [17] we have shown that for any ω-algebraic meet-cpo D, if all higher-order stable function spaces built from D are ω-algebraic, then D is finitary. This ac...
131
click to vote
IEEEARES
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Abstract virology has seen the apparition of successive viral models, all based on Turing-equivalent formalisms. Considering recent malware, these are only partially cov...
159
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we deal with performance analysis of Monte Carlo algorithm for large linear algebra problems. We consider applicability and efficiency of the Markov chain Monte Carlo...
176
click to vote
ISSAC
2007
Springer
15 years 10 months ago
2007
Springer
We present a first sparse modular algorithm for computing a greatest common divisor of two polynomials f1, f2 ∈ L[x] where L is an algebraic function field in k ≥ 0 paramete...