A Computer Proof of Moll's Log-Concavity Conjecture

Manuel Kauers; Peter Paule

A Computer Proof of Moll's Log-Concavity Conjecture

Research Institute for Symbolic Computation

Research output: Working paper and reports › Research report

Abstract

In his study on quartic integrals, Moll met a specialized family of Jacobi polynomials. Moll conjectured that the corresponding coefficient sequences are log-concanve. In this paper, we settle Moll's conjecture by a non-trivial usage of computer algebra

Original language	English
Place of Publication	Altenbergerstraße 69, 4040 Linz
Publisher	JKU Linz
Number of pages	9
Publication status	Published - Aug 2006

Publication series

Name	SFB F013 Reports
No.	2006-15

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101009 Geometry
101012 Combinatorics
101013 Mathematical logic
101020 Technical mathematics

Cite this

@techreport{5b73f6acedfb4687a43ec9841195b927,

title = "A Computer Proof of Moll's Log-Concavity Conjecture",

abstract = "In his study on quartic integrals, Moll met a specialized family of Jacobi polynomials. Moll conjectured that the corresponding coefficient sequences are log-concanve. In this paper, we settle Moll's conjecture by a non-trivial usage of computer algebra",

author = "Manuel Kauers and Peter Paule",

year = "2006",

month = aug,

language = "English",

series = "SFB F013 Reports",

publisher = "JKU Linz",

number = "2006-15",

type = "WorkingPaper",

institution = "JKU Linz",

}

TY - UNPB

T1 - A Computer Proof of Moll's Log-Concavity Conjecture

AU - Kauers, Manuel

AU - Paule, Peter

PY - 2006/8

Y1 - 2006/8

N2 - In his study on quartic integrals, Moll met a specialized family of Jacobi polynomials. Moll conjectured that the corresponding coefficient sequences are log-concanve. In this paper, we settle Moll's conjecture by a non-trivial usage of computer algebra

AB - In his study on quartic integrals, Moll met a specialized family of Jacobi polynomials. Moll conjectured that the corresponding coefficient sequences are log-concanve. In this paper, we settle Moll's conjecture by a non-trivial usage of computer algebra

M3 - Research report

T3 - SFB F013 Reports

BT - A Computer Proof of Moll's Log-Concavity Conjecture

PB - JKU Linz

CY - Altenbergerstraße 69, 4040 Linz

ER -