Arithmetic with real algebraic numbers is in NC
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
A new symbolic-numeric approach to stability analysis of difference schemes
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
An Algorithm for Nonparametric Decomposition of Differential Polynomials
Programming and Computing Software
Learning from Approximate Data
COCOON '00 Proceedings of the 6th Annual International Conference on Computing and Combinatorics
Computer algebra handbook
Solution of Matrix Equations by Branching Continued Fractions
Cybernetics and Systems Analysis
Large Systems of Boolean Functions: Realization by Modular Arithmetic Methods
Automation and Remote Control
Encyclopedia of Computer Science
Exact, efficient, and complete arrangement computation for cubic curves
Computational Geometry: Theory and Applications
Univariate polynomial real root isolation: continued fractions revisited
ESA'06 Proceedings of the 14th conference on Annual European Symposium - Volume 14
Complexity of real root isolation using continued fractions
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
On the complexity of real root isolation using continued fractions
Theoretical Computer Science
Complexity of real root isolation using continued fractions
Theoretical Computer Science
An Algorithm for Symbolic Solving of Differential Equations and Estimation of Accuracy
CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing
CASC'06 Proceedings of the 9th international conference on Computer Algebra in Scientific Computing
Real root isolation of multi-exponential polynomials with application
WALCOM'10 Proceedings of the 4th international conference on Algorithms and Computation
Algebraic formula manipulation in a functional language: a first attempt
FP'95 Proceedings of the 1995 international conference on Functional Programming
Computations in modules over commutative domains
CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing
Advances on the continued fractions method using better estimations of positive root bounds
CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing
Logical associative multiprocessor structure
Automation and Remote Control
Programming and Computing Software
| Hi-index | 0.00 |