Results 1 
6 of
6
The journey of the four colour theorem through time
 The NZ Math. Magazine
"... This is a historical survey of the Four Colour Theorem and a discussion of the philosophical implications of its proof. The problem, first stated as far back as 1850s, still causes controversy today. Its computeraided proof has forced mathematicians to question the notions of proofs and mathematical ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
This is a historical survey of the Four Colour Theorem and a discussion of the philosophical implications of its proof. The problem, first stated as far back as 1850s, still causes controversy today. Its computeraided proof has forced mathematicians to question the notions of proofs and mathematical truth.
MATH31051/MATH41051 Introduction to Topology Autumn Semester 2009–2010
"... §0 Background material on sets and functions The language of sets and functions is basic in topology and so it may be useful to have a summary of results that students should already know. Most of this material will have been ..."
Abstract
 Add to MetaCart
§0 Background material on sets and functions The language of sets and functions is basic in topology and so it may be useful to have a summary of results that students should already know. Most of this material will have been
MATH31051/MATH41051 Introduction to Topology Autumn Semester 2010–2011
"... §0 Background material on sets and functions The language of sets and functions is basic in topology and so it may be useful to have a summary of results that students should already know. Most of this material will have been ..."
Abstract
 Add to MetaCart
§0 Background material on sets and functions The language of sets and functions is basic in topology and so it may be useful to have a summary of results that students should already know. Most of this material will have been
Mathematics for Formal Methods a prop for education reform
"... It iswidely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications technology . For the most part, at undergraduate level, such mathematics isgenerally considered to consist of discrete mathema ..."
Abstract
 Add to MetaCart
It iswidely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications technology . For the most part, at undergraduate level, such mathematics isgenerally considered to consist of discrete mathematics, including formal logic. At a research level, one expects to find abstract algebra,category theory , topos theory , etc. In this paper we discuss a body of mathematics which is foundational to formal methods per se and used for the modelling of the usual sort ofsy#264 artefacts: monoids and their morphisms. In particular we show how a single notion of distribution leads to better insights into many of the standard models in use. This discussion leadsnaturally to salient remarks on both the need for, and suitable direction to be taken in, a proposed education reform with a particular emphasis on mathematics for Information Technology .
SIMPLE ALGORITHM FOR SORTING THE FIBONACCI STRING ROTATIONS
"... Abstract: In this paper we focus on the combinatorial properties of the Fibonacci strings rotations. We first present a simple formula that, in constant time, determines the rank of any rotation (of a given Fibonacci string) in the lexicographicallysorted list of all rotations. We then use this inf ..."
Abstract
 Add to MetaCart
Abstract: In this paper we focus on the combinatorial properties of the Fibonacci strings rotations. We first present a simple formula that, in constant time, determines the rank of any rotation (of a given Fibonacci string) in the lexicographicallysorted list of all rotations. We then use this information to deduce, also in constant time, the character that is stored at any one location of any given Fibonacci string. Finally, we study the output of the BurrowsWheeler Transform (BWT) on Fibonacci strings to prove that when BWT is applied to Fibonacci strings it always produces a sequence of ‘b’s followed by a sequence of ‘a’s. Key Words: blocksorting; Fibonacci strings; data compression; text compression; BWT Transformation.