Analyst: A program package for proving identities (theorems) in axiomatic algorithmic-algebra systems
Keyword(s):
1994 ◽
Vol 8
(4)
◽
pp. 347-366
◽
1981 ◽
Vol 27
(2)
◽
pp. 155-166
Keyword(s):
2003 ◽
Vol 28
(2)
◽
pp. 222-239
◽
1999 ◽
Vol 119
(2-3)
◽
pp. 232-255
◽
1997 ◽
Vol 106
(1-2)
◽
pp. 114-124
◽