Mathematics

Comprehensive guides for mathematical topics including notation, calculus, linear algebra, probability, and more. Learn how to write beautiful mathematical equations with KaTeX.

Notation

KaTeX, LaTeX, mathematical symbols

KaTeX Syntax Quick Reference — Math Equations in Markdown

Complete reference for KaTeX mathematical notation including common formulas, symbols, and usage patterns for technical documentation.

Calculus

Derivatives, integrals, limits

Calculus in Technical Documentation — Derivatives and Integrals

Master calculus notation in technical docs with KaTeX. Learn derivatives, integrals, limits, and differential equations for software, physics, and engineering documentation.

Discrete Math

Set theory, logic, graph theory

Set Theory and Logic Notation — Mathematical Foundations

Complete guide to set theory and logic notation in technical documentation. Learn sets, operations, logic symbols, quantifiers, and proof notation with KaTeX.

Math Verification

CAS with SymPy and formal proofs with Lean 4

CAS Verification Demo — Automated Math Checking

Interactive examples demonstrating AutEng's Computer Algebra System (CAS) verification. See how mathematical expressions and derivations are automatically verified with SymPy.

Quadratic Formula Derivation — Step-by-Step CAS Verification

Complete derivation of the quadratic formula with automated CAS verification. Learn how mode=solve verifies equation-solving steps and detects lost or extraneous solutions.

Lean 4 Theorem Proving — Formal Proof Verification

Machine-checked mathematical proofs using Lean 4 and Mathlib. Learn how to write and verify formal proofs with induction, case analysis, and powerful tactics.

Back to Documentation