Results 171 to 180 of about 2,672 (199)
Some of the next articles are maybe not open access.
A unified-algebra-based specification language for symbolic computing
2005A precise and perspicuous specification of mathematical domains of computation and their inherently related type inference mechanisms is a prerequisite for the design and systematic development of a system for symbolic computing. This paper describes Formal, a language for giving modular and well-structured specifications of such domains and ...
Jacques Calmet, Indra A. Tjandra
openaire +2 more sources
Parallel systems in symbolic and algebraic computation
2002This report describes techniques to exploit distributed memory massively parallel supercomputers to satisfy the peak memory demands of some very large computer algebra problems (over 10 GB). The memory balancing is based on a randomized hashing algorithm for dynamic data distribution.
openaire +1 more source
Symbolic algorithms for Lie algebra computation
Proceedings of the fifth ACM symposium on Symbolic and algebraic computation - SYMSAC '86, 1986Robert E. Beck, Bernard Kolman
openaire +2 more sources
Some New Symbolic Algorithms for the Computation of Generalized Asymptotes
Symmetry, 2023Sonia Pérez-Díaz +2 more
exaly
A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG
Applied Mathematics and Computation, 2006Tolga Guyer, Şeref Mirasyedioğlu
exaly
Computer algebra and symbolic computation: Mathematical methods
The Mathematical Gazette, 2004openaire +1 more source
Special Issue on Symbolic and Algebraic Computation: ISSAC 2017
Journal of Symbolic Computation, 2020Mohab Safey El Din, Chee Yap
openaire +2 more sources