Period of time： 2004年1期
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 33,issue 1
Menu
Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language
By Bauer C.,Frink A.,Kreckel R. in (2002)
Journal of Symbolic Computation,volume 33,issue 1 , Vol. 33, Iss. 1, 2002-01 , pp.
Access to resources
Recommend
Fast Computation of the Bezout and Dixon Resultant Matrices
By Chionh E-W.,Zhang M.,Goldman R.N. in (2002)
Journal of Symbolic Computation,volume 33,issue 1 , Vol. 33, Iss. 1, 2002-01 , pp.Constructing Faithful Representations of Finitely-generated Torsion-free Nilpotent Groups
By de Graaf W.A.,Nickel W. in (2002)
Journal of Symbolic Computation,volume 33,issue 1 , Vol. 33, Iss. 1, 2002-01 , pp.Continuously Parameterized Symmetries and Buchberger’s Algorithm
Journal of Symbolic Computation,volume 33,issue 1 , Vol. 33, Iss. 1, 2002-01 , pp.On the Computation of Elementary Divisors of Integer Matrices
Journal of Symbolic Computation,volume 33,issue 1 , Vol. 33, Iss. 1, 2002-01 , pp.Solvability of Context Equations with Two Context Variables is Decidable
By Schmidt-Schauß M.,Schulz K.U. in (2002)
Journal of Symbolic Computation,volume 33,issue 1 , Vol. 33, Iss. 1, 2002-01 , pp.FFT-like Multiplication of Linear Differential Operators
By van der Hoeven J. in (2002)
Journal of Symbolic Computation,volume 33,issue 1 , Vol. 33, Iss. 1, 2002-01 , pp.