ISSAC
1990
Springer
14 years 3 months ago
1990
Springer
In the previous papers [7-101we defined and explored a formal methodological framework on the basis of which resolution proof systems for strongly-finite logics can be introduced ...
ISSAC
1990
Springer
14 years 3 months ago
1990
Springer
Let a system of linear ordinary differential equations of the first order Y' = AY be given, where A is n x n matrix over a field F(X), assume that the degree degx(A) < d a...
ISSAC
1990
Springer
14 years 3 months ago
1990
Springer
We consider function fields of functions of one variable augmented by the binary operation of composition of functions. It is shown that the straightforward axiom