Journal of symbolic computation文章索引

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

共收录本刊相关文章索引2143条

Some Algorithms for Nilpotent Permutation Groups [0.03%]

Eugene M. Luks; Ferenc Rákóczi; Charles R.B. Wright Eugene M. Luks; Ferenc Rákóczi; Charles R.B. Wright

Journal of symbolic computation. 1997;23(4):335-354. DOI:10.1006/jsco.1996.0092 1997

Subresultants Under Composition [0.03%]

Hoon Hong Hoon Hong

Journal of symbolic computation. 1997;23(4):355-365. DOI:10.1006/jsco.1996.0093 1997

Interactive Theorem Proving with Temporal Logic [0.03%]

Amy Felty; Laurent Théry Amy Felty; Laurent Théry

Journal of symbolic computation. 1997;23(4):367-397. DOI:10.1006/jsco.1996.0094 1997

Omega-Termination is Undecidable for Totally Terminating Term Rewriting Systems [0.03%]

Alfons Geser Alfons Geser

Journal of symbolic computation. 1997;23(4):399-411. DOI:10.1006/jsco.1996.0095 1997

SP, a Package for Schubert Polynomials Realized with the Computer Algebra System MAPLE [0.03%]

Sébastien Veigneau Sébastien Veigneau

Journal of symbolic computation. 1997;23(4):413-425. DOI:10.1006/jsco.1996.0096 1997

Two Perturbation Calculations in Fluid Mechanics using Large-expression Management [0.03%]

R.M. CORLESS; D.J. JEFFREY; M.B. MONAGAN; PRATIBHA R.M. CORLESS; D.J. JEFFREY; M.B. MONAGAN; PRATIBHA

Journal of symbolic computation. 1997;23(4):427-443. DOI:10.1006/jsco.1996.0097 1997

Editorial [0.03%]

Larry A. Lambe Larry A. Lambe

Journal of symbolic computation. 1997;23(5-6):445-446. DOI:10.1006/jsco.1996.0098 1997

Visualizations for Mathematics Courses Based on a Computer Algebra System [0.03%]

BEATRICE AMRHEIN; OLIVER GLOOR; ROMAN E. MAEDER BEATRICE AMRHEIN; OLIVER GLOOR; ROMAN E. MAEDER

Journal of symbolic computation. 1997;23(5-6):447-452. DOI:10.1006/jsco.1996.0099 1997

A Use of Computers to Teach Group Theory and Introduce Students to Research [0.03%]

NIGEL BOSTON NIGEL BOSTON

Journal of symbolic computation. 1997;23(5-6):453-458. DOI:10.1006/jsco.1996.0100 1997

Using the Magma Computer Algebra System in Abstract Algebra Courses [0.03%]

JOHN CANNON; CATHERINE PLAYOUST JOHN CANNON; CATHERINE PLAYOUST

Journal of symbolic computation. 1997;23(5-6):459-484. DOI:10.1006/jsco.1996.0101 1997