Cool computer automated proof

Fundamental domains

Absolute max and min over a region

deBruijn Sequences -- Continued

deBruijn Sequences

A X B from Tokeida

Line segment from P to Q

Altitudes meet at a point via cevians

Altitudes as cevians

Cross product and components

False negatives and Bayes

Bayes Law and Taxis

Solving z^2 = 2 - i

Three heads in five coin flips

Orange cab observation

Law of Total (Un)Conditional Probability

Sample space for rolling 3d6+1d4+1d20

The A and B economy

Eigenvalues and vectors

Area of slices F(x)

Absolute values (part 4)

Absolute values (part 3)

Absolute values (part 2)

Volume calculations

Paramatrize a rectangle

Parametrizing path y=x^2 and y=1

Polar to cartestian

Trig integral sin^2 cos^3

MAT 232 Exam Outline

MAT 232 Exam Outline

Limit comparison test.

Convergence and limit of partial sums.

Telescoping and partial fractions

Factoring a constant out of a geometric series

Uniform continuity

Tricky substitution

Hyperbolic trig substitution

Derivative of semi-perimeter.

Finite volume / infinite volume

Integrating inverse functions

Bounds of summations

Bounds after substitution

Substitution and bounds

Substitution rules

General potentials

Trig substitution steps.

Complete square in trig integral.

Complete square in trig integral.

Guess and Check anti-derivative

MAT 133 Q4.a slope

Left hand Reimann sum

Abstract substitution

Isoceles slices (3)

Isoceles slices (2)

Isoceles slices (1)

Erdos-Selfridge Bound

Horizontal tangents of x^3 + y^3

Horizontal tangents of x^3 + y^3 = 6xy

No horizontal tangent

Derivative of (x^x)^x

Derivative of x^(x^x)

Limits to infinity

Limit to negative infinity

Limit to positive infinity

Hyperbolic trig identity

Tricky limit calculation

Tricky limit calculation

493: Hypergraph Hex (Corrected for Second Player)

493: Hypergraph Hex

493: Hex Winning Sets

493: Tic-Tac-Toe Hypergraph

493: Danger function

Ramse Theory Example

Economic and Combinatorial Game Theory

Variable upper and lower bounds

Variable upper and lowe bounds

Variable upper bound

FTC2 and chain rule

135 -- Geometric area

133 -- Find a and b to make a function continuous.

Paramaterize the parabola

Paramaterize the triangle

Generalized Erdos-Selfridge Potential

Domain of ln(..)/sqrt(..)

Walking away from a lamppole

Two tangents to y=x^2

Intermediate value

Recgonize a derivative

Intermediate value theorem

Equalize denominators

2csc(t) - cot(t) = tan(t)

Sketch an even function q.3

(1+e^(1/x))/(1-e^(1/x)

Geometric series: finite and infinite

integrate 1/(9+x^2)

Derivative of ln(x)

Derivatives of inverses

Implicit derivation

Inverse of y=(x+3)/(x-2)

Trigonometry practice.

Domain and range calculation

Area above and below

lim (sqrt(t) - t^2)/(1-sqrt(t))

Coordinate transfomations

Cancelling factorials.

Exact value of a series.

Alternating Series Test

Alternating Series and Conditional

Differential equations

NeoCirkuits with Ali

Area above and below y=c

Alternating series

Compressing [0,4] to [0,2]

Limit comparison vs direct comparison

Arclength on anti-derivative

Limit of a sequence

Area around y-axis

Area around x-axis

Partial fractions final

Telescoping series

Recursive sequence and divergence

Geometric series derivation

Partial sums of (1/2)^k

Signed vs Total Area

Trig substitutions

Explicit demand functions

Competitive products

Competitive products

Express Int(x^2 e^(x^2)) in terms of Int(e^(x^2))

Integrate [ln(x)]^2

Volume of revolution

Riemann sum to definite integral

Riemann sum to definite integral

Half-distance travelled

Piece-wise function -- Art!

Piece-wise function -- Final summation

Piece-wise function

ln(x)=-x has a solution

Mean value theorem bound

Bailey's simulation problem

Similarity and nilpotency

Hemi-spherical resevoir

Rolle's theorem for x^2 - 1.

Oblique of x*arctan(x)

Logarithmic differentiation.

Oblique asymptote of y=xe^(2/x)

Logarithmic derivatives

Parallel tangents.

Basis for null(AV)

Repeated conjugation

Orthogonal to line.

Equidistant plane.

Implicit differentiation.

Implicit and Circle

Horizontal asymptote with roots.

Logarithmic differentiation.

Lighthouse question

Find a and b for differentiablity.

Limit of h^(1/3) sin(h).

Plane equidistant from two points

Geometry with Max.

det and row operations

2x2 Diagonalization

Complex polynomial

More RREF with parameters

RREF with parameters

Playing with trees. Rule 3.

Playing with trees. Rule 2, again.

Playing with trees. Rule 2.

Playing with trees.

Row reducing Week 5 Q3.5

Transforming the grid

Trig limits with reciprocals.

Interest applied daily vs monthly.

Interest on a loan.

Working with sums.

Solving cos(x) and sin(x) from tan(x) = 3

Finding distance to point.

Financial calculations.

Geometric series with finance.

Geometric series with numbers.

Geometric series derivation.

Domain absolute value

Absolute value inequality.

Commerce linear system

Columns and solutions.