3454 search results - page 369 / 691 » Modern computer algebra |
175
Voted
ICALP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
207
click to vote
ICCS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Complex tensor contraction expressions arise in accurate electronic structure models in quantum chemistry, such as the Coupled Cluster method. Transformations using algeb...
178
click to vote
MFCS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. It is a well-known result that the set of reachable stack contents in a pushdown automaton is a regular set of words. We consider the more general case of higher-order pu...
158
click to vote
MFCS
2005
Springer
16 years 8 days ago
2005
Springer
In the maximum solution equation problem a collection of equations are given over some algebraic structure. The objective is to find an assignment to the variables in the equation...
120
click to vote
MKM
2005
Springer
16 years 8 days ago
2005
Springer
In mathematical textbooks matrices are often represented as objects of indefinite size containing abbreviations. To make the knowledge implicitly given in these representations av...