806 search results - page 76 / 162 » Algebraic Structures of B-series |
FOCM
2008
13 years 9 months ago
2008
We develop new computational algorithms, based on the method of equivariant moving frames, for classifying the differential invariants of Lie symmetry pseudo-groups of differential...
ENTCS
2006
13 years 9 months ago
2006
In this article we present a method to define algebraic structure (field operations) on a representation of real numbers by coinductive streams. The field operations will be given...
JUCS
2007
13 years 8 months ago
2007
Abstract: We introduce the notion of ∧- and ∨-pairs of functions on lattices as an abstraction of the notions of metric and its related entropy for probability distributions. T...
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...
POPL
2006
ACM
14 years 9 months ago
2006
ACM
We propose a type system based on regular tree grammars, where algebraic datatypes are interpreted in a structural way. Thus, the same constructors can be reused for different typ...