Asymptotics of multivariate sequences: I. Smooth points of the singular variety
Journal of Combinatorial Theory Series A
Factoring zero-dimensional ideals of linear partial differential operators
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Plural: a computer algebra system for noncommutative polynomial algebras
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Elimination theory for differential difference polynomials
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
ESF: an automatically generated encyclopedia of special functions
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)
A Sister Celine type algorithm for definite summation and integration
ACM SIGSAM Bulletin
Understanding expression simplification
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Computer proofs for polynomial identities in arbitrary many variables
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Hyperexponential solutions of finite-rank ideals in orthogonal ore rings
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
D-finiteness: algorithms and applications
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Picard--Vessiot extensions for linear functional systems
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
There is no efficient reverse derivation mode for discrete derivatives
Theoretical Computer Science
Effective scalar products of D-finite symmetric functions
Journal of Combinatorial Theory Series A
Intersection of ideals with non-commutative subalgebras
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
On computing the coefficients of bivariate holonomic formal series
Theoretical Computer Science - In memoriam: Alberto Del Lungo (1965-2003)
A telescoping method for double summations
Journal of Computational and Applied Mathematics
An algorithm for deciding zero equivalence of nested polynomially recurrent sequences
ACM Transactions on Algorithms (TALG)
Summation algorithms for Stirling number identities
Journal of Symbolic Computation
Computation of bases of free modules over the Weyl algebras
Journal of Symbolic Computation
An algebraic framework generalizing the concept of transfer functions to nonlinear systems
Automatica (Journal of IFAC)
Computing Properties of Numerical Imperative Programs by Symbolic Computation
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Case Studies in Model Manipulation for Scientific Computing
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
A characteristic set method for ordinary difference polynomial systems
Journal of Symbolic Computation
Letterplace ideals and non-commutative Gröbner bases
Journal of Symbolic Computation
A non-holonomic systems approach to special function identities
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
A skew polynomial approach to integro-differential operators
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
A new symbolic method for solving linear two-point boundary value problems on the level of operators
Journal of Symbolic Computation
An algorithm of computing inhomogeneous differential equations for definite integrals
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases
Journal of Symbolic Computation
On two-generated non-commutative algebras subject to the affine relation
CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
Exact linear modeling using Ore algebras
Journal of Symbolic Computation
Plural, a non-commutative extension of singular: past, present and future
ICMS'06 Proceedings of the Second international conference on Mathematical Software
Transforming linear functional systems into fully integrable systems
Journal of Symbolic Computation
Journal of Symbolic Computation
Computing Properties of Numerical Imperative Programs by Symbolic Computation
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Algorithms for integrals of holonomic functions over domains defined by polynomial inequalities
Journal of Symbolic Computation
Computing closed form solutions of integrable connections
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
Twisting q-holonomic sequences by complex roots of unity
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
A signature-based algorithm for computing Gröbner bases in solvable polynomial algebras
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
| Hi-index | 0.00 |