The following pages link to On coherence in computer algebra (Q1895394):
Displaying 4 items.
- Design and implementation of symbolic computation systems. International symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings (Q1188645) (← links)
- Logic and dependent types in the Aldor computer algebra system (Q2751550) (← links)
- Cooperation of KeTCindy and Computer Algebra System (Q2819241) (← links)
- A GAP Package for Computation with Coherent Configurations (Q5747862) (← links)