6 search results - page 2 / 2 » aisc 1998 |
141
click to vote
AISC
1998
Springer
15 years 7 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...