3145 search results - page 93 / 629 » Algebraic Linear Orderings |
116
click to vote
PG
2007
IEEE
15 years 10 months ago
2007
IEEE
We overview a new method for computing the arrangement of semi-algebraic curves. A subdivision approach is used to compute the topology of the algebraic objects and to segment the...
104
click to vote
ORDER
2000
15 years 3 months ago
2000
We prove that, given a nontrivial Boolean algebra B, a compact convex set S and a group G, there is an orthomodular lattice L with the center isomorphic to B, the automorphism grou...
114
click to vote
ORDER
2010
15 years 2 months ago
2010
This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions, namely the existence of involutions/daggers and kernels. The ...
168
click to vote
AISC
2010
Springer
15 years 7 months ago
2010
Springer
We prove formally that the first order theory of algebraically closed fields enjoy quantifier elimination, and hence is decidable. This proof is organized in two modular parts. We ...
155
click to vote
ESCIENCE
2006
IEEE
15 years 7 months ago
2006
IEEE
Jylab is a portable and flexible scientific computing system favoring extensibility. It provides a user with a scripting language and a core set of libraries implementing numerica...