相关论文: Sheaves in Elementary Mathematics: The case of pos…
This survey contains a selection of topics unified by the concept of positive semi-definiteness (of matrices or kernels), reflecting natural constraints imposed on discrete data (graphs or networks) or continuous objects (probability or…
This essay considers the special character of mathematical reasoning, and draws on observations from interactive theorem proving and the history of mathematics to clarify the nature of formal and informal mathematical language. It proposes…
In the classical probability in continuous random variables there is no distinguishing between the probability involving strict inequality and non strict inequality. Moreover a probability involves equality collapse to zero without…
A new class of Semantic Numeration Systems, namely, positive rational Semantic Numeration Systems is introduced. For cardinal semantic operators, differences in the formation of carry (common carry) and remainders are defined. The…
An introduction is given to the logic of sheaves of structures and to set theoretic forcing constructions based on this logic. Using these tools, it is presented an alternative proof of the independence of the Continuum Hypothesis; which…
A new generation of educational mathematics software is being shaped in ThEdu and other academic communities on the side of computer mathematics. Respective concepts and technologies have been clarified to an extent, which calls for…
Using the index theory of seaweed algebras, we explore various new integer partition statistics. We find relations to some well-known varieties of integer partitions as well as a surprising periodicity result.
Our number system is a magnificent tool. But it is far from perfect. Can it be improved? In this paper some possibilities are discussed, including the use of a different base or directed (negative as well as positive) numerals. We also put…
Mathematics as an area of study occupies an important place in higher education. Due in part to its utility in other disciplines as well as its role in student learning, institutions of higher education (IHEs) often have large numbers of…
In this text, we outline a theory of schemes associated with a site, which generalizes a variety of geometries, such as manifolds, schemes, analytic spaces, simplicial complexes, and more. We present an abstract process of gluing model…
In this paper, we show that for any integer $k \in \mathbb{N}$ there exists a Sobolev sheaf (in the sense of Lebeau) on any definable site of $\mathbb{R}^2$ that agrees with Sobolev spaces on cuspidal domains. We also provide a complete…
We present some fragments of a teaching experiment realized in a first grade classroom, to sow the seeds for a mathematical definition of rectangles that includes squares. Within the paradigm of semiotic mediation, we studied the emergence…
We introduce the notion of integrable connections for a sheaf of differential graded algebras on a topological space. We then describe them in the finite locally projective setting, when the sheaf is either the de Rham complex of a formal…
In this paper we suggest how the mathematical concept of hyperstructures may be a useful tool in the study of the higher, hierachical structure of languages.
Engaging students in teaching foundational Computer Science concepts is vital for the student's continual success in more advanced topics in the field. An idea of a series of Jupyter notebooks was conceived as a way of using Bloom's…
The unique and beautiful character of certain mathematical results and proofs is often considered one of the most gratifying aspects of engaging with mathematics. We study whether this perception of mathematical arguments having an…
We define an equivalence relation among coherent sheaves on a projective variety called biliaison. We prove the existence of sheaves that are minimal in a biliaison class in a suitable sense, and show that all sheaves in the same class can…
`Categorification' is the process of replacing equations by isomorphisms. We describe some of the ways a thoroughgoing emphasis on categorification can simplify and unify mathematics. We begin with elementary arithmetic, where the category…
For several years, students visit us on different occasions at the university. But how to bridge from the school curriculum to the contents of the university mathematics? And how to find a focal point at which an active contribute, despite…
In this work, the set of quasi-primary ideals of a commutative ring with identity is equipped with a topology and is called quasi-primary spectrum. Some topological properties of this space are examined. Further, a sheaf of rings on the…