Skip to main content
SpringerLink
Log in

The Holonomic Ansatz II. Automatic Discovery(!) And Proof(!!) of Holonomic Determinant Evaluations

  • Published:
Annals of Combinatorics Aims and scope Submit manuscript

Abstract.

Many explicit determinant evaluations can be automatically conjectured, and then rigorously automatically proved, once we suspect that they belong to the Holonomic Ansatz.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Author information

Authors and Affiliations

  1. Department of Mathematics, Rutgers University (New Brunswick), Hill Center-Busch Campus, 110 Frelinghuysen Rd., Piscataway, NJ, 08854-8019, USA

    Doron Zeilberger

Authors
  1. Doron Zeilberger
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Doron Zeilberger.

Additional information

http://www.math.rutgers.edu/.zeilberg/.

Accompanied by the Maple package DET available from http://www.math.rutgers.edu/~zeilberg/tokhniot/DET.

Supported in part by the NSF.

Received February 21, 2006

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zeilberger, D. The Holonomic Ansatz II. Automatic Discovery(!) And Proof(!!) of Holonomic Determinant Evaluations. Ann. Comb. 11, 241–247 (2007). https://doi.org/10.1007/s00026-007-0317-y

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00026-007-0317-y

Keywords:

AMS Subject Classification:

Search

Navigation