×

zbMATH — the first resource for mathematics

Found 23 Documents (Results 1–3)

Cohen, Arjeh M. (ed.) et al., Mathematical software. Proceedings of the 1st international congress, Beijing, China, August 17-19, 2002. Singapore: World Scientific. 126-135 (2002).
MSC:  68Q42
BibTeX Cite
Atkinson, Michael (ed.) et al., Computational and geometric aspects of modern algebra. Proceedings of the workshop, Edinburgh, UK, July 23-31, 1998. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 275, 150-191 (2000).
BibTeX Cite
Nipkow, Tobias (ed.), Rewriting techniques and applications. 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1379, 32-46 (1998).
BibTeX Cite

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Software