共 50 条
- [41] Towards a complete classification of tractability in Allen's algebra IJCAI-97 - PROCEEDINGS OF THE FIFTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2, 1997, : 1466 - 1471
- [42] First Steps Towards an Institution of Algebra Replacement Systems Applied Categorical Structures, 1998, 6 : 403 - 426
- [43] Towards the design of an automatically tuned linear algebra library 10TH EUROMICRO WORKSHOP ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING, PROCEEDINGS, 2002, : 201 - 208
- [44] Towards an implementation of a computer algebra system in a functional language INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS, 2008, 5144 : 141 - 154
- [47] Towards a complete DMT classification of division algebra codes 2016 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY, 2016, : 2993 - 2997
- [48] TeLoDe:: Towards creating an intelligent computer algebra system INTELLIGENT TUTORING SYSTEMS, 2002, 2363 : 410 - 420
- [49] Towards a grid-aware computer algebra system COMPUTATIONAL SCIENCE - ICCS 2004, PT 1, PROCEEDINGS, 2004, 3036 : 490 - 494
- [50] Towards High-Performance Computational Algebra with GAP MATHEMATICAL SOFTWARE - ICMS 2010, 2010, 6327 : 58 - +