Related papers: SPM Bulletin 7
We present additions and improvements in Version 7.5 of FormCalc, most notably OPP methods, Output in C, MSSM initialization via FeynHiggs, and Analytic tensor reduction, as well as a parallelized Cuba library for numerical integration.
This note concerns a search for publications in which the pragmatic concept of a test as conducted in the practice of software testing is formalized, a theory about software testing based on such a formalization is presented or it is…
Let $M$ be a closed simply connected $7$-manifold. In this paper we establish homotopy decompositions of the reduced suspension space $\Sigma M$ into a wedge sum of simpler spaces when localized at a set of primes. These decompositions are…
In the paper, the authors find two closed forms involving the Stirling numbers of the second kind and in terms of a determinant of combinatorial numbers for the Bernoulli polynomials and numbers.
Binet formulae for three versions of third-order Pell polynomials are derived.
This short paper discusses continually updated causal abstractions as a potential direction of future research. The key idea is to revise the existing level of causal abstraction to a different level of detail that is both consistent with…
This article summarizes recent trends in mobile biometrics.
In this paper we prove that a generic rational equation of degree $7$ is solvable by 2-fold origami. In particular we show how to septisect an arbitrary angle. This extends the work of Alperin & Lang and Nishimura on 2-fold origami.…
Technologies in mathematical education has been a theme present at CERME from the first edition. The available technologies have evolved a lot during these years. At CERME 5 conference, the conclusions of the technology Working Group…
In this survey we discuss some combinatorial aspects of higher cluster categories.
This paper briefly reviews past milestones in the field of medical image reconstruction and describes some future directions. It is part of an overview paper on "open problems in signal processing" that will appear in IEEE Signal Processing…
This paper is a companion to our prior paper arXiv:0705.4619 on the `Small Ball Inequality in All Dimensions.' In it, we address a more restrictive inequality, and obtain a non-trivial, explicit bound, using a single essential estimate from…
Epistemic protocols represents a current field of interest, with numerous approaches still being studied. In this paper we formalize parallel sessions of the The Muddy Children Puzzle using Public Observation Logic, a system that allows…
We present a concise review of the status of the Standard Model and of the search for new physics.
Some recent additions to FORM are discussed. In particular large file support and the tablebases are presented.
This is a list of several open problems dealing mainly with univariate polynomials.
We obtain a small improvement of Gallagher's larger sieve and we extend it to higher dimensions. We also obtain two interesting upper bounds for the number of solutions to polynomial congruences.
This is a Snowmass whitepaper on physical mathematics. It briefly summarizes and highlights some of the key questions drawn from a much more extensive essay, by the same authors, entitled, "A Panorama Of Physical Mathematics 2021."
These notes contain everything necessary to run a flipped course on "The Atmosphere" at an introductory undergraduate level. There are notes for the students to read before each course meeting and problems for them to work on in small…
A survey of dictionary models and formats is presented as well as a presentation of corresponding recent standardisation activities.