Results 241 to 250 of about 2,824 (289)
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 ...
Daniel Keren
exaly +3 more sources
Symbolic and Algebraic Computation in Robust Stability Analysis
SIGSAM Bulletin: A Quarterly Publication of the Special Interest Group on Symbolic & Algebraic Manipulation, 2000Nainn-Ping Ke
exaly +2 more sources
Computer algebra symbolic and algebraic computation
ACM SIGSAM Bulletin, 1982Computer algebra is an alternative and complement to numerical mathematics. Its importance is steadily increasing. This volume is the first systematic and complete treatment of computer algebra. It presents the basic problems of computer algebra and the best algorithms now known for their solution with their mathematical foundations, and complete ...
Bruno Buchberger +3 more
openaire +1 more source
Algebraic and Symbolic Computation Methods in Dynamical Systems
Advances in Delays and Dynamics, 2020 This book aims at reviewing recent progress in the direction of algebraic and symbolic computation methods for functional systems, e.g. ODE systems, differential time-delay equations, difference equations and integro-differential equations.
Quadrat, Alban, Zerz, Eva
exaly +2 more sources
Symbolic and algebraic computation research in Italy
ACM SIGSAM Bulletin, 1987We like to fix the starting point of the research activities in Symbolic and Algebraic Computation (SAC) in Italy at the IFIP Working Conference on Symbol Manipulation Languages and Techniques held in Pisa in September 1966. This event in fact, stimulated early research conducted for several years by single researchers cooperating more with foreign ...
Patrizia M. Gianni +2 more
openaire +1 more source
Computer Algebra Systems and Symbolic Computations
Journal of Mathematical Sciences, 2004zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
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 +2 more sources
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 +2 more sources
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