On the computer solution of symmetric homogeneous triangle inequalities
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
On the multi-threaded computation of integral polynomial greatest common divisors
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Computer algebra in spacetime embedding
Journal of Symbolic Computation
Real zero isolation for trigonometric polynomials
ACM Transactions on Mathematical Software (TOMS)
An object-oriented language for symbolic computation—applied to machine element analysis
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
User interfaces for symbolic computation: a case study
UIST '93 Proceedings of the 6th annual ACM symposium on User interface software and technology
Fast polynomial dispersion computation and its application to indefinite summation
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Symbolic analysis for parallelizing compilers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Predicting zero coefficients in formal power series computations
Journal of Symbolic Computation
Elimination and Resultants - Part 1: Elimination and Bivariate Resultants
IEEE Computer Graphics and Applications
Polynomial Constants Are Decidable
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Implicitization of rational surfaces by means of polynomial interpolation
Computer Aided Geometric Design
Modular algorithms for computing Gröbner bases
Journal of Symbolic Computation
Computer algebra handbook
Understanding expression simplification
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Encyclopedia of Computer Science
Intersecting quadrics: an efficient and exact implementation
Computational Geometry: Theory and Applications
Algebraic and numerical algorithms
Algorithms and theory of computation handbook
Programming and Computing Software
Computer algebra methods in the study of nonlinear differential systems
Computational Mathematics and Mathematical Physics
Changing assessment methods: New rules, new roles
Journal of Symbolic Computation
Hi-index | 0.00 |