We describe a simple implementation of the Takagi factorization of symmetric matrices A=U L UT with unitary U and diagonal L e T, e >= 0 in terms of the square root of an ...

Introduction to Number Theory is a classroom-tested, student-friendly text that covers a diverse array of number theory topics, from the ancient Euclidean algorithm for ...

This is a four-part work on implementing finite automata (FA) algorithms. Part I, "Generating and Enumerating Words", deals with the generation of the set of words accepted ...

This thesis investigates symbolic computation in the domain of difference equations (or recurrence relations). The goal is to obtain explicit solutions of a given equation ...

Mathematical investigations of projectile motion have a rich and vital history, going back almost 500 years. Besides the obvious application to ballistics, there is a much ...

Abstract For many years Mathematica has been a fantastic tool for illustrating concepts and exploring examples in my high school mathematics classes. Recently I have been ...

A talk from the Conference on Applications of Computer Algebra (ACA) 2005 on a method of computing of Frobenius numbers that uses Gröbner bases. Abstract: Given a set ...

A Course in Ordinary Differential Equations, Second Edition teaches students how to use analytical and numerical solution methods in typical engineering, physics, and ...

A quasi-symmetric design (QSD) is a 2-(v; k; ) design with intersection numbers x and y with x 2;m > 2), there are only nitely many QSDs. This gives partial support towards ...

Mathematica is a general-purpose software system for mathematical and other applications. You can use Mathematica as a numerical and symbolic calculator, a visualization and ...