An implementation of the exterior calculus in REDUCE: a status report. - Eberhard Schrüfer (SIGSAM Bull., 1982)

Enlarging the REDUCE domain of computation. - Russell J. Bradford; Anthony C. Hearn; Julian A. Padget; Eberhard Schrüfer (SYMSAC, 1986)

Can EXCALC be used to Investigate High-Dimensional Cosmological Models with Non-Linear Lagrangians? - Hubert Caprasse; Jaques Demaret; Eberhard Schrüfer (ISSAC, 1988)

A comment on "A note on Einstein metrics". - Eberhard Schrüfer (SIGSAM Bull., 1988)

An Order-Sorted Approach to Algebraic Computation. - Anthony C. Hearn; Eberhard Schrüfer (DISCO, 1993)

A Computer Algebra System Based on Ordersorted Algebra. - Anthony C. Hearn; Eberhard Schrüfer (J. Symb. Comput., 1995)

Solving large linear algebraic systems in the context of integrable non-abelian Laurent ODEs. - Thomas Wolf 012; Eberhard Schrüfer; Kenneth Webster (Program. Comput. Softw., 2012)

A linear sparse systems solver (LSSS) applied to the classification of integrable non-abelian laurent ODEs. - Thomas Wolf 012; Eberhard Schrüfer; Kenneth Webster (ACM Commun. Comput. Algebra, 2013)