Algebra & Geometry

Mark V. Lawson is a professor in the Department of Mathematics at Heriot-Watt University. Dr. Lawson has published over 60 papers and has given seminars on his research work both at home and abroad. His research interests focus on algebraic semigroup theory and its applications.

IDEAS
The Nature of Mathematics
MATHEMATICS IN HISTORY
MATHEMATICS TODAY
THE SCOPE OF MATHEMATICS
WHAT THEY (PROBABLY) DIDN’T TELL YOU IN SCHOOL
FURTHER READING





Proofs
MATHEMATICAL TRUTH
FUNDAMENTAL ASSUMPTIONS OF LOGIC
FIVE EASY PROOFS
AXIOMS
UN PETIT PEU DE PHILOSOPHIE
MATHEMATICAL CREATIVITY
PROVING SOMETHING FALSE
TERMINOLOGY
ADVICE ON PROOFS





Foundations
SETS
BOOLEAN OPERATIONS
RELATIONS
FUNCTIONS
EQUIVALENCE RELATIONS
ORDER RELATIONS
QUANTIFIERS
PROOF BY INDUCTION
COUNTING
INFINITE NUMBERS





Algebra Redux
THE RULES OF THE GAME
ALGEBRAIC AXIOMS FOR REAL NUMBERS
SOLVING QUADRATIC EQUATIONS
THE BINOMIAL THEOREM
BOOLEAN ALGEBRAS
CHARACTERIZING REAL NUMBERS





THEORIES
Number Theory
THE REMAINDER THEOREM
GREATEST COMMON DIVISORS
THE FUNDAMENTAL THEOREM OF ARITHMETIC
MODULAR ARITHMETIC
CONTINUED FRACTIONS





Complex Numbers
COMPLEX NUMBER ARITHMETIC
COMPLEX NUMBER GEOMETRY
EULER’S FORMULA
MAKING SENSE OF COMPLEX NUMBERS





Polynomials
TERMINOLOGY
THE REMAINDER THEOREM
ROOTS OF POLYNOMIALS
THE FUNDAMENTAL THEOREM OF ALGEBRA
ARBITRARY ROOTS OF COMPLEX NUMBERS
GREATEST COMMON DIVISORS OF POLYNOMIALS
IRREDUCIBLE POLYNOMIALS
PARTIAL FRACTIONS
RADICAL SOLUTIONS
ALGEBRAIC AND TRANSCENDENTAL NUMBERS
MODULAR ARITHMETIC WITH POLYNOMIALS





Matrices
MATRIX ARITHMETIC
MATRIX ALGEBRA
SOLVING SYSTEMS OF LINEAR EQUATIONS
DETERMINANTS
INVERTIBLE MATRICES
DIAGONALIZATION
BLANKINSHIP’S ALGORITHM





Vectors
VECTORS GEOMETRICALLY
VECTORS ALGEBRAICALLY
THE GEOMETRIC MEANING OF DETERMINANTS
GEOMETRY WITH VECTORS
LINEAR FUNCTIONS
THE ALGEBRAIC MEANING OF DETERMINANTS
QUATERNIONS





The Principal Axes Theorem
ORTHOGONAL MATRICES
ORTHOGONAL DIAGONALIZATION
CONICS AND QUADRICS