An exact Mean Value Theorem witness
For p(x) = x^3 on [0,3], find an interior point where the derivative equals the secant slope.
Applications
Problems studied with Axeyum
Each page describes a concrete use of Axeyum and links to its artifact records. Inclusion records an application; it does not claim that the mathematical result is new or that a publication exists.
Problem list
8 problem studies
-
01
-
02
Certified polynomial integration
Compute an antiderivative of 3x^2 + 2x and check the result without trusting the integration procedure.
-
03
Primality of 2^89 - 1
Can an independently checked certificate establish that the Mersenne number 2^89 - 1 is prime?
-
04
Two four-color Rado numbers
What are the four-color Rado numbers for 5(x-y) = 3z and 5(x-y) = 4z?
-
05
Optimal sorting networks on three to six channels
What is the minimum number of comparators needed to sort every Boolean input on three, four, five, or six channels?
-
06
A BCNF decomposition counterexample
Can a BCNF decomposition preserve a lossless join while failing to preserve a functional dependency?
-
07
The cause of an infeasible ICU roster
Which constraints make a 102-row ICU night roster infeasible?
-
08
The cause of an impossible project deadline
Which constraints make a 60-row project schedule incompatible with its delivery deadline?
Related collections
Research describes active programs and open questions.
Publications contains bibliographic records.
Artifacts exposes individual fact and evidence records.