Period of time: 2004年4期
Publisher: Academic Press
Founded in: 1985
Total resources: 48
ISSN: 0747-7171
Subject: TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Journal of Symbolic Computation,volume 23,issue 4
Menu
Some Algorithms for Nilpotent Permutation Groups
By Luks E.M.,Rakoczi F.,Wright C.R.B. in (1997)
Journal of Symbolic Computation,volume 23,issue 4 , Vol. 23, Iss. 4, 1997-04 , pp.Subresultants Under Composition
Journal of Symbolic Computation,volume 23,issue 4 , Vol. 23, Iss. 4, 1997-04 , pp.Interactive Theorem Proving with Temporal Logic
By Felty A.,Thery L. in (1997)
Journal of Symbolic Computation,volume 23,issue 4 , Vol. 23, Iss. 4, 1997-04 , pp.SP, a Package for Schubert Polynomials Realized with the Computer Algebra System MAPLE
Journal of Symbolic Computation,volume 23,issue 4 , Vol. 23, Iss. 4, 1997-04 , pp.Two Perturbation Calculations in Fluid Mechanics using Large-expression Management
By Corless R.M.,Jeffrey D.J.,Monagan M.B., in (1997)
Journal of Symbolic Computation,volume 23,issue 4 , Vol. 23, Iss. 4, 1997-04 , pp.