Search Results - "Koutschan, Christoph"
-
1
Creative Telescoping on Multiple Sums
Published in Mathematics in computer science (01-09-2021)“…We showcase a collection of practical strategies to deal with a problem arising from an analysis of integral estimators derived via quasi-Monte Carlo methods…”
Get full text
Journal Article -
2
Calculation and Properties of Zonal Polynomials
Published in Mathematics in computer science (01-09-2020)“…We investigate the zonal polynomials, a family of symmetric polynomials that appear in many mathematical contexts, such as multivariate statistics,…”
Get full text
Journal Article -
3
Tweaking the Beukers integrals in search of more miraculous irrationality proofs a la Apéry
Published in The Ramanujan journal (01-07-2022)“…There are only aleph-zero rational numbers, while there are 2 to the power aleph-zero real numbers. Hence the probability that a randomly chosen real number…”
Get full text
Journal Article -
4
Planar linkages following a prescribed motion
Published in Mathematics of computation (01-01-2017)“…Designing mechanical devices, called linkages, that draw a given plane curve has been a topic that interested engineers and mathematicians for hundreds of…”
Get full text
Journal Article -
5
Common Factors in Fraction-Free Matrix Decompositions
Published in Mathematics in computer science (01-12-2021)“…We consider LU and QR matrix decompositions using exact computations. We show that fraction-free Gauß–Bareiss reduction leads to triangular matrices having a…”
Get full text
Journal Article -
6
Diagonals of Rational Functions: From Differential Algebra to Effective Algebraic Geometry
Published in Symmetry (Basel) (01-07-2022)“…We show that the results we had previously obtained on diagonals of 9- and 10-parameter families of rational functions in three variables x, y, and z, using…”
Get full text
Journal Article -
7
Proof of George Andrews's and David Robbins's q-TSPP conjecture
Published in Proceedings of the National Academy of Sciences - PNAS (08-02-2011)“…The conjecture that the orbit-counting generating function for totally symmetric plane partitions can be written as an explicit product formula has been stated…”
Get full text
Journal Article -
8
MIMO Zero-Forcing Performance Evaluation Using the Holonomic Gradient Method
Published in IEEE transactions on wireless communications (01-04-2015)“…For multiple-input-multiple-output (MIMO) spatial-multiplexing transmission, zero-forcing (ZF) detection is appealing because of its low complexity. Our recent…”
Get full text
Journal Article -
9
Proof of Ira Gessel's Lattice Path Conjecture
Published in Proceedings of the National Academy of Sciences - PNAS (14-07-2009)“…We present a computer-aided, yet fully rigorous, proof of Ira Gessel's tantalizingly simply stated conjecture that the number of ways of walking 2n steps in…”
Get full text
Journal Article -
10
Legendre pairs of lengths ℓ ≡ 0 (mod 5)
Published in Special matrices (10-11-2023)“…Abstract By assuming a type of balance for length ℓ = 87 \ell =87 and nontrivial subgroups of multiplier groups of Legendre pairs (LPs) for length ℓ = 85 \ell…”
Get full text
Journal Article -
11
Exact ZF Analysis and Computer-Algebra-Aided Evaluation in Rank-1 LoS Rician Fading
Published in IEEE transactions on wireless communications (01-08-2016)“…We study zero-forcing (ZF) detection for multiple input/multiple output (MIMO) spatial multiplexing under transmit-correlated Rician fading for an N R × N T…”
Get full text
Journal Article -
12
Realizations of Rigid Graphs
Published in Electronic proceedings in theoretical computer science (30-12-2021)Get full text
Journal Article -
13
Harmonic interpolation based on Radon projections along the sides of regular polygons
Published in Open mathematics (Warsaw, Poland) (2013)Get full text
Journal Article -
14
A Fast Approach to Creative Telescoping
Published in Mathematics in computer science (01-09-2010)“…In this note we reinvestigate the task of computing creative telescoping relations in differential–difference operator algebras. Our approach is based on an…”
Get full text
Journal Article -
15
Legendre pairs of lengths ℓ ≡ 0 ( mod 3 )
Published in Journal of combinatorial designs (01-12-2021)“…We prove a proposition that connects constant‐periodic autocorrelation function sequences and the corresponding Legendre pairs with integer power spectral…”
Get full text
Journal Article -
16
Integrals of powers of loggamma
Published in Proceedings of the American Mathematical Society (01-02-2011)“…Properties of the integral of powers of log Г(x) from 0 to 1 are considered. Analytic evaluations for the first two powers are presented. Empirical evidence…”
Get full text
Journal Article -
17
Computing one of Victor Moll's irresistible integrals with computer algebra
Published in Computer science journal of Moldova (01-04-2008)“…We investigate a certain quartic integral from V. Moll's book “Irresistible Integrals” and demonstrate how it can be solved by computer algebra methods, namely…”
Get full text
Journal Article -
18
Gene Transfer-Based Phylogenetics: Analytical Expressions and Additivity via Birth–Death Theory
Published in Systematic biology (30-12-2023)“…Abstract The genomic era has opened up vast opportunities in molecular systematics, one of which is deciphering the evolutionary history in fine detail. Under…”
Get full text
Journal Article -
19
Lower Bounds on the Number of Realizations of Rigid Graphs
Published in Experimental mathematics (01-06-2020)“…Computing the number of realizations of a minimally rigid graph is a notoriously difficult problem. Toward this goal, for graphs that are minimally rigid in…”
Get full text
Journal Article -
20
Collisionless shock region of the KdV equation and an entry in Gradshteyn and Ryzhik
Published in Physica. D (15-12-2023)“…The long-time behavior of solutions to the initial value problem for the Korteweg–de Vries equation on the whole line, with general initial conditions has been…”
Get full text
Journal Article