🧮 Calculators
Quadratic, derivative, integral, statistics, matrix, finance and risk tools.
Open →Calculation, visualisation, proof study, problem solving, applied modelling and research preparation in one browser-based workspace.
Quadratic, derivative, integral, statistics, matrix, finance and risk tools.
Open →Local function graphing and a trigonometric geometry visualiser.
Open →Foundation through professional practice with solutions.
Practice →Core statements, hypotheses and proof sketches.
Study →Finance, risk, AI/ML, engineering, cryptography and optimisation.
Explore →Research workflow, reproducibility and open-question exercises.
Explore →Enter an equation such as 3x+5=20, x^2-5x+6=0, or 2(x+3)=14. The tutor identifies the structure, chooses a method, shows the calculation trail, gives the answer, and verifies it.
Every worked solution follows this reasoning chain:
Statement: In a right triangle, a²+b²=c².
Proof sketch: Compare the area of a square of side a+b with four copies of the triangle; expanding both expressions yields the identity.
Statement: Every integer greater than 1 has a unique prime factorisation, apart from ordering.
Proof sketch: Existence follows by repeated factorisation; uniqueness follows from Euclid's lemma.
Statement: A continuous function on [a,b] attains every value between f(a) and f(b).
Proof sketch: Use the supremum of the set where f is below the target and continuity at the boundary point.
Statement: If f is continuous on [a,b] and differentiable on (a,b), some c has f′(c)=(f(b)−f(a))/(b−a).
Proof sketch: Subtract the secant line and apply Rolle's theorem.
Statement: P(A|B)=P(B|A)P(A)/P(B), P(B)>0.
Proof sketch: Express P(A∩B) in two conditional forms and equate them.
Statement: dim(V)=rank(T)+nullity(T) for a linear map on finite-dimensional V.
Proof sketch: Extend a basis of ker(T) to a basis of V; images of the added vectors form a basis of im(T).
Build a cash-flow table, apply PV=FV/(1+r)^n, then test sensitivity to r and timing.
For PD=2%, LGD=40%, EAD=500,000 calculate EL=PD×LGD×EAD and vary one input at a time.
For J(θ)=(θ−3)² use θₜ₊₁=θₜ−η∇J(θₜ); compare learning rates.
Use y(t)=y₀e^{kt}; estimate k from two observations and inspect residuals.
Compute congruences and modular inverses; explain why coprimality controls invertibility.
Define an objective and resource constraints, then inspect feasible solutions and boundary cases.
Course progress remains in the existing course storage; the Lab keeps its own local record.
Rule-based and dependency-free; it is not an AI/API service.
Watch a local animation showing a point moving along y=x². Use it to connect coordinates, slope and function shape.
API-free starter snippets for Python/NumPy/SymPy, MATLAB and Mathematica. Copy and run them in your own environment.
Python: import sympy as sp; x=sp.symbols('x'); sp.diff(x**3-2*x,x)
NumPy: import numpy as np; np.linalg.det(np.array([[2,1],[3,4]]))
MATLAB: det([2 1; 3 4])
Mathematica: Det[{{2,1},{3,4}}]Suggested study anchors: OpenStax Calculus; standard undergraduate texts in Linear Algebra, Probability, Real Analysis and Abstract Algebra; AMS and SIAM publications for advanced study.
Self-run seminar sequence: Mathematical Modelling → Numerical Methods → Probability & Risk → AI/ML Mathematics → Cryptography → Research Reproducibility.
Workshop sequence: Formula Derivation → Proof Writing → Graph Interpretation → Computational Experiment → Case Study → Research Presentation.
Practice definitions, theorem statements, proof structure, assumptions, notation, citations and reproducible computational notes.