相关论文: SPM Bulletin 7
The purpose of this paper is to continue studying the properties of $\gamma$-regular open sets introduced and explored in [6]. The concept of $\gamma$-closed spaces have also been defined and discussed.
A survey paper on some recent results on additive problems with prime powers.
In this article we will show $2$ different proofs for the fact that there exist relatively prime positive integers $a,b$ such that: $a^2+ab+b^2=7^n$.
A summary is presented of a symposium held to review recent progress in X-ray astronomy and to discuss prospects for the next generation of X-ray missions. The summary is organized around ten general, astrophysical questions that may…
These reports present the results of the 2013 Community Summer Study of the APS Division of Particles and Fields ("Snowmass 2013") on the future program of particle physics in the U.S. Chapter 7, on Underground Laboratory Capabilities,…
A quasiperiodic 7-fold rhombic tiling is constructed with an iterative substitution scheme. The inflation factor is 5.04892..., the square of the longer diagonal of a regular heptagon. There are many substitutions possible that fill larger…
We present a classification theorem for closed smooth spin 2-connected 7-manifolds M. This builds on the almost-smooth classification from the first author's thesis. The main additional ingredient is an extension of the Eells-Kuiper…
Based on Lyndon words, a new Sudoku-like puzzle is presented and some relative theoretical questions are proposed.
In this paper we present a more transparent upgrade of our proofs and comment on Jerabek's paper [8].
We outline a new tool that can promote coherence within and across higher education mathematics courses by focusing on problem-solving: the Mathematical Problem-Solving Pipeline or MPSP. The MPSP can be used for teaching mathematics and…
This is a resubmission of preprint 9401008 , which has some TeXnical errors introduced by the "reform" procedure (designed to avoid precisely these problems!). The original can be formatted by editing out the messages "%% following line…
As suggested by the title, this paper is a survey of recent results and questions on the collection of computably enumerable sets under inclusion. This is not a broad survey but one focused on the author's and a few others' current…
This is the latest edition of the physics description and manual of the PYTHIA and JETSET programs for event generation in High Energy Physics.
This paper introduces the 2019 version of \us{}, a novel Constraint Programming framework for floating point verification problems expressed with the SMT language of SMTLIB. SMT solvers decompose their task by delegating to specific…
These are lectures notes on support preconditioning, originally written in 2007. The notes cover large sparse linear systems of equations, krylov subspace solvers for symmetric diagonally dominant linear systems, sparse Cholesky, support…
This paper, written in relation to the Current Developments in Mathematics 2012 Conference, discusses the recent papers on perfectoid spaces. Apart from giving an introduction to their content, it includes some open questions, as well as…
This note describes a SAT encoding for the $n$-fractions puzzle which is problem 041 of the CSPLib. Using a SAT solver we obtain a solution for two of the six remaining open instances of this problem.
Inscribability of polytopes is a classic subject but also a lively research area nowadays. We illustrate this with a selection of well-known results and recent developments on six particular topics related to inscribable polytopes. Along…
This is a brief survey of recent results related to austere submanifolds, mainly based on the papers [24,25].
We show that for a large class of cubic polynomials $f$, every sufficiently large number can be written as a sum of seven positive values of $f$. As a special case, we show that every number greater than $e^{10^7}$ is a sum of seven…