Related papers: Teaching Divisibility and Binomials with Coq
Making meaning with math in physics requires blending physical conceptual knowledge with mathematical symbology. Students in introductory physics classes often struggle with this, but it is an essential component of learning how to think…
A close look at students' written work on examinations offers a wealth of information about their performance, their knowledge of the subject, their strengths, weaknesses and misconceptions, and their overall level of mathematical skills…
$q$-analogs of special functions, including hypergeometric functions, play a central role in mathematics and have numerous applications in physics. In the theory of probability, $q$-analogs of various probability distributions have been…
We study a coderivation from a cobimodule into a coalgebra. Vector cofields are defined by the action of a codual bicomodule on a coalgebra. This action is induced by a codifferential. A construction of a codual object in the category of…
Multiple Choice Questions or MCQs are very important for e-learning. Generally, MCQs are used as a tool for the assessment of student performance at the end of their learning sessions. Can MCQs become an important tool in the process of…
Diagrammatic, analogical or iconic representations are often contrasted with linguistic or logical representations, in which the shape of the symbols is arbitrary. The aim of this paper is to make a case for the usefulness of diagrams in…
We use $q$-binomial theorem to prove three new polynomial identities involving $q$-trinomial coefficients. We then use summation formulas for the $q$-trinomial coefficients to convert our identities into another set of three polynomial…
Drawable electronics attract the attention of both educators and innovative circuit engineers due to their affordability and simplicity. This paper focuses on active learning activities related to conducting lines and presents extensible…
Educating students from diverse disciplinary backgrounds is challenging. In this article, we report on our interdisciplinary course coding interaction and design (Coding IxD), which is designed for computer science and design students…
The understanding of probability can be difficult for a few young scientists. Consequently, this new mathematical symbol, related to binomial coefficients and simplicial polytopic numbers, could be helpful to science education. Moreover,…
We give a brief discussion of some of the issues which have arisen in the course of formalizing some classical set-theoretical mathematics in the Coq system. This sprouts from, expands and replaces a chapter of math.HO/0311260 which will be…
After a self-contained introduction to Lie algebra cohomology, we present some recent applications in mathematics and in physics. Contents: 1. Preliminaries: L_X, i_X, d 2. Elementary differential geometry on Lie groups 3. Lie algebra…
These are the notes for a two-week mini-course given at a winter school in January 2014 as part of the thematic semester New Directions in Lie Theory at the Centre de Recherches Math\'ematiques in Montr\'eal. The goal of the course was to…
We are convinced of the usefulness of sketches and diagrams during mathematical work but the observation is made in our practices that they are not spontaneously used by students. In order to study the understanding and use of sketches by…
The DidaTab project (Didactics of Spreadsheet, teaching and learning spreadsheets) is a three year project (2005-2007) funded by the French Ministry of Research and dedicated to the study of personal and classroom uses of spreadsheets in…
Should the final right bracket in a record declaration be on a separate line? Should arguments to the rewrite tactic be separated by a single space? Coq code tends to be written in distinct manners by different people and teams. The…
Recent releases of open-source research codes and solvers for numerically solving partial differential equations in Python present a great opportunity for educators to integrate these codes into the classroom in a variety of ways. The ease…
The fundamental principles of quantum mechanics are considered to be hard for understanding by unprepared listeners, many attempts of its popularization turned out to be either difficult to grasp or incorrect. We propose quantum…
These course note first provide an introduction to secondary characteristic classes and differential cohomology. They continue with a presentation of a stable homotopy theoretic approach to the theory of differential extensions of…
Here, we present a simple, low-cost format for structured speaking and listening on historical, cultural, and equity-related topics within a physics institute. In this article, we describe how we run hour-long Learning Together sessions,…