Related papers: Jewish Problems
This list of problems arose as a collaborative effort among the participants of the Arbeitsgemeinschaft on Mathematical Quasicrystals, which was held at the Mathematisches Forschungsinstitut Oberwolfach in October 2015. The purpose of our…
These test problems were used by the author as weekly control works for the first year physics students at Novosibirsk State University in 2005. Solutions of the problems are also given. The problems were taken from or inspired by the…
Problem definition: Traditionally, New York City's top 8 public schools have selected candidates solely based on their scores in the Specialized High School Admissions Test (SHSAT). These scores are known to be impacted by socioeconomic…
The Lean mathematical library mathlib is developed by a community of users with very different backgrounds and levels of experience. To lower the barrier of entry for contributors and to lessen the burden of reviewing contributions, we have…
The intention of these notes is to give a mathematical account of how I believe students could be taught to think about functional programming languages and to explain how such languages work.
Multiple testing problems arise naturally in scientific studies because of the need to capture or convey more information with more variables. The literature is enormous, but the emphasis is primarily methodological, providing numerous…
This is an update of my problem list.
This paper shares some experience in advanced mathematical education. We show how a high school student can be naturally and gradually introduced to basic steps of scientific research: developing intuition by finding and correcting mistakes…
Proof scores can be regarded as outlines of the formal verification of system properties. They have been historically used by the OBJ family of specification languages. The main advantage of proof scores is that they follow the same syntax…
This paper is an introduction to our ongoing more comprehensive work on a critically important period in the history of Russian mathematics education; it provides a glimpse into the socio-political environment in which the famous Soviet…
Introductory programming courses often rely on small code-writing exercises that have clearly specified problem statements. This limits opportunities for students to practice how to clarify ambiguous requirements -- a critical skill in…
The topic of this paper is "gerrymandering", namely the curse of deliberate creations of district maps with highly asymmetric electoral outcomes to disenfranchise voters, and it has a long legal history. Measuring and eliminating…
A variant of the well-known Set Covering Problem is studied in this paper, where subsets of a collection have to be selected, and pairwise conflicts among subsets of items exist. The selection of each subset has a cost, and the inclusion of…
Problem Roulette (PR) is a web-based study service at the University of Michigan that offers random-within-topic access to a large library of past exam problems in introductory physics courses. Built on public-private cloud computing…
Due to the good performance of current SAT (satisfiability) and Max-SAT (maximum ssatisfiability) solvers, many real-life optimization problems such as scheduling can be solved by encoding them into Max-SAT. In this paper we tackle the…
In this note some philosophical thoughts and observations about mathematics are expressed, arranged as challenges to some common claims.
The present work has been designed for students in secondary school and their teachers in mathematics. We will show how with the help of our knowledge of number systems we can solve problems from other fields of mathematics for example in…
This text contains over three hundred specific open questions on various topics in additive combinatorics, each placed in context by reviewing all relevant results. While the primary purpose is to provide an ample supply of problems for…
Question Answering (QA) is a challenging topic since it requires tackling the various difficulties of natural language understanding. Since evaluation is important not only for identifying the strong and weak points of the various…
This project investigated new approaches and technologies to enhance the accessibility of mathematical content and its semantic information for a broad range of information retrieval applications. To achieve this goal, the project addressed…