相关论文: SPM Bulletin 7

This is an expanded version of the Notices of the AMS column with the same title. The text is unchanged, but we added acknowledgements and a large number of endnotes which provide the context and the references.

This volume contains the proceedings of the 7th Working Formal Methods Symposium, which was held at the University of Bucharest, September 21-22, 2023.

We present a collection of research questions on cubic surfaces in 3-space. These questions inspired a collection of papers to be published in a special issue of the journal Le Matematiche. This article serves as the introduction to that…

We update the state of the subject approximately 20 years after the publication of a previous article on this topic. This report is mostly a survey, with a sprinkling of assorted new results throughout.

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…

The content of this preprint together with additional material appears now in 0706.2154.

Submanifolds of finite type were introduced by the author during the late 1970s. The first results on this subject were collected in author's books [26,29]. In 1991, a list of twelve open problems and three conjectures on finite type…

This is an informal survey of progress in Weihrauch complexity (cf arXiv:1707.03202) in the period 2018-2020. Open questions are emphasised.

This note is a survey of $J$-spaces.

A new set of formulas for primes is presented. These formulas are more efficient and grow much slower than the two known formulas of Mills and Wright. 3 new formulas are explained.

In this small paper we bring together various open problems on geometric multidimensional continued fractions.

We collect together various facts about G_2 and Spin(7) geometry which are likely well known but which do not seem to have appeared explicitly in the literature before. These notes should be useful to graduate students and new researchers…

This is an extended version of our note in the Notices of the American Mathematical Society 63 (2016), no. 9, in which we explain what multiple orthogonal polynomials are and where they appear in various applications.

The goal of the paper is to give characterization of closed connected manifolds which admit a global multisympletic 3-form of some algebraic type. A generic type of such 3-form is equivalent to a G2-structure. This is the most interesting…

We introduce FORM 4.2, a new minor release of the symbolic manipulation toolkit. We demonstrate several new features, such as a new pattern matching option, new output optimization, and automatic expansion of rational functions.

New lower bounds involving sum, difference, product, and ratio sets for $A\subset \C$ are given.

An overview of quantum computing and in particular the Hidden Subgroup Problem are presented from a mathematical viewpoint. Detailed proofs are supplied for many important results from the literature, and notation is unified, making it…

We describe a new challenge aimed at discovering subword and word units from raw speech. This challenge is the followup to the Zero Resource Speech Challenge 2015. It aims at constructing systems that generalize across languages and adapt…

It is shown that, in a generalized S-space-form, $F_{7}$ always equals $F_{8}$.

This paper is now part of the new paper "Series with Hermite polynomials and applications" arXiv:1710.00687.