Computer Aided Assessment of Mathematics

Computer Aided Assessment of Mathematics

Author: Chris Sangwin

Publisher: OUP Oxford

Published: 2013-05-02

Total Pages: 271

ISBN-13: 0191635863

DOWNLOAD EBOOK

Assessment is a key driver in mathematics education. This book examines computer aided assessment (CAA) of mathematics in which computer algebra systems (CAS) are used to establish the mathematical properties of expressions provided by students in response to questions. In order to automate such assessment, the relevant criteria must be encoded and, in articulating precisely the desired criteria, the teacher needs to think very carefully about the goals of the task. Hence CAA acts as a vehicle to examine assessment and mathematics education in detail and from a fresh perspective. One example is how it is natural for busy teachers to set only those questions that can be marked by hand in a straightforward way, even though the constraints of paper-based formats restrict what they do and why. There are other kinds of questions, such as those with non-unique correct answers, or where assessing the properties requires the marker themselves to undertake a significant computation. It is simply not sensible for a person to set these to large groups of students when marking by hand. However, such questions have their place and value in provoking thought and learning. This book, aimed at teachers in both schools and universities, explores how, in certain cases, different question types can be automatically assessed. Case studies of existing systems have been included to illustrate this in a concrete and practical way.


Computer Algebra

Computer Algebra

Author: Edmund A. Lamagna

Publisher: CRC Press

Published: 2019-01-15

Total Pages: 350

ISBN-13: 1351605836

DOWNLOAD EBOOK

The goal of Computer Algebra: Concepts and Techniques is to demystify computer algebra systems for a wide audience including students, faculty, and professionals in scientific fields such as computer science, mathematics, engineering, and physics. Unlike previous books, the only prerequisites are knowledge of first year calculus and a little programming experience — a background that can be assumed of the intended audience. The book is written in a lean and lively style, with numerous examples to illustrate the issues and techniques discussed. It presents the principal algorithms and data structures, while also discussing the inherent and practical limitations of these systems


Uses of Technology in Primary and Secondary Mathematics Education

Uses of Technology in Primary and Secondary Mathematics Education

Author: Lynda Ball

Publisher: Springer

Published: 2018-05-14

Total Pages: 430

ISBN-13: 3319765752

DOWNLOAD EBOOK

This book provides international perspectives on the use of digital technologies in primary, lower secondary and upper secondary school mathematics. It gathers contributions by the members of three topic study groups from the 13th International Congress on Mathematical Education and covers a range of themes that will appeal to researchers and practitioners alike. The chapters include studies on technologies such as virtual manipulatives, apps, custom-built assessment tools, dynamic geometry, computer algebra systems and communication tools. Chiefly focusing on teaching and learning mathematics, the book also includes two chapters that address the evidence for technologies’ effects on school mathematics. The diverse technologies considered provide a broad overview of the potential that digital solutions hold in connection with teaching and learning. The chapters provide both a snapshot of the status quo of technologies in school mathematics, and outline how they might impact school mathematics ten to twenty years from now.


Modern Computer Algebra

Modern Computer Algebra

Author: Joachim von zur Gathen

Publisher: Cambridge University Press

Published: 2013-04-25

Total Pages: 811

ISBN-13: 1107039037

DOWNLOAD EBOOK

Now in its third edition, this highly successful textbook is widely regarded as the 'bible of computer algebra'.


Symbolic Computation and Education

Symbolic Computation and Education

Author: Shangzhi Li

Publisher: World Scientific

Published: 2007

Total Pages: 256

ISBN-13: 9812776001

DOWNLOAD EBOOK

Geosciences particularly numerical weather predication, are demanding the highest levels of computer power available. The European Centre for Medium-Range Weather Forecasts, with its experience in using supercomputers in this field, organizes a workshop every other year bringing together manufacturers, computer scientists, researchers and operational users to share their experiences and to learn about the latest developments. This volume provides an excellent overview of the latest achievements and plans for the use of new parallel techniques in the fields of meteorology, climatology and oceanography.


Selected Topics In Geometry With Classical Vs. Computer Proving

Selected Topics In Geometry With Classical Vs. Computer Proving

Author: Pavel Pech

Publisher: World Scientific Publishing Company

Published: 2007-11-12

Total Pages: 252

ISBN-13: 9813107030

DOWNLOAD EBOOK

This textbook presents various automatic techniques based on Gröbner bases elimination to prove well-known geometrical theorems and formulas. Besides proving theorems, these methods are used to discover new formulas, solve geometric inequalities, and construct objects — which cannot be easily done with a ruler and compass.Each problem is firstly solved by an automatic theorem proving method. Secondly, problems are solved classically — without using computer where possible — so that readers can compare the strengths and weaknesses of both approaches.


The Future of the Teaching and Learning of Algebra

The Future of the Teaching and Learning of Algebra

Author: Kaye Stacey

Publisher: Springer Science & Business Media

Published: 2006-04-11

Total Pages: 382

ISBN-13: 1402081316

DOWNLOAD EBOOK

Kaye Stacey‚ Helen Chick‚ and Margaret Kendal The University of Melbourne‚ Australia Abstract: This section reports on the organisation‚ procedures‚ and publications of the ICMI Study‚ The Future of the Teaching and Learning of Algebra. Key words: Study Conference‚ organisation‚ procedures‚ publications The International Commission on Mathematical Instruction (ICMI) has‚ since the 1980s‚ conducted a series of studies into topics of particular significance to the theory and practice of contemporary mathematics education. Each ICMI Study involves an international seminar‚ the “Study Conference”‚ and culminates in a published volume intended to promote and assist discussion and action at the international‚ national‚ regional‚ and institutional levels. The ICMI Study running from 2000 to 2004 was on The Future of the Teaching and Learning of Algebra‚ and its Study Conference was held at The University of Melbourne‚ Australia fromDecember to 2001. It was the first study held in the Southern Hemisphere. There are several reasons why the future of the teaching and learning of algebra was a timely focus at the beginning of the twenty first century. The strong research base developed over recent decades enabled us to take stock of what has been achieved and also to look forward to what should be done and what might be achieved in the future. In addition‚ trends evident over recent years have intensified. Those particularly affecting school mathematics are the “massification” of education—continuing in some countries whilst beginning in others—and the advance of technology.


Algorithms for Computer Algebra

Algorithms for Computer Algebra

Author: Keith O. Geddes

Publisher: Springer Science & Business Media

Published: 2007-06-30

Total Pages: 594

ISBN-13: 0585332479

DOWNLOAD EBOOK

Algorithms for Computer Algebra is the first comprehensive textbook to be published on the topic of computational symbolic mathematics. The book first develops the foundational material from modern algebra that is required for subsequent topics. It then presents a thorough development of modern computational algorithms for such problems as multivariate polynomial arithmetic and greatest common divisor calculations, factorization of multivariate polynomials, symbolic solution of linear and polynomial systems of equations, and analytic integration of elementary functions. Numerous examples are integrated into the text as an aid to understanding the mathematical development. The algorithms developed for each topic are presented in a Pascal-like computer language. An extensive set of exercises is presented at the end of each chapter. Algorithms for Computer Algebra is suitable for use as a textbook for a course on algebraic algorithms at the third-year, fourth-year, or graduate level. Although the mathematical development uses concepts from modern algebra, the book is self-contained in the sense that a one-term undergraduate course introducing students to rings and fields is the only prerequisite assumed. The book also serves well as a supplementary textbook for a traditional modern algebra course, by presenting concrete applications to motivate the understanding of the theory of rings and fields.