Results 231 to 240 of about 53,514 (278)
Some of the next articles are maybe not open access.
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 ...
P Gianni, A Miola, T Mora
openaire +1 more source
Algebraic and Symbolic Computation Methods in Dynamical Systems
2020This 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. In the nineties, modern algebraic theories were introduced in mathematical systems theory and in control theory ...
Quadrat, Alban, Zerz, Eva
openaire +2 more sources
Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021In this paper we build on methods based on Symbolic Computer Algebra that have been applied successfully to multiplier verification and more recently to divider verification as well. We show that existing methods are not sufficient to verify optimized non-restoring dividers and we enhance those methods by a novel optimization method for polynomials w ...
Christoph Scholl +4 more
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
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
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
Symbolic and algebraic computation may support secondary education
1985The broad aim of this research is to transfer knowledge from the experienced to the inexperienced person, and in a way to improve the teaching ability of symbolic and algebraic manipulation by delivering knowledge-based experimental kits to school la boratories of Mathematics.
openaire +1 more source
On computing certain integrals, and implications for symbolic algebraic manipulation
Proceedings of the ACM annual conference on - ACM '72, 1972Overcoming 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
Symbolic and Algebraic Computation by Computers
Symbolic and Algebraic Computation by Computers, 1985N. Inada, T. Soma
openaire +2 more sources