# Challenges of Symbolic Computation: My Favorite Open Problems

@article{Kaltofen2000ChallengesOS, title={Challenges of Symbolic Computation: My Favorite Open Problems}, author={Erich L. Kaltofen}, journal={J. Symb. Comput.}, year={2000}, volume={29}, pages={891-919} }

The success of the symbolic mathematical computation discipline is striking. The theoretical advances have been continuous and significant: Grobner bases, the Risch integration algorithm, integer lattice basis reduction, hypergeometric summation algorithms, etc. From the beginning in the early 1960s, it has been the tradition of our discipline to create software that makes our ideas readily available to scientists, engineers, and educators: SAC-1, Reduce, Macsyma, etc. The commercial viability…

## 97 Citations

### Numerical algebraic geometry and symbolic computation

- MathematicsISSAC '04
- 2004

In 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 and a "membership test" is used to determine whether a point lies on apositive dimensional solution component.

### A framework for Symbolic and Numeric Computations

- Computer Science
- 2000

A framework for symbolic and numeric computations, called ALP, is described, which can be used to validate these new developments and to build devoted applications or solvers and this environment allows us to define parameterised but efficient classes of basic algebraic objects such as vectors, matrices, monomials and polynomials, ... which could be used easily in the construction of more elaborated algorithms.

### An environment for Symbolic and Numeric Computation

- Computer Science
- 2002

The design choices of the kernel and their impact on the development of generic and efficient codes for the treatment of algebraic objects, such as vectors, matrices, univariate and multivariate polynomials are explained.

### Project-Team Arénaire Computer Arithmetic

- Computer Science
- 2021

The goal is to provide a generic library that allows to plug external components in a plug-and-play fashion and the current focus is on bounding the worst-case time for exact and high-performance linear algebra computation with sparse and structured matrices.

### Symbolic computation: A Java based computer algebra system

- Computer Science2012 NATIONAL CONFERENCE ON COMPUTING AND COMMUNICATION SYSTEMS
- 2012

This work has come up with a vision of Symbolic computation which provides a quick, efficient and user friendly environment to its users.

### Parallel systems in symbolic and algebraic computation

- Computer Science
- 2002

This thesis describes techniques that exploit the distributed memory in massively parallel processors to satisfy the peak memory requirements of some very large computer algebra problems and demonstrates that careful attention to memory management aids solution of very large problems even without the benefit of advanced algorithms.

### An ODE-Based Method for Computing the Distance of Coprime Polynomials to Common Divisibility

- Mathematics, Computer ScienceSIAM J. Numer. Anal.
- 2017

This paper proposes a new method that allows us to include constraints on the coefficients of the polynomials and is more robust to the initial approximation than the Newton-type optimization methods available in the literature.

### Generic Reductions for In-place Polynomial Multiplication

- Computer ScienceISSAC
- 2019

This work provides a series of reductions starting with any linear-space multiplication algorithm, which yield in-place versions with the same asymptotic time complexity as the out-of-place version.

### Fast Algorithms for Zero-Dimensional Polynomial Systems using Duality

- Mathematics, Computer ScienceApplicable Algebra in Engineering, Communication and Computing
- 2003

This work addresses the question of speeding up the linear algebra phase for the computation of minimal polynomials and rational parametrizations in A using the A-module structure of the dual space $\widehat{A}$.

### Implementation of Recursive Structural Parser for Symbolic Computation using Mathematical Pseudo Language and Features of Java

- Computer Science
- 2012

A strong yet simple way to solve mathematical problems by representing expressions using Symbols and characters with the concept of pseudo language is represented.

## References

SHOWING 1-10 OF 190 REFERENCES

### Special Issue on Symbolic Numeric Algebra forPolynomials: Foreword of the Guest Editors

- Mathematics, Computer Science

To conquer the largely unexplored area between computer algebra and numerical analysis, the two cultures must move towards each other and acknowledge each other's existence and particular traits, and they must learn each other’s language.

### Computer Algebra and its Applications: Where are we Going?

- Computer ScienceGI Jahrestagung
- 1996

In conclusion, I continue to be a great fan of computer algebra and mathematical software in general, which have created an entire environment in which one can work much more productively on a variety of mathematical, scientific, and engineering tasks.

### Modern computer algebra

- Computer ScienceSIGA
- 2002

This highly successful textbook, widely regarded as the “bible of computer algebra”, gives a thorough introduction to the algorithmic basis of the mathematical engine in computer algebra systems.

### On Euclid's Algorithm and the Theory of Subresultants

- MathematicsJACM
- 1971

An elementary treatment of the theory of subresultants is presented, and the relationship of the sub resultants of a given pair of polynomials to their polynomial remainder sequence as determined by Euclid's algorithm is examined.

### FOXBOX: a system for manipulating symbolic objects in black box representation

- Computer ScienceISSAC '98
- 1998

A software package that puts in practice the black box representation of symbolic objects and provides algorithms for performing the symbolic calculus with such representations is introduced and the results of several challenge problems are presented, representing the first symbolic solutions of such problems.

### Polynomial Factorization 1987-1991

- MathematicsLATIN
- 1992

This article discusses important developments of the past five years in factorization and discusses the “classical univariate problems” of factoring a polynomial.

### Gauss: A Parameterized Domain of Computation System with Support for Signature Functions

- Computer Science, MathematicsDISCO
- 1993

The goal of this work was to design an AXIOM like system in which these signature functions can be constructed automatically, hence better exploited, and secondly, to exploit them in new ways.

### The problem of integration in finite terms

- Mathematics
- 1969

This paper deals with the problem of telling whether a given elementary function, in the sense of analysis, has an elementary indefinite integral. In ?1 of this work, we give a precise definition of…

### Algebraic Complexity Theory

- Computer ScienceHandbook of Theoretical Computer Science, Volume A: Algorithms and Complexity
- 1990