| Publication | Date of Publication | Type |
|---|
| Lazy Hermite reduction and creative telescoping for algebraic functions | 2025-01-20 | Paper |
| Guessing with little data | 2025-01-17 | Paper |
| Order-degree-height surfaces for linear operators | 2025-01-17 | Paper |
Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker
Formal Methods in System Design | 2025-01-13 | Paper |
The guess-and-prove paradigm in action
Internationale Mathematische Nachrichten | 2024-08-14 | Paper |
Hardinian arrays
The Electronic Journal of Combinatorics | 2024-04-09 | Paper |
Transcendence Certificates for D-finite Functions
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation | 2023-11-03 | Paper |
Flip Graphs for Matrix Multiplication
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation | 2023-11-03 | Paper |
Order bounds for C2-finite sequences
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation | 2023-11-03 | Paper |
Hermite Reduction for D-finite Functions via Integral Bases
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation | 2023-11-03 | Paper |
D-Finite Functions
Algorithms and Computation in Mathematics | 2023-10-30 | Paper |
Some D-finite and some possibly D-finite sequences in the OEIS
(available as arXiv preprint) | 2023-08-28 | Paper |
| Some D-finite and some possibly D-finite sequences in the OEIS | 2023-08-28 | Paper |
A normal form for matrix multiplication schemes
Algebraic Informatics | 2023-07-26 | Paper |
OuterCount: a first-level solution-counter for quantified Boolean formulas
Lecture Notes in Computer Science | 2023-06-02 | Paper |
Multivariate ore polynomials in SageMath
ACM Communications in Computer Algebra | 2023-03-03 | Paper |
Lonely points in simplices
Discrete & Computational Geometry | 2023-01-23 | Paper |
A family of schemes for multiplying 3 × 3 matrices with 23 coefficient multiplications
ACM Communications in Computer Algebra | 2023-01-11 | Paper |
Why you should remove zeros from data before guessing
ACM Communications in Computer Algebra | 2023-01-11 | Paper |
How does the Gerrymander Sequence Continue?
(available as arXiv preprint) | 2023-01-10 | Paper |
| How does the Gerrymander Sequence Continue? | 2023-01-10 | Paper |
Quadrant walks starting outside the quadrant
Séminaire Lotharingien de Combinatoire | 2023-01-05 | Paper |
Quadrant walks starting outside the quadrant
Séminaire Lotharingien de Combinatoire | 2023-01-05 | Paper |
The generating function of Kreweras walks with interacting boundaries is not algebraic
Séminaire Lotharingien de Combinatoire | 2023-01-05 | Paper |
The generating function of Kreweras walks with interacting boundaries is not algebraic
Séminaire Lotharingien de Combinatoire | 2023-01-05 | Paper |
Good pivots for small sparse matrices
(available as arXiv preprint) | 2022-12-21 | Paper |
| The Orbit-Sum Method for Higher Order Equations | 2022-11-15 | Paper |
Polynomial bivariate copulas of degree five: characterization and some particular inequalities
Dependence Modeling | 2021-11-15 | Paper |
Walks with small steps in the 4D-orthant
Annals of Combinatorics | 2021-03-29 | Paper |
New ways to multiply \(3 \times 3\)-matrices
Journal of Symbolic Computation | 2021-02-18 | Paper |
Incremental column-wise verification of arithmetic circuits using computer algebra
Formal Methods in System Design | 2021-02-08 | Paper |
Separating variables in bivariate polynomial ideals
Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation | 2021-01-22 | Paper |
Integral bases for p-recursive sequences
Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation | 2021-01-22 | Paper |
Foreword
Journal of Symbolic Computation | 2020-09-19 | Paper |
Bounds for substituting algebraic functions into D-finite functions
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
| Counting Standard Young Tableaux With Restricted Runs | 2020-06-17 | Paper |
Continued Classification of 3D Lattice Walks in the Positive Octant
(available as arXiv preprint) | 2020-05-26 | Paper |
| Continued Classification of 3D Lattice Walks in the Positive Octant | 2020-05-26 | Paper |
Local search for fast matrix multiplication
(available as arXiv preprint) | 2020-05-20 | Paper |
Inhomogeneous restricted lattice walks
Séminaire Lotharingien de Combinatoire | 2020-03-23 | Paper |
Inhomogeneous restricted lattice walks
Séminaire Lotharingien de Combinatoire | 2020-03-23 | Paper |
Asymptotic enumeration of compacted binary trees of bounded right height
Journal of Combinatorial Theory. Series A | 2020-02-21 | Paper |
Asymptotic enumeration of compacted binary trees of bounded right height
Journal of Combinatorial Theory. Series A | 2020-02-21 | Paper |
Integral P-Recursive Sequences
(available as arXiv preprint) | 2020-02-07 | Paper |
Separating Variables in Bivariate Polynomial Ideals
(available as arXiv preprint) | 2020-02-04 | Paper |
| On the maximal minimal cube lengths in distinct DNF tautologies | 2020-01-21 | Paper |
On the maximal minimal cube lengths in distinct DNF tautologies
(available as arXiv preprint) | 2020-01-21 | Paper |
Apparent singularities of D-finite systems
Journal of Symbolic Computation | 2019-06-28 | Paper |
Hypercontractive inequalities via SOS, and the Frankl–Rödl graph
Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms | 2019-06-20 | Paper |
A simple rederivation of Onsager's solution of the 2D Ising model using experimental mathematics
The Mathematical Intelligencer | 2019-03-12 | Paper |
Factorization of $C$-finite sequences
(available as arXiv preprint) | 2019-01-29 | Paper |
Short proofs for some symmetric quantified Boolean formulas
Information Processing Letters | 2018-10-19 | Paper |
Symmetries of quantified Boolean formulas
(available as arXiv preprint) | 2018-08-10 | Paper |
D-finite numbers
International Journal of Number Theory | 2018-08-01 | Paper |
| Automatic Classification of Restricted Lattice Walks | 2018-07-23 | Paper |
Automatic Classification of Restricted Lattice Walks
(available as arXiv preprint) | 2018-07-23 | Paper |
Lattice walks in the octant with infinite associated groups
(available as arXiv preprint) | 2018-01-18 | Paper |
Reduction-based creative telescoping for Fuchsian D-finite functions
Journal of Symbolic Computation | 2017-10-10 | Paper |
Some open problems related to creative telescoping
Journal of Systems Science and Complexity | 2017-09-06 | Paper |
Reduction-based creative telescoping for algebraic functions
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation | 2017-05-10 | Paper |
Desingularization explains order-degree curves for Ore operators
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
Finding hyperexponential solutions of linear ODEs by numerical evaluation
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
Finding hyperexponential solutions of linear ODEs by numerical evaluation
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
Application of unspecified sequences in symbolic summation
Proceedings of the 2006 international symposium on Symbolic and algebraic computation | 2017-02-03 | Paper |
On 3-dimensional lattice walks confined to the positive octant
Annals of Combinatorics | 2017-01-26 | Paper |
Hypergeometric expressions for generating functions of walks with small steps in the quarter plane
European Journal of Combinatorics | 2016-12-27 | Paper |
Hypercontractive inequalities via SOS, and the Frankl-Rödl graph
Discrete Analysis | 2016-10-10 | Paper |
A modified Abramov-Petkovsek reduction and creative telescoping for hypergeometric terms
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation | 2016-09-29 | Paper |
Integral D-finite functions
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation | 2016-09-29 | Paper |
Solving parametric linear systems: an experiment with constraint algebraic programming
ACM SIGSAM Bulletin | 2016-07-18 | Paper |
Ore polynomials in Sage
Lecture Notes in Computer Science | 2016-05-25 | Paper |
Walks in the quarter plane with multiple steps
(available as arXiv preprint) | 2016-05-04 | Paper |
On a conjecture of Cusick concerning the sum of digits of \(n\) and \(n+t\)
SIAM Journal on Discrete Mathematics | 2016-04-07 | Paper |
Desingularization of Ore operators
Journal of Symbolic Computation | 2015-12-08 | Paper |
A generalized Apagodu-Zeilberger algorithm
Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation | 2015-11-11 | Paper |
A generalized Apagodu-Zeilberger algorithm
Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation | 2015-11-11 | Paper |
Bounds for D-finite closure properties
Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation | 2015-11-11 | Paper |
| Computer algebra | 2015-10-07 | Paper |
When can we detect that a P-finite sequence is positive?
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation | 2015-09-17 | Paper |
Partial denominator bounds for partial linear difference equations
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation | 2015-09-17 | Paper |
An algorithm for deciding zero equivalence of nested polynomially recurrent sequences
ACM Transactions on Algorithms | 2015-09-02 | Paper |
A procedure for proving special function inequalities involving a discrete parameter
Proceedings of the 2005 international symposium on Symbolic and algebraic computation | 2015-07-16 | Paper |
A refined denominator bounding algorithm for multivariate linear difference equations
Proceedings of the 36th international symposium on Symbolic and algebraic computation | 2015-06-09 | Paper |
Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order
Texts & Monographs in Symbolic Computation | 2015-04-01 | Paper |
The holonomic toolkit
Texts & Monographs in Symbolic Computation | 2015-04-01 | Paper |
Telescopers for rational and algebraic functions via residues
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation | 2015-03-27 | Paper |
Order-degree curves for hypergeometric creative telescoping
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation | 2015-03-27 | Paper |
On the length of integers in telescopers for proper hypergeometric terms
Journal of Symbolic Computation | 2014-07-16 | Paper |
Formal Laurent series in several variables
Expositiones Mathematicae | 2014-01-13 | Paper |
Proof of George Andrews's and David Robbins's \(q\)-TSPP conjecture
Proceedings of the National Academy of Sciences | 2013-02-02 | Paper |
A method for determining the mod-\(2^k\) behaviour of recursive sequences, with applications to subgroup counting
The Electronic Journal of Combinatorics | 2012-10-23 | Paper |
A method for determining the mod-\(2^k\) behaviour of recursive sequences, with applications to subgroup counting
The Electronic Journal of Combinatorics | 2012-10-23 | Paper |
A non-holonomic systems approach to special function identities
Proceedings of the 2009 international symposium on Symbolic and algebraic computation | 2012-05-13 | Paper |
Trading order for degree in creative telescoping
Journal of Symbolic Computation | 2012-05-11 | Paper |
Dominance in the family of Sugeno-Weber t-norms
Fuzzy Sets and Systems | 2012-04-13 | Paper |
The computational challenge of enumerating high-dimensional rook walks
Advances in Applied Mathematics | 2011-10-11 | Paper |
How to use cylindrical algebraic decomposition
Séminaire Lotharingien de Combinatoire | 2011-02-09 | Paper |
The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
Texts & Monographs in Symbolic Computation | 2011-01-31 | Paper |
Proof of Ira Gessel's lattice path conjecture
Proceedings of the National Academy of Sciences | 2011-01-24 | Paper |
Proof of Ira Gessel's lattice path conjecture
Proceedings of the National Academy of Sciences | 2011-01-24 | Paper |
Determining the closed forms of the anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra
Computer Physics Communications | 2010-10-28 | Paper |
The complete generating function for Gessel walks is algebraic
Proceedings of the American Mathematical Society | 2010-09-27 | Paper |
A Mathematica package for \(q\)-holonomic sequences and power series
The Ramanujan Journal | 2009-11-16 | Paper |
Automated proofs for some Stirling number identities
The Electronic Journal of Combinatorics | 2009-04-07 | Paper |
Automated proofs for some Stirling number identities
The Electronic Journal of Combinatorics | 2009-04-07 | Paper |
| Computer algebra for special function inequalities | 2009-02-12 | Paper |
Experiments with a Positivity-Preserving Operator
Experimental Mathematics | 2009-01-29 | Paper |
Experiments with a Positivity-Preserving Operator
Experimental Mathematics | 2009-01-29 | Paper |
Integration of algebraic functions
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation | 2009-01-20 | Paper |
| Symbolic summation with radical expressions | 2009-01-20 | Paper |
Computing the algebraic relations of \(C\)-finite sequences and multisequences
Journal of Symbolic Computation | 2009-01-09 | Paper |
The quasi-holonomic ansatz and restricted lattice walks
Journal of Difference Equations and Applications | 2008-11-05 | Paper |
| A Proof of George Andrews' and Dave Robbins' q-TSPP Conjecture (modulo a finite amount of routine calculations) | 2008-08-05 | Paper |
Solving difference equations whose coefficients are not transcendental
Theoretical Computer Science | 2008-07-31 | Paper |
Summation algorithms for Stirling number identities
Journal of Symbolic Computation | 2008-02-04 | Paper |
| scientific article; zbMATH DE number 5224557 (Why is no real title available?) | 2008-01-09 | Paper |
scientific article; zbMATH DE number 5224557 (Why is no real title available?)
(available as arXiv preprint) | 2008-01-09 | Paper |
| scientific article; zbMATH DE number 5224557 (Why is no real title available?) | 2008-01-09 | Paper |
A Computer Proof of Moll’s Log-Concavity Conjecture
Proceedings of the American Mathematical Society | 2007-11-01 | Paper |
SumCracker: A package for manipulating symbolic sums and related objects
Journal of Symbolic Computation | 2007-10-23 | Paper |
On Turán's inequality for Legendre polynomials
Expositiones Mathematicae | 2007-07-19 | Paper |
Shift equivalence of P-finite sequences
The Electronic Journal of Combinatorics | 2007-03-12 | Paper |
Shift equivalence of P-finite sequences
The Electronic Journal of Combinatorics | 2007-03-12 | Paper |
Indefinite summation with unspecified summands
Discrete Mathematics | 2006-09-14 | Paper |
Computer proofs for polynomial identities in arbitrary many variables
Proceedings of the 2004 international symposium on Symbolic and algebraic computation | 2005-03-14 | Paper |
Towards a Parallel Summation Algorithm
(available as arXiv preprint) | N/A | Paper |
