Results 161 to 170 of about 2,059 (204)
Some of the next articles are maybe not open access.
Symbolic Computation: Computer Algebra and Logic
1996In this paper we present our personal view of what should be the next step in the development of symbolic computation systems. The main point is that future systems should integrate the power of algebra and logic. We identify four gaps between the future ideal and the systems available at present: the logic, the syntax, the mathematics, and the prover ...
openaire +1 more source
Numerical algebraic geometry and symbolic computation
Proceedings of the 2004 international symposium on Symbolic and algebraic computation, 2004In a recent joint work with Andrew Sommese and Charles Wampler, numerical homotopy continuation methods have been developed to deal with positive dimensional solution sets of polynomial systems. As solving polynomial systems is such a fundamental problem, connections with recent research in symbolic computation are not hard to find. We will address two
openaire +1 more source
Symbolic and algebraic computer programming systems
ACM SIGSAM Bulletin, 1981To illustrate the difference between numeric and symbolic processing, consider a computer program (in FORTRAN, say) which given the quantities a , b , and c , can apply the quadratic formula to approximate the roots of the quadratic about 40 equation
openaire +1 more source
Systems for symbolic computations in boolean algebra
Proceedings of the international symposium on Symbolic and algebraic computation, 1990Boolean algebra as scientific discipline has a few features. It is a pure mathematical theory and, on the other hand, an applied mathematical theory too. Boolean algebra is applied, for instance, to improve intelligence of software, to automate integrated circuit design and theorem proving as it can be used to model situation analysis and decision ...
openaire +1 more source
Symbolic computation: A Java based computer algebra system
2012 NATIONAL CONFERENCE ON COMPUTING AND COMMUNICATION SYSTEMS, 2012To solve complex and large mathematical expression manually using pen and paper is a time taking task which in most cases ends up in an erroneous result. This is a major drawback which may lead to heavy losses to people dealing in numbers. Henceforth we have come up with a vision of Symbolic computation which provides a quick, efficient and user ...
K. Sudipta Achary +2 more
openaire +1 more source
Development of QC2AS -- A Computer Algebra System for Symbolic Quantum Chemical Computations
2011 International Conference on Computational Science and Its Applications, 2011This paper introduces QC2AS which is a newly designed and developed computer algebra system for symbolic quantum chemical computations. With the rapid advancement of computer, the concern with high-level model chemistry has been growing. To handle such models, it is necessary to manipulate huge algebraic formulas.
Takeshi Osoekawa +2 more
openaire +1 more source
A new generation of symbolic and algebraic computation systems
ACM SIGSAM Bulletin, 1984When we think of the future, it comes to our mind the new generation of computer systems that will become a reality. The Fifth Generation of Computer Systems is the central object goal of Japan' s ICOT project and is now being also considered as an object by other research and development worldknown projects.
openaire +1 more source
Symbolic and algebraic computations in multidimensional systems theory
ACM SIGSAM Bulletin, 1984This article has been prepared as a response to Professor B. Buchberger's invitation to each member of the program committee of EUROCAL 85 to write a short paper on his or her view of the future of the symbolic and algebraic computation, especially within the context of the individual's special field of interest.
openaire +1 more source
Symbolic and algebraic methods in computational origami
Proceedings of the 2009 international symposium on Symbolic and algebraic computation, 2009In this talk I will show the importance of symbolic and algebraic methods in computational origami. I discuss Huzita's axiomatization of origami and the algebraic graph rewriting of abstract origami. The former is used with relation to the algorithmic treatment of origami foldability and origami geometrical theorem proving.
openaire +1 more source
My view of the future of symbolic and algebraic computation
ACM SIGSAM Bulletin, 1984This note has been composed in response to Bruno Buchberger's invitation to the program committee of Eurocal '85 (and others), to provide a short paper on this topic.
openaire +1 more source