Volume 13; Issue 4

Journal of Symbolic Computation

Volume 13; Issue 4
1

An algorithm for solving parametric linear systems

Year:
1992
Language:
english
File:
PDF, 2.42 MB
english, 1992
2

Three new algorithms for multivariate polynomial GCD

Year:
1992
Language:
english
File:
PDF, 885 KB
english, 1992
3

On solutions of linear ordinary differential equations in their coefficient field

Year:
1992
Language:
english
File:
PDF, 1.42 MB
english, 1992
4

On subsumption and semiunification in feature algebras

Year:
1992
Language:
english
File:
PDF, 1.26 MB
english, 1992