Results 251 to 260 of about 51,397 (286)

Report on the 40th International Symposium on Symbolic and Algebraic Computation

ACM Communications in Computer Algebra, 2015
The 40th International Symposium on Symbolic and Algebraic Computation (ISSAC 2015) was held at The University of Bath, Bath, UK from 6 - 9 July 2015. It featured: • 43 Contributed Paper talks selected by the ISSAC 2015 Program Committee; • 3 Invited Speakers; • 3 Tutorial Sessions; • 12 Poster Presentations;
openaire   +1 more source

On computing certain integrals, and implications for symbolic algebraic manipulation

Proceedings of the ACM annual conference on - ACM '72, 1972
Overcoming numerical difficulties in the calculation of certain integrals in an atomic physics computation provides an interesting application of symbolic algebraic manipulation. Complications in doing the symbolic calculation have implications for the design and use of symbolic algebra systems.
openaire   +1 more source

Approximate hardware generation using symbolic computer algebra employing grobner basis

Design, Automation and Test in Europe, 2018
Saman Fröhlich, Daniel Große, R. Drechsler   +2 more
semanticscholar   +1 more source

Symbolic computation in the homogeneous geometric model with clifford algebra

Proceedings of the 2004 international symposium on Symbolic and algebraic computation, 2004
Clifford algebra provides nice algebraic representations for Euclidean geometry via the homogeneous model, and is suitable for doing geometric reasoning through symbolic computation. In this paper, we propose various symbolic computation techniques in Clifford algebra.
openaire   +1 more source

Parallel systems in symbolic and algebraic computation

2002
This 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

A unified-algebra-based specification language for symbolic computing

2005
A 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   +1 more source

Symbolic algorithms for Lie algebra computation

Proceedings of the fifth ACM symposium on Symbolic and algebraic computation - SYMSAC '86, 1986
Robert E. Beck, Bernard Kolman
openaire   +1 more source

Symbolic Computer Algebra for Multipliers Revisited - It's All About Orders and Phases

Formal Methods in Computer-Aided Design
Alexander Konrad, Christoph Scholl
semanticscholar   +1 more source

Formally Verifying Multiply-and-Accumulate Architectures Using Symbolic Computer Algebra

SN Computer Science
Lennart Weingarten, Kamalika Datta, Rolf Drechsler   +2 more
semanticscholar   +1 more source

Using symbolic computer algebra for subexpression factorization and subexpression decomposition in high level synthesis

2005 IEEE International Symposium on Circuits and Systems, 2005
Xianwu Xing, C. Jong
semanticscholar   +1 more source