108

Answers

votes newest views recent

8

At which level is it currently possible to write formal proofs?

4

$\int^{\infty}_{0}x^{r +s- 1}(1 + x)^{-s}(1 + x^2)^{-\frac{rm}{2}}dx$

2

Avoiding overfitting by averaging polynomials fit to part of the data?

9

A good reference to grok hypergeometric functions?

4

Software to decide equality between expressions involving powers and trigonometry

0

alternating sum of binomial coefficients

1

derivative of a special function in integral form

9

a limit by Gosper involving a product of arctan and $4^{1/\pi}$

1

Quadratic Transformation of the Hypergeometric Function 2F1

4

Which trigonometric identities involve trigonometric functions?

14

Euler’s divergent series sum n!*(-1)^n: what is known about the resulting constant?

3

polynomial maps

15

Is there any math foundation for map/reduce?

4

How to do integrals involving two Bessel functions and another function?

1

exponential sum - general cases

5

Nontrivial algorithm to check for polynomial symmetry?

2

A limit from an Erdos paper

4

Prove that algebraic structure is not semiring?

2

Summing a function using modulus.

7

Logarithm of a hypergeometric series

6

Asymptotic bounds for a confluent hypergeometric function $F_{1}[;1;x]$

4

what part of using vieta’s formulas violates quintic non-solvability?

11

Galois theory and algorithms

4

Simplifying a polynomial

3

An identity involving an infinite integral with a sinh in the denominator

0

Defining variable, symbol, indeterminate and parameter

1

Favourite scholarly books?

4

Failures that lead eventually to new mathematics

1

Generating Special Functions.

1

What notions are used but not clearly defined in modern mathematics?