3145 search results - page 68 / 629 » Algebraic Linear Orderings |
83
Voted
AMC
2005
15 years 16 days ago
2005
In this paper, by using the theories and methods of mathematical analysis and computer algebra, a reliable algorithm of reduction of order approximation method for solving singula...
86
Voted
ISMVL
2007
IEEE
15 years 7 months ago
2007
IEEE
We give a uniform method for automated reasoning in several types of extensions of ordered algebraic structures (definitional extensions, extensions with boundedness axioms or wit...
112
click to vote
SIAMNUM
2010
14 years 7 months ago
2010
In the numerical simulation of many practical problems in physics and engineering, finite volume methods are an important and popular class of discretization methods due to the loc...
88
Voted
IACR
2011
14 years 8 days ago
2011
In this paper, we explore a general methodology for converting composite order pairingbased cryptosystems into the prime order setting. We employ the dual pairing vector space app...
96
Voted
IJAC
2002
15 years 12 days ago
2002
Abstract. We discuss the computational complexity of several problems concerning subsets of an algebraic structure that generate the structure. We show that the problem of determin...