Human-driven carbon emissions have resulted in increased levels of dissolved carbon dioxide in the Earth's oceans. This dissolved carbon dioxide reacts with water to form carbonic acid, which impacts ocean acidity as well as the solubility of carbonate-containing compounds, with far-reaching impacts on marine ecosystems and the human communities…

NP-complete problems such as the traveling salesman problem (TSP) play a prominent role in most advanced undergrad/graduate courses in discrete optimization modeling. Teaching such an important topic from a purely mathematical perspective without discussing specific applications may result in reduced student interest and motivation. The DeLand…

We have integrated computer programming instruction into the required courses of our mathematics major. Our majors take a sequence of four courses in their first 2 years, each of which is paired with a weekly 75-minute computer lab period that has a dual purpose of both computationally exploring the mathematical concepts from the lecture portion…

This paper presents a way of utilizing interdisciplinary relations between two educational branches, Mathematics and its applications and Information technologies (ICT) in integrated learning by the use of the Scratch programming language. The authors also present how they understand the concept of integrated learning and why they have chosen to…

CATO is a new user interface, written in Java and developed by the author as a response to the significant difficulties faced by students who only sporadically use computer algebra systems (CAS). The usage of CAS in mathematical lectures should be an integral part of mathematical instruction. However, difficulties arise for those students who have…

In this paper, we describe a Relational Algebra Query Language (RAQL) and Relational Algebra Query (RAQ) software product we have developed that allows database instructors to teach relational algebra through programming. Instead of defining query operations using mathematical notation (the approach commonly taken in database textbooks), students…

Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…

In this paper, we describe how database instructors can teach Relational Algebra and Structured Query Language together through programming. Students write query programs consisting of sequences of Relational Algebra operations vs. Structured Query Language SELECT statements. The query programs can then be run interactively, allowing students to…

The flipped classroom model of teaching can be an ideal venue for turning a traditional classroom into an engaging, inquiry-based learning (IBL) environment. In this paper, we discuss how two instructors at different universities made their classrooms come to life by moving the acquisition of basic course concepts outside the classroom and using…

Dynamic/interactive graphing applets can be used to supplement standard computer algebra systems such as Maple, Mathematica, Derive, or TI calculators, in courses such as Calculus, Differential Equations, and Dynamical Systems. The addition of this type of software can lead to discovery learning, with students developing their own conjectures, and…

In this paper "Derive" functions are provided for the computation of the Moore-Penrose inverse of a matrix, as well as for solving systems of linear equations by means of the Moore-Penrose inverse. Making it possible to compute the Moore-Penrose inverse easily with one of the most commonly used Computer Algebra Systems--and to have the blueprint…

European cooperation is a relevant subject that contributes to building a competitive network of high education institutions. A case of teacher mobility on behalf of the Erasmus programme is presented: it considers some Operations Research topics and the development of the Lego on My Decision module. The module considers eight lecture hours in…

In order to improve the quality of technology instruction, the Career and Technical Education (CTE) Business Department in the Spokane Public School district has aligned its Computer Applications (CA) course to the district's ninth-grade Springboard (Language Arts) curriculum, Algebra I curriculum, and the Culminating Project (senior project)…

The use of digital elevation models, which represent the surface of the earth by a matrix of heights, has proved an ideal introductory topic for developing both the matrix-handling and computational skills of undergraduate mathematicians. This article looks at the solving of an easily understandable, but not necessarily simple problem: given a…

The author introduces some basic dynamic programming techniques, using examples, with the help of the computer algebra system "Maple". The emphasis is on building confidence and intuition for the solution of dynamic problems in economics. To integrate the material better, the same examples are used to introduce different techniques. One covers the…