2853 search results - page 264 / 571 » On Coherence in Computer Algebra |
105
click to vote
DAGSTUHL
2007
15 years 6 months ago
2007
The problem of deciding the probability model equivalence of two PRISM programs is addressed. In the finite case this problem can be solved (albeit slowly) using techniques from a...
156
Voted
NETWORKING
2000
15 years 6 months ago
2000
In this paper we present an algorithm to construct low-cost source trees for multicast with multiple QoS constraints and dynamic membership. Assuming the availability of link-state...
123
click to vote
IJCAI
1989
15 years 6 months ago
1989
We study the role of visual reasoning as a computationally feasible heuristic tool in geometry problem solving. We use an algebraic notation to represent geometric objects and to ...
116
click to vote
FOCM
2008
15 years 5 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...
120
Voted
JSC
2006
15 years 4 months ago
2006
We propose an algorithm for computing an exact absolute factorization of a bivariate polynomial from an approximate one. This algorithm is based on some properties of the algebrai...