713 search results - page 31 / 143 » Saving Space by Algebraization |
84
Voted
APAL
2010
15 years 16 days ago
2010
We investigate computability theoretic and topological properties of spaces of orders on computable orderable groups. A left order on a group G is a linear order of the domain of ...
AML
2005
15 years 10 days ago
2005
es of orderings (an abstract version of real spectras of formally real fields), for which they are expressed as local-global principles: A property of quadratic forms (expressed as...
92
Voted
JANCL
2002
15 years 2 days ago
2002
We investigate the major mathematical theories of space from a modal standpoint: topology, affine geometry, metric geometry, and vector algebra. This allows us to see new fine-str...
99
Voted
QEST
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
109
click to vote
DIMACS
2001
15 years 1 months ago
2001
Abstract. One-degree-of-freedom mechanisms induced by minimum pseudotriangulations with one convex hull edge removed have been recently introduced by the author to solve a family o...