Christoph Koutschan

Doron Zeilberger

CoRR, 2021

Approximation of convex polygons by polygons.

[BibT_eX]

[DOI]

Anton Ponomarchuk

Josef Schicho

Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021

2020

Calculation and Properties of Zonal Polynomials.

[BibT_eX]

[DOI]

Lin Jiu

Math. Comput. Sci., 2020

Lower Bounds on the Number of Realizations of Rigid Graphs.

[BibT_eX]

[DOI]

Georg Grasegger

Elias P. Tsigaridas

Exp. Math., 2020

2019

Foreword.

[BibT_eX]

[DOI]

Michel Beaudin

Thierry N. Dana-Picard

Math. Comput. Sci., 2019

Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms.

[BibT_eX]

[DOI]

J. Symb. Comput., 2019

A curious family of binomial determinants that count rhombus tilings of a holey hexagon.

[BibT_eX]

[DOI]

Thotsaporn Thanatipanonda

J. Comb. Theory A, 2019

Exact Lower Bounds for Monochromatic Schur Triples and Generalizations.

[BibT_eX]

[DOI]

Elaine Wong

CoRR, 2019

2018

The Number of Realizations of a Laman Graph.

[BibT_eX]

[DOI]

SIAM J. Appl. Algebra Geom., 2018

Reduction-based creative telescoping for fuchsian D-finite functions.

[BibT_eX]

[DOI]

J. Symb. Comput., 2018

Desingularization in the q-Weyl algebra.

[BibT_eX]

[DOI]

Yi Zhang

CoRR, 2018

Desingularization in the q-Weyl algebra.

[BibT_eX]

[DOI]

Constantin Costi Siriteanu

Yi Zhang

Adv. Appl. Math., 2018

2017

Planar linkages following a prescribed motion.

[BibT_eX]

[DOI]

Math. Comput., 2017

Computing the number of realizations of a Laman graph.

[BibT_eX]

[DOI]

Electron. Notes Discret. Math., 2017

2016

Exact ZF Analysis and Computer-Algebra-Aided Evaluation in Rank-1 LoS Rician Fading.

[BibT_eX]

[DOI]

Akimichi Takemura

Satoshi Kuriki

Donald St. P. Richards

Hyundong Shin

IEEE Trans. Wirel. Commun., 2016

Holonomic Tools for Basic Hypergeometric Functions.

[BibT_eX]

[DOI]

Peter Paule

CoRR, 2016

Motion polynomials and planar linkages.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2016

Inverse inequality estimates with symbolic computation.

[BibT_eX]

[DOI]

Martin Neumüller

Cristian-Silviu Radu

Adv. Appl. Math., 2016

Reduction-Based Creative Telescoping for Algebraic Functions.

[BibT_eX]

[DOI]

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

2015

MIMO Zero-Forcing Performance Evaluation Using the Holonomic Gradient Method.

[BibT_eX]

[DOI]

IEEE Trans. Wirel. Commun., 2015

Proof of the Wilf-Zeilberger Conjecture.

[BibT_eX]

[DOI]

CoRR, 2015

Multi-parameter laser modes in paraxial optics.

[BibT_eX]

[DOI]

Erwin Suazo

Sergei K. Suslov

ACM Commun. Comput. Algebra, 2015

Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models.

[BibT_eX]

[DOI]

Helene Ranetbauer

Georg Regensburger

Marie-Therese Wolfram

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

Integral D-Finite Functions.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015

2014

A generalized Apagodu-Zeilberger algorithm.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014

2013

Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order

[BibT_eX]

[DOI]

CoRR, 2013

Creative Telescoping for Holonomic Functions.

[BibT_eX]

[DOI]

CoRR, 2013

Holonomic functions in mathematica.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2013

2012

The Noncommutative A-Polynomial of (-2, 3, n) Pretzel Knots.

[BibT_eX]

[DOI]

Exp. Math., 2012

Multivariate linear recurrences and power series division.

[BibT_eX]

[DOI]

Herwig Hauser

Discret. Math., 2012

Irreducibility of q-difference operators and the knot 7_4

[BibT_eX]

[DOI]

CoRR, 2012

Zeilberger's holonomic ansatz for Pfaffians.

[BibT_eX]

[DOI]

Masao Ishikawa

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2012

Twisting q-holonomic sequences by complex roots of unity.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2012

Relativistic Coulomb Integrals and Zeilberger's Holonomic Systems Approach II.

[BibT_eX]

[DOI]

Peter Paule

Sergei K. Suslov

Proceedings of the Algebraic and Algorithmic Aspects of Differential and Integral Operators, 2012

2011

Advanced Computer Algebra for Determinants

[BibT_eX]

[DOI]

Thotsaporn "Aek" Thanatipanonda

CoRR, 2011

Lattice Green's Functions of the Higher-Dimensional Face-Centered Cubic Lattices

[BibT_eX]

[DOI]

CoRR, 2011

Computer Algebra meets Finite Elements: an Efficient Implementation for Maxwell's Equations

[BibT_eX]

[DOI]

Christoph Lehrenfeld

Joachim Schöberl

CoRR, 2011

The sl3 Jones polynomial of the trefoil: A case study of q-holonomic sequences.

[BibT_eX]

[DOI]

Adv. Appl. Math., 2011

On Kahan's Rules for Determining Branch Cuts.

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011

On Two-Generated Non-commutative Algebras Subject to the Affine Relation.

[BibT_eX]

[DOI]

Viktor Levandovskyy

Oleksandr Motsak

Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011

2010

A Fast Approach to Creative Telescoping.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2010

The 1958 Pekeris-Accad-WEIZAC Ground-Breaking Collaboration that computed Ground States of Two-Electron Atoms (and its 2010 Redux)

[BibT_eX]

[DOI]

Doron Zeilberger

CoRR, 2010

Proof of George Andrews's and David Robbins's q-TSPP Conjecture.

[BibT_eX]

[DOI]

Doron Zeilberger

CoRR, 2010

2009

Eliminating Human Insight: An Algorithmic Proof of Stembridge's TSPP Theorem

[BibT_eX]

[DOI]

CoRR, 2009

Advanced applications of the holonomic systems approach.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2009

2008

Regular languages and their generating functions: The inverse problem.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Computing one of Victor Moll's irresistible integrals with computer algebra.

[BibT_eX]

[DOI]