3454 search results - page 131 / 691 » Modern computer algebra |
174
click to vote
CALCO
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. This is a theoretical paper giving the extended Stone duality perspective on the recently discovered connection between duality theory as studied in non-classical logic a...
175
click to vote
ICALP
2004
Springer
15 years 11 months ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
133
click to vote
ISSAC
2004
Springer
15 years 11 months ago
2004
Springer
We give a necessary and sufficient condition for an algebraic ODE to have a rational type general solution. For an autonomous first order ODE, we give an algorithm to compute a r...
160
click to vote
GCC
2003
Springer
15 years 11 months ago
2003
Springer
Management of various complex resources is an important issue to be well done, in order to fulfill the potential of Grid. In this paper, we propose a formal data model and algebra ...
158
click to vote
ADG
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. This paper describes a complete implementation of Ritt-Wu's characteristic sets method in the Maple system. The implemented algorithms include those with variants fo...