Math

Explains the process of making and proving conjectures about the behavior of equations that a repetitive trait, such as summation formulas. Includes the rules for a valid induction and some examples.

This expository article is an entry in the Stanford Encyclopedia of Philosophy.

Web page for the category theory mailing list.

An illustrated guide book by Eugenia Cheng and Aaron Lauda.

A Maple package for computations in Clifford algebras of an arbitrary bilinear form. Includes documentations of new features and installation information, as well as downloads of the software.

Group theory in: Robotics, Problem-Solving, Planning, Learning, Language, Perception, Art, Design, Engineering, Manufacturing, Epistemology, Measurement, Computation, Neuroscience, Anthropology, Semiotics.

The main point group symmetries of interest to defect physics by operation (reflection, rotations etc) and classification (trigonal, and cubic). Most point groups also have the associated character table on-line.

A fairly easy to understand tutorial. Fourteen sections, including groups, Cayley tables, subgroups, cosets, Lagrange's theorem, cyclic groups and subgroups, permutations, and Rubik's cube.

It covers systems of linear equations, matrix inverse, equivalence, linear independent and eigen values.

Exact linear algebra computation tools and downloads.

Step by step solutions of problems such as Gauss-Jordan reduction, calculating the determinant, and finding a basis of a space spanned by given vectors.

An approach unifying the notions of system of equations, matrix inversion, and linear programming.

Lecture notes and solutions from 1991 in PDF or PostScript.

an online text book covers systems of linear equations, matrix algebra, and finite-dimensional vector spaces.

Shinshu University. Representation Theory of Finite Groups; Algebraic Combinatorics; Computational Algebra.

Compiled by A.D. Bell.

Genoa University. Computational Commutative Algebra. Publications, CoCoA resources.

Research themes: diagonal invariants of the symmetric group, applications of classical invariant theory.

European research network involving IUA Antwerp, Bielefeld-Chemnitz, Essen, Leeds, Paris VI and Trondheim; Edinburgh-Glasgow, Ioannina, Murcia and Torun.

Commutative Algebra Seminar. Meetings.

A general purpose easy program for It is built on top of its own programming language designed for symbolic manipulation of math symbols. Includes information on how to use the software.

Collated by Computer Algebra Fachgruppe, Mannheim.

Graphical tool for visualising a tiling of a genus-2 Riemann surface by octagons.

Bibliographies on Hilbert C*-module theory.

A collection of examples in functional analysis and operator theory.

Graduate lecture notes with application to the Navier-Stokes equation, by G. Teschl at the University of Vienna.

The Hebrew University of Jerusalem. Research in analysis and related areas. People, events and preprints.

Analysis research group. Harmonic analysis, functional analysis, analytic number theory, convex analysis and probability. Calendar, publications and people.

Center for Nonlinear Analysis. People, publications, events, links.

Agent-based computational economics.

Olomoucian days of applied mathematics.

The linear complexity (LC) of a sequence is the size in bits of the shortest linear feedback shift register (LFSR) which can produce that sequence. The measure speaks to the difficulty of generating, and perhaps analyzing, a particular sequence.

A Talk With Steven Pinker.

Kevin Rubash.

A Geological Sciences Mathematics tutorial system.

Professor of mathematics at the State University of New York at Buffalo. Specializes in studying granular materials under flow conditions and renal hemodynamics. Includes publications and links to related research groups.

Applied Mathematics and Theoretical Physics research groups.

Performs basic math operations, as well as square root and percentages. Includes memory save and recall.

Makes conversions between bits, bytes and its multipliers.

Free online spreadsheet calculator has an estimating and budgeting form that shows all your calculations and allows you to print and save results.

Interactive square root calculator that can handle negative, imaginary, and complex numbers.

Here one can see a graph of the brachistochrone for the given endpoint. Java applet.

A calculus tutorial software that can solve differentiation problems and generate step-by-step solutions. Tests differentiation skills by generating dynamic quizzes.

A computer program for the numerical solution of systems of partial differential equations. Provided by Giacomo Lorenzoni.

A Python library for symbolic mathematics.

FAQs collection from the sci.nonlinear newsgroup. Addresses basics, tutorial, applications and computational resources.

Daily updated gallery of automatically created fractals. Fractal generating software.

A large collection of fractal images, an introduction to fractals and reviews of fractal software.

Images by Tim Fadden, created using S. Ferguson's generators.

Galleries, prints, screensavers, tutorials, animation theatre, guest galleries.