Programming is becoming increasingly common in mathematics degrees as it is a desirable skill for new graduates. However, research shows that its use is mostly restricted to computational or modelling tasks. This paper reports a study on students' perceptions of and difficulties with Lean, an interactive theorem prover introduced as part of a…

Knowing an equation has a unique solution is important from both a modelling and theoretical point of view. For over 70 years, the approach to learning and teaching "well posedness" of initial value problems (IVPs) for second- and higher-order ordinary differential equations has involved transforming the problem and its analysis to a…

This paper provides a method for analysing undergraduate teaching of proof-based courses using Toulmin's model (1969) of argumentation. It presents a case study of one instructor's presentation of proofs. The analysis shows that the instructor presents different levels of detail in different proofs; thus, the students have an inconsistent set of…

We want to apply the geometrical method to a dynamical system of human blood glucose. Due to the educational importance of model building, we show a relatively general modelling process using observational facts. Next, two models of some concrete forms are analysed in the phase plane by means of linear stability, phase portrait and vector…

We consider a problem appearing in an Australian Mathematics Challenge in 2003. This article considers whether a spreadsheet might be used to model this problem, thus allowing students to explore its structure within the spreadsheet environment. It then goes on to reflect on some general principles of problem decomposition when the final goal is a…

In this article, by using Rolle's theorem, we establish some results related to the mean value theorem for integrals. Our results are different from the set of integral mean value theorems which are given by Wayment ["An integral mean value theorem", Math. Gazette 54 (1970), pp. 300-301] and Sahoo ["Some results related to the integral mean value…

We discuss the boundary in the Poincare phase plane for boundedness of solutions to spring model equations of the form [second derivative of]x + x + epsilonx[superscript 2] = Fcoswt and the [second derivative of]x + x + epsilonx[superscript 3] = Fcoswt and report the results of a systematic numerical investigation on the global stability of…

The butterfly curve was introduced by Temple H. Fay in 1989 and defined by the polar curve r = e[superscript cos theta] minus 2 cos 4 theta plus sin[superscript 5] (theta divided by 12). In this article, we develop the mathematical model of the butterfly curve and analyse its geometric properties. In addition, we draw the butterfly curve and…

The present article deals with the problem of combined harvesting of a Michaelis-Menten-type ratio-dependent predator-prey system. The problem of determining the optimal harvest policy is solved by invoking Pontryagin's Maximum Principle. Dynamic optimization of the harvest policy is studied by taking the combined harvest effort as a dynamic…

In this paper the didactically-methodological procedure named the MTE-model of mathematics teaching (Motivation test-Teaching-Examination test) is suggested and recommended when the teacher has subsequent lessons. This model is presented in detail through the processing of a nonstandard theme--the theme of decomposition of planes. Its efficiency…

This note describes a large-scale modelling activity involving geometry that can be solved with the help of uni-variable calculus. More specifically, it introduces and proves the following theorem: given any non-equilateral triangle, there exist infinitely many mutually non-congruent triangles with the same area and the same perimeter as the given…

This paper discusses a result of Li and Shen which proves the existence of a unique periodic solution for the differential equation x[dots above] + kx[dot above] + g(x,t) = [epsilon](t) where k is a constant; g is continuous, continuously differentiable with respect to x , and is periodic of period P in the variable t; [epsilon](t) is continuous…

It is shown that the bisector of a segment of a geodesic and the bisector of an angle in hyperbolic geometry can be expressed in terms of points which are equidistant from the end points of the segment, and points that are equidistant from the rays of the angle, respectively. An important tool in the approach is that the shortest distance between…

The present paper deals with the problem of non-selective harvesting of a prey-predator system in which both the prey and the predator species obey the law of logistic growth and each predators functional response to the prey approaches a constant as the prey population increases. Boundedness of the exploited system is examined. The existence of…