Journal of Symbolic Computation

The Magma Algebra System I: The User Language

Wieb Bosma, John Cannon, Catherine Playoust · 1997 · 7.4K citations

Computing, Computer Science, Algebra +5

Matrix multiplication via arithmetic progressions

Don Coppersmith, S. Winograd · 1990 · 2.3K citations

Computing, Computer Science, Mathematics +14

Practical graph isomorphism, II

Brendan D. McKay, Adolfo Piperno · 2013 · 1.6K citations

Computing, Computer Science, Algorithms +10

Eigenvalues of a real supersymmetric tensor

Liqun Qi · 2005 · 1.5K citations

Natural Sciences, Higher Education, Magnetic Materials +8

Termination of rewriting

Nachum Dershowitz · 1987 · 725 citations