Results 171 to 180 of about 2,059 (204)
Some of the next articles are maybe not open access.
Using symbolic computation to find algebraic invariants
IEEE Transactions on Pattern Analysis and Machine Intelligence, 1994Implicit polynomials have proved themselves as having excellent representation power for complicated objects, and there is growing use of them in computer vision, graphics, and CAD. A must for every system that tries to recognize objects based on their representation by implicit polynomials are invariants, which are quantities assigned to polynomials ...
openaire +1 more source
A language and system for symbolic algebra on a digital computer
Communications of the ACM, 1966This paper describes the ALPAK system and the ALTRAN language for symbolic algebra on a digital computer. The ALPAK system is specifically designed for the efficient handling of large scale algebraic computations, and has been applied to a wide variety of practical problems.
openaire +1 more source
Symbolic Computer Algebra: The Classroom Computer Takes a Quantum Jump
The Mathematics Teacher, 1984No one doubts that growth in computing technology has had a profound impact on our society, and certainly many interesting applications are now within the grasp of mathematics students at all levels.
Dan Kunkle, Charles I. Burch
openaire +1 more source
Arithmetic Circuit Verification Based on Symbolic Computer Algebra
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2008This paper presents a formal approach to verify arithmetic circuits using symbolic computer algebra. Our method describes arithmetic circuits directly with high-level mathematical objects based on weighted number systems and arithmetic formulae. Such circuit description can be effectively verified by polynomial reduction techniques using Grobner Bases.
Yuki Watanabe +3 more
openaire +1 more source
Symbolic and Algebraic Computation by Computers
Symbolic and Algebraic Computation by Computers, 1985N. Inada, T. Soma
openaire +2 more sources
Experiment of Multithreading Symbolic and Algebraic Computations with OpenMP
2006This paper describes the current status of a project for multithreading algebraic computations, which aims at the utilization of today’s high-spec PCs with hyperthreading or dual-core technologies. Our effort is done by applying OpenXM with minimal cost of development, and includes memory management in multithreaded environment.
openaire +1 more source
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 +1 more source
Some New Symbolic Algorithms for the Computation of Generalized Asymptotes
Symmetry, 2023Sonia Pérez-Díaz +2 more
exaly