
We develop an inversive geometry for anisotropic quadradic spaces, in analogy
with the classical inversive geometry of a Euclidean plane.

This text is a survey on symmetric matrices. It serves as a script for a
module taught at university.

As is well known, a graph is a mathematical object modeling the existence of
a certain relation between pairs of elements of a given set. Therefore, it is
not surprising that many of the first results concerning graphs made reference
to relationships between people or groups of people. In this article, we
comment on four results of this kind, which are related to various general
theories on graphs and their applications: the Handshake lemma (related to
graph colorings and Boolean algebra), a lemma on known and unknown people at a
cocktail party (to Ramsey theory), a theorem on friends in common (to
distanceregularity and coding theory), and Hall's Marriage theorem (to the
theory of networks). These four areas of graph theory, often with problems
which are easy to state but difficult to solve, are extensively developed and
currently give rise to much research work. As examples of representative
problems and results of these areas, which are discussed in this paper, we may
cite the following: the Four Colors Theorem (4CTC), the Ramsey numbers,
problems of the existence of distanceregular graphs and completely regular
codes, and finally the study of topological proprieties of interconnection
networks.

This is a short introduction to affine and convex spaces, written especially
for physics students. It summarizes different elementary presentations
available in the mathematical literature, and blends analytic and
geometricflavoured presentations. References are also provided, as well as a
brief discussion of Grassmann spaces and an example showing the relevance and
usefulness of affine spaces in Newtonian physics.

This note tries to show that a reexamination of a first course in analysis,
using the more sophisticated tools and approaches obtained in later stages, can
be a real fun for experts, advanced students, etc. We start by going to the
extreme, namely we present two proofs of the Extreme Value Theorem: "the
programmer proof" that suggests a method (which is practical in downtoearth
settings) to approximate, to any required precision, the extreme values of the
given function in a metric space setting, and an abstract space proof ("the
levelset proof") for semicontinuous functions defined on compact topological
spaces. Next, in the intermediate part, we consider the Intermediate Value
Theorem, generalize it to a wide class of discontinuous functions, and
reexamine the meaning of the intermediate value property. The trek reaches the
final frontier when we discuss the Uniform Continuity Theorem, generalize it,
reexamine the meaning of uniform continuity, and find the optimal delta of the
given epsilon. Have fun!

This work presents for the first time a solution to the 1821 unsolved Sawa
Masayoshi's problem, giving an explicit and algebraically exact solution for
the symmetric case (particular case b = c, i.e., ABC \equiv rightangled
isosceles triangle), see (1.60) and (1.61).
Despite the isosceles triangle restriction is not necessary, in view of the
complexity of the explicit algebraic solution for the symmetric case, one can
guessing the impossibility of achieving an explicit relationship for the
asymmetric case (the more general case: ABC \equiv rightangled scalene
triangle). For this case is given a proof of existence and uniqueness of
solution and a proof of the impossibility of getting such a relationship, even
implicitly, if the sextic equation (2.54) it isn't solvable. Nevertheless, in
(2.56)  (2.58) it is shown the way to solve the asymmetric case under the
condition that (2.54) be solvable. Furthermore, it is proved that with a slight
modification in the final set of variables (F), it is still possible to
establish a relation between them, see (2.59) and (2.61), which provides a
bridge that connects the primitive relationship by means of numerical methods,
for every given rightangled triangle ABC.
And as the attempt to solve Fermat's conjecture (or Fermat's last theorem),
culminated more than three centuries later by Andrew Wiles, led to the
development of powerful theories of more general scope, the attempt to solve
the Masayoshi's problem has led to the development of the Theory of Overlapping
Polynomials (TOP), whose application to this problem reveals a great potential
that might be extrapolated to other frameworks.

We illustrate how one can use basic combinatorial theory and computer
programming technique (Python) to analyze the combinatorial game: Mahjong. The
results confirm some folklore concerning the game, and expose some unexpected
results. Related results and possible future research in connection to
artificial intelligence are mentioned. Readers interested in the subject may
further develop the techniques to deepen the study of the game, or study other
combinatorial games.

We present short elementary proofs of the wellknown RuffiniAbelGalois
theorems on insolvability of algebraic equations in radicals. These proofs are
obtained from existing expositions by stripping away material not required for
the proofs (but presumably required elsewhere). In particular, we do not use
the terms `Galois group' and even `group'. However, our presentation is a good
way to learn (or to recall) a starting idea of Galois theory: the symmetry of a
polynomial of several variables is decreased when a radical is extracted. So
the note provides a bridge (by showing that there is no gap) between elementary
mathematics and Galois theory. The note is accessible to students familiar with
polynomials, complex numbers and permutations; so the note might be interesting
easy reading for professional mathematicians.

The book is designed for a semesterlong course in Foundations of Geometry
and meant to be rigorous, conservative, elementary and minimalist.
List of topics:
Euclidean geometry: The Axioms / Halfplanes / Congruent triangles /
Perpendicular lines / Similar triangles / Parallel lines / Triangle geometry.
Inversive geometry: Inscribed angles / Inversion.
NonEuclidean geometry: Neutral plane / Hyperbolic plane / Geometry of
hplane.
Additional topics: Affine geometry / Projective geometry / Spherical geometry
/ Projective model / Complex coordinates / Geometric constructions / Area.

In this note, we provide a conceptual explanation of a wellknown polynomial
identity used in algebraic number theory.

This paper starts with a biographical sketch of the life of Josef Meixner.
Then his motivations to work on orthogonal polynomials and special functions
are reviewed. Meixner's 1934 paper introducing the Meixner and
MeixnerPollaczek polynomials is discussed in detail. Truksa's forgotten 1931
paper, which already contains the Meixner polynomials, is mentioned. The paper
ends with a survey of the reception of Meixner's 1934 paper.

In the present essay we attempt to reconstruct Newtonian mechanics under the
guidance of logical principles and of a constructive approach related to the
genetic epistemology of J. Piaget and R. Garc\'ia \citep{piag89}. Instead of
addressing Newton's equations as a set of axioms, ultimately given by the
revelation of a prodigious mind, we search for the fundamental knowledge,
beliefs and provisional assumptions that can produce classical mechanics. We
start by developing our main tool: the No Arbitrariness Principle, that we
present in a form that is apt for a mathematical theory as classical mechanics.
Subsequently, we introduce the presence of the observer, analysing then the
relation objectivesubjective and seeking objectivity going across
subjectivity. We take special care of establishing the precedence among all
contributions to mechanics, something that can be better appreciated by
considering the consequences of removing them: (a) the consequence of
renouncing logic and the laws of understanding is not being able to understand
the world, (b) renouncing the early elaborations of primary concepts such as
time and space leads to a dissociation between everyday life and physics, the
latter becoming entirely pragmatic and justified \emph{aposteriori} (because
it is convenient), (c) changing our temporary beliefs has no real cost other
than effort. Finally, we exemplify the present approach by reconsidering the
constancy of the velocity of light. It is shown that it is a result of
Newtonian mechanics, rather than being in contradiction with it. We also
indicate the hidden assumption that leads to the (apparent) contradiction.

The poem Helen of the Nobel laureate George Seferis was inspired by the anti
war play Helen of Euripides. In his poem, Seferis empathizes with the hero of
the tragedy, Teucer, who opposed the involvement of The Gods in the lives of
the humans, posing unanswered and contradictory questions. With the verse What
is god; What is not a god; what is there in between them, the ancient poet
Euripides sets foundations to the kind of logic that one can consider as a
predecessor of Fuzzy Logic. It is worth noting that when Seferis received the
Nobel Prize in Stockholm in 1963, he stated: Right now I feel I am a
contradiction myself, a sentence charged with the new language of mathematical
logic of the 20th century. Interplaying with the famous words of Karl
Weierstrass It is true that a mathematician who is not somewhat of a poet, will
never be a perfect mathematician in this article we discuss, through two poems,
of how poetry and mathematical logic might have influenced each other.

The Mayan calendar is proposed to derive from an arithmetical model of
nakedeye astronomy. The Palenque and Copan lunar equations, used during the
Maya Classic period (200 to 900 AD) are solution of the model and the results
are expressed as a function of the Xultun numbers, four enigmatic Long Count
numbers deciphered in the Maya ruins of Xultun, dating from the IX century AD,
providing strong arguments in favor of the use of the model by the Maya. The
different Mayan Calendar cycles can be derived from this model and the position
of the Calendar Round at the mythical date of creation 13(0).0.0.0.0 4 Ahau 8
Cumku is calculated. This study shows the high proficiency of Mayan mathematics
as applied to astronomy and timekeeping for divinatory purposes.

We discuss first experiences with a new variant of selfassessment in higher
mathematics education. In our setting, the students of the course have to mark
a part of their homework assignments themselves and they receive the
corresponding credit without that any later changes are carried out by the
teacher. In this way we seek to correct the imbalance between studentcentered
learning arrangements and assessment concepts that keep the privilege to grade
(or mark) completely with the teacher. We present results in the form of
student feedback from a course on functional analysis for 3rd and 4th year
students. Moreover we analyze marking results from two courses on real
analysis. Here, we compare tasks marked by the teacher and tasks marked by the
students.

Motivated by recent questions about the extension of Courant's nodal domain
theorem, we revisit a theorem published by C. Sturm in 1836, which deals with
zeros of linear combination of eigenfunctions of SturmLiouville problems.
Although well known in the nineteenth century, this theorem seems to have been
ignored or forgotten by some of the specialists in spectral theory since the
second half of the twentiethcentury. Although not specialists in History of
Sciences, we have tried to put these theorems into the context of nineteenth
century mathematics.

The election methods introduced in 18941895 by Phragm\'en and Thiele, and
their somewhat later versions for ordered (ranked) ballots, are discussed in
detail. The paper includes definitions and examples and discussion of whether
the methods satisfy some properties, including monotonicity, consistency and
various proportionality criteria. The relation with STV is also discussed. The
paper also contains historical information on the methods.

Problems for the graduate students who want to improve problemsolving skills
in geometry. Every problem has a short elegant solution  this gives a hint
which was not available when the problem was discovered.

We present statistical evidence for the importance of the "mystic chord" in
Scriabin's Piano Sonata No. 5, Op. 53, from a computational and mathematical
counterpoint perspective. More specifically, we compute the effect sizes and
$\chi^{2}$ tests with respect to the distributions of counterpoint symmetries
in the Fuxian and mystic counterpoint worlds in two passages of the work, which
provide evidence of a qualitative change between them.

Ideles and adeles can be viewed as a generalization of Minkowski theory, in
which embedding of a number field to the Cartesian product of its completions
at the archimedean valuation is generalized to an embedding of the Cartesian
product of all its completions with some restriction. This paper introduces the
basic notions of pointset topology and builds the real numbers from the
rational numbers. Then we review concepts from local fields that will lead to
the product formula and the approximation theorem. We, then, construct adeles
and ideles. The ideles modulo $k^*$ maps surjectively to the ideal class group,
and the compactness of $C_S^0$ will give rise to an alternative proof to the
Dirichlet's Sunit theorem and the finiteness of ideal class group. The paper
assumes that the reader is familiar with Dedekind domain, principal ideal
domain, unique factorization of Dedekind domain, and field norm and traces. The
first few parts of Chapter 1 in Neukirch's Algebraic Number Theory will be
sufficient for the paper.

We treat the boundary of the union of blocks in the Jenga game as a surface
with a polyhedral structure and consider its genus. We generalize the game and
determine the maximum genus of the generalized game.

The paper will formally define the family of sequences know as "Pea Pattern".
It will then anaylize its behaviour and conditions for fixed and periodic
points. The paper ends with a list of fixed points and cycles.

We give a simple proof of the Birkhoff theorem about existence of a faithful
representation for any finitedimensional nilpotent Lie algebra of
characteristic zero.

We discuss the last question of Banach, posed by him in 1944, shortly before
his death, about extension of a ternary map to superposition of a binary map.
We try to put things into the context of Polish mathematics of that time, and
touch upon subsequent developments in such diverse areas as multivalued logics,
binary and ternary semigroups, theory of clones, and Hilbert's 13th problem.
Making almost a full circle in time, we show how variants of Banach's question
may be settled using a 1949 idea of Jacobson about envelopes of Lie triple
systems.

We discuss a couple of examples of Markov chains. This note is written
primarily for school students; it is based on a lecture given by the first
author at a Math Circle at NAS (www.assagames.com/nas).