Exploring Mathematics With Cas Assistance

Exploring Mathematics with CAS Assistance is designed as a textbook for an innovative mathematics major course in using a computer-algebra system (CAS) to investigate, explore, and apply mathematical ideas and techniques in problem solving. The book is designed modularly with student investigations and projects in number theory, geometry, algebra, single-variable calculus, and probability. The goal is to provoke an inquiry mindset in students and to arm them with the CAS tools to investigate low-entry, open-ended questions in a variety of mathematical arenas. Because of the modular design, the individual chapters could also be used selectively to design student projects in a number of upper-division mathematics courses. These projects could, in fact, lead into undergraduate research projects. The existence of powerful computer-algebra systems has changed the way mathematicians perform research; this book enables instructors to put some of those new methods and approaches into their undergraduate instruction. Prerequisites include a basic working knowledge of discrete mathematics and single-variable calculus. Programming experience and some basic familiarity with elementary probability and statistics are beneficial but not required. The book takes a software-agnostic approach and emphasizes algorithmic structure of solution methods by systematically providing their step-by-step verbal descriptions or suitable pseudocode that can be implemented in any CAS.

Workshop Calculus: Guided Exploration with Review integrates a review of basic pre-calculus concepts with the study of concepts encountered in a traditional first semester calculus course - functions, limits, derivatives, integrals, and an introduction to integration techniques. This two-course sequence is designed for students who are not prepared to enter Calculus I, but who need to develop mathematical skills for further study in the social sciences, natural sciences, or mathematics. The primary goal of the course is to help students develop firm conceptual understandings of the fundamental ideas in calculus, thereby enabling them to use calculus in other disciplines. Essential elements of Workshop Calculus include the emphasis on applications to enhance student motivation and the use of computers amd graphing calculators to help explore mathematical ideas.

This volume contains papers from the Second International Curriculum Conference sponsored by the Center for the Study of Mathematics Curriculum (CSMC). The intended audience includes policy makers, curriculum developers, researchers, teachers, teacher trainers, and anyone else interested in school mathematics curricula.

The field of civil engineering offers specific challenges to the higher education sector. Civil engineerings blend of management design and analysis requires people with a combination of academic and experimental knowledge and skill-based abilities.This volume brings together papers by leading practitioners in the field of learning technology, within the discipline of civil engineering, to facilitate the sharing of experience, knowledge and expertise.

This Open-Access-book addresses the issue of translating mathematical expressions from LaTeX to the syntax of Computer Algebra Systems (CAS). Over the past decades, especially in the domain of Sciences, Technology, Engineering, and Mathematics (STEM), LaTeX has become the de-facto standard to typeset mathematical formulae in publications. Since scientists are generally required to publish their work, LaTeX has become an integral part of today's publishing workflow. On the other hand, modern research increasingly relies on CAS to simplify, manipulate, compute, and visualize mathematics. However, existing LaTeX import functions in CAS are limited to simple arithmetic expressions and are, therefore, insufficient for most use cases. Consequently, the workflow of experimenting and publishing in the Sciences often includes time-consuming and error-prone manual conversions between presentational LaTeX and computational CAS formats. To address the lack of a reliable and comprehensive translation tool between LaTeX and CAS, this thesis makes the following three contributions. First, it provides an approach to semantically enhance LaTeX expressions with sufficient semantic information for translations into CAS syntaxes. Second, it demonstrates the first context-aware LaTeX to CAS translation framework LaCASt. Third, the thesis provides a novel approach to evaluate the performance for LaTeX to CAS translations on large-scaled datasets with an automatic verification of equations in digital mathematical libraries. This is an open access book.