Normal forms in function fields
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Integration to obtain expressions valid on domains of maximum extent
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
von zur Gathen's factorization challenge
ACM SIGSAM Bulletin
The evaluation of trigonometric integrals avoiding spurious discontinuities
ACM Transactions on Mathematical Software (TOMS)
Fast polynomial dispersion computation and its application to indefinite summation
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Preconditioning of rectangular polynomial matrices for efficient Hermite normal form computation
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Searching techniques for integral tables
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
The singular value decomposition for polynomial systems
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Evaluation of the heuristic polynomial GCD
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Symbolic analysis for parallelizing compilers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Arithmetic and factorization of polynomial over F2 (extended abstract)
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Parallel distinct degree factorization algorithm
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Fraction-free computation of matrix Padé systems
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
On symmetric powers of differential operators
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
A modular algorithm for computing greatest common right divisors of Ore polynomials
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
FOXBOX: a system for manipulating symbolic objects in black box representation
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
On bivariate Hensel and its parallelization
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Solving “generalized algebraic equations”
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
On the genericity of the modular polynomial GCD algorithm
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
A reduction algorithm for matrices depending on a parameter
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Solving linear ordinary differential equations over C (x, e∫ f(x)dx)
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Diophantine linear system solving
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Shifted normal forms of polynomial matrices
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Computing univariate GCDs over number fields
Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms
Algebraic methods and arithmetic filtering for exact predicates on circle arcs
Proceedings of the sixteenth annual symposium on Computational geometry
Applications of the polynomial s-power basis in geometry processing
ACM Transactions on Graphics (TOG)
Designs, Codes and Cryptography - Special issue on towards a quarter-century of public key cryptography
Pseudofactors of multivariate polynomials
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Using symbolic algebra in algorithmic level DSP synthesis
Proceedings of the 38th annual Design Automation Conference
Computing all factorizations in ***
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Introduction to the GiNaC framework for symbolic computation within the C++ programming language
Journal of Symbolic Computation
Algebraic and symbolic manipulation of Poisson series
Journal of Symbolic Computation
Predicting zero coefficients in formal power series computations
Journal of Symbolic Computation
Theoretical Computer Science
Landen transformations and the integration of rational functions
Mathematics of Computation
A Machine-Checked Implementation of Buchberger's Algorithm
Journal of Automated Reasoning
Symbolic algebra and timing driven data-flow synthesis
Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design
The calculation of radical ideals in positive characteristic
Journal of Symbolic Computation
Which pivot to solve linear systems?
Journal of Computational and Applied Mathematics
Rapid multiplication modulo the sum and difference of highly composite numbers
Mathematics of Computation
CRYPTO '96 Proceedings of the 16th Annual International Cryptology Conference on Advances in Cryptology
Polynomial Constants Are Decidable
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Optimized Q-pivot for Exact Linear Solvers
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Factoring multivariate polynomials via partial differential equations
Mathematics of Computation
Theoretical Computer Science - Latin American theoretical informatics
Hensel lifting and bivariate polynomial factorisation over finite fields
Mathematics of Computation
Fraction-free row reduction of matrices of skew polynomials
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
Global Minimization of a Multivariate Polynomial using Matrix Methods
Journal of Global Optimization
Exploiting fast hardware floating point in high precision computation
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Computer algebra handbook
Factoring systems of linear PDEs with finite-dimensional solution spaces
Journal of Symbolic Computation - Special issue: International symposium on symbolic and algebraic computation (ISSAC 2002)
Complete, exact, and efficient computations with cubic curves
SCG '04 Proceedings of the twentieth annual symposium on Computational geometry
Understanding expression simplification
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Differential rational normal forms and a reduction algorithm for hyperexponential func
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Hypercomputation by definition
Theoretical Computer Science - Super-recursive algorithms and hypercomputation
Probabilistic algorithms for computing resultants
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Factorization of multivariate polynomials by extended Hensel construction
ACM SIGSAM Bulletin
The shifted number system for fast linear algebra on integer matrices
Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage
An exact and efficient approach for computing a cell in an arrangement of quadrics
Computational Geometry: Theory and Applications - Special issue on robust geometric algorithms and their implementations
On computing polynomial GCDs in alternate bases
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Implementation techniques for fast polynomial arithmetic in a high-level programming environment
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Symbolic-numeric sparse interpolation of multivariate polynomials
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Exact, efficient, and complete arrangement computation for cubic curves
Computational Geometry: Theory and Applications
Gaussian elimination: a case study in efficient genericity with MetaOCaml
Science of Computer Programming - Special issue on the first MetaOCaml workshop 2004
Cunningham numbers in modular arithmetic
Programming and Computing Software
Output-sensitive modular algorithms for polynomial matrix normal forms
Journal of Symbolic Computation
Symmetric subresultants and applications
Journal of Symbolic Computation
Algorithms for quadratic forms
Journal of Symbolic Computation
Exact and efficient 2D-arrangements of arbitrary algebraic curves
Proceedings of the nineteenth annual ACM-SIAM symposium on Discrete algorithms
Real Algebraic Numbers: Complexity Analysis and Experimentation
Reliable Implementation of Real Number Algorithms: Theory and Practice
Evaluation of a Java Computer Algebra System
Computer Mathematics
An improved EZ-GCD algorithm for multivariate polynomials
Journal of Symbolic Computation
The modpn library: bringing fast polynomial arithmetic into MAPLE
ACM Communications in Computer Algebra
Symbolic-numeric sparse interpolation of multivariate polynomials
Journal of Symbolic Computation
Probabilistic Reachability for Parametric Markov Models
Proceedings of the 16th International SPIN Workshop on Model Checking Software
Fraction-free computation of simultaneous padé approximants
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
A verified Common Lisp implementation of Buchberger's algorithm in ACL2
Journal of Symbolic Computation
An exact and efficient approach for computing a cell in an arrangement of quadrics
Computational Geometry: Theory and Applications - Special issue on robust geometric algorithms and their implementations
Exact, efficient, and complete arrangement computation for cubic curves
Computational Geometry: Theory and Applications
Lazy and Forgetful Polynomial Arithmetic and Applications
CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing
The shifted number system for fast linear algebra on integer matrices
Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage
Normal forms for general polynomial matrices
Journal of Symbolic Computation
Invariants for the FoCaL language
Annals of Mathematics and Artificial Intelligence
Notes on triangular sets and triangulation-decomposition algorithms I: polynomial systems
SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation
Multi-variate polynomials and Newton-Puiseux expansions
SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation
GCD of many integers (extended abstract)
COCOON'99 Proceedings of the 5th annual international conference on Computing and combinatorics
Algorithms for solving linear systems over cyclotomic fields
Journal of Symbolic Computation
A complete modular resultant algorithm targeted for realization on graphics hardware
Proceedings of the 4th International Workshop on Parallel and Symbolic Computation
A high-performance algorithm for calculating cyclotomic polynomials
Proceedings of the 4th International Workshop on Parallel and Symbolic Computation
LU factoring of non-invertible matrices
ACM Communications in Computer Algebra
Modular Las Vegas algorithms for polynomial absolute factorization
Journal of Symbolic Computation
Algebraic and numerical algorithms
Algorithms and theory of computation handbook
Applications of FFT and structured matrices
Algorithms and theory of computation handbook
Generic, type-safe and object oriented computer algebra software
CASC'10 Proceedings of the 12th international conference on Computer algebra in scientific computing
Constructive homomorphisms for classical groups
Journal of Symbolic Computation
An algebraic approach to continuous collision detection for ellipsoids
Computer Aided Geometric Design
Polynomial algebra for Birkhoff interpolants
Numerical Algorithms
Foreword: In honour of Keith Geddes on his 60th birthday
Journal of Symbolic Computation
Unique factorization domains in the java computer algebra system
ADG'08 Proceedings of the 7th international conference on Automated deduction in geometry
Symbolic definite (and indefinite) integration: methods and open issues
ACM Communications in Computer Algebra
Bit-size estimates for triangular sets in positive dimension
Journal of Complexity
Symbolic analysis of imperative programming languages
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
Proving formally the implementation of an efficient gcd algorithm for polynomials
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Modular resultant algorithm for graphics processors
ICA3PP'10 Proceedings of the 10th international conference on Algorithms and Architectures for Parallel Processing - Volume Part I
Exact computation of polynomial zeros expressible by square roots
ISAAC'04 Proceedings of the 15th international conference on Algorithms and Computation
A non-redundant and efficient architecture for karatsuba-ofman algorithm
ISC'05 Proceedings of the 8th international conference on Information Security
PQCrypto'10 Proceedings of the Third international conference on Post-Quantum Cryptography
Convolution surfaces based on polygonal curve skeletons
Journal of Symbolic Computation
A symbolic analysis framework for static analysis of imperative programming languages
Journal of Systems and Software
Parallel computation of bivariate polynomial resultants on graphics processing units
PARA'10 Proceedings of the 10th international conference on Applied Parallel and Scientific Computing - Volume 2
Description of Minimum Weight Codewords of Cyclic Codes by Algebraic Systems
Finite Fields and Their Applications
Improving the berlekamp algorithm for binomials xn-a
WAIFI'12 Proceedings of the 4th international conference on Arithmetic of Finite Fields
Computing high precision Matrix Padé approximants
Numerical Algorithms
Polynomial division using dynamic arrays, heaps, and packed exponent vectors
CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing
On the bit-complexity of sparse polynomial and series multiplication
Journal of Symbolic Computation
On simultaneous row and column reduction of higher-order linear differential systems
Journal of Symbolic Computation
Structured FFT and TFT: symmetric and lattice polynomials
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Computing resultants on Graphics Processing Units: Towards GPU-accelerated computer algebra
Journal of Parallel and Distributed Computing
| Hi-index | 0.00 |