Using Rewriting Systems to Compute Left Kan Extensions and Induced Actions of Categories
Anne Heyworth, R. Brown
págs. 5-32
Fast Constructive Recognition of a Black Box Group Isomorphic to S~n of A~n using Goldbach's Conjecture
Sergey Bratus
págs. 33-58
An Algorithmic Approach to Fundamental Groups and Covers of Combinatorial Cell Complexes
S. Rees, L. H. Soicher
págs. 59-78
A Formula for the General Solution of a Constant-coefficient Difference Equation
D. A. Wolfram
págs. 79-82
SFA, a Package on Symmetric Functions Considered as Operators over the Ring of Polynomials for the Computer Algebra System MAPLE
V. Prosper
págs. 83-94
Symbolic Computation and Differential Equations: Lie Symmetries
J. Carminati
págs. 95-116
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: