3443 search results - page 87 / 689 » More Algebras for Determiners |
ICFP
2003
ACM
14 years 1 months ago
2003
ACM
In this paper we extend the model of program variables from the Refinement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...
JSC
2008
13 years 8 months ago
2008
In this paper we apply methods of commutative algebra to analysis of systems of PDEs. More precisely, we show that systems which are parabolic in a generalized sense are equivalen...
CORR
2002
Springer
13 years 8 months ago
2002
Springer
Instabilities of robot motion are caused by topological reasons. In this paper we find a relation between the topological properties of a configuration space (the structure of its...
JSC
2010
13 years 6 months ago
2010
We consider the algebra of invariants of binary forms of degree 9 with complex coefficients, find the 92 basic invariants, give an explicit system of parameters and show the exis...
SIAMCOMP
2010
13 years 6 months ago
2010
We reexamine what it means to compute Nash equilibria and, more generally, what it means to compute a fixed point of a given Brouwer function, and we investigate the complexity o...