2 citations · 4 across the 6 of their papers we have counts for
6 papers
Solvability of meromorphic equations in elementary functions
Miroslav Marinov, Nikola Veselinov
An equation , where is a complex meromorphic function and is a parameter, is solvable in elementary functions if the inverse map can be e…
On the maximal size of -town families
Nikola Veselinov, Miroslav Marinov
A family is an -town if all sets in it have cardinality and all pairwise intersections in it have cardinality $b\pmo…
The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs
Jasper Dekoninck, Ivo Petrov, Kristian Minchev +13
In recent months, large language models (LLMs) have made significant progress in mathematical proof generation, but further advancement is hindered by the lack of a large-scale, hi…
Proof of the Complete Presence of a Modulo 4 Bias for the Semiprimes
Nikola Gyulev, Miroslav Marinov
In 2016, Dummit, Granville, and Kisilevsky showed that the proportion of semiprimes (products of two primes) not exceeding a given , whose factors are congruent to modulo $4…
On Banzhaf and Shapley-Shubik Fixed Points and Divisor Voting Systems
Alex Arnell, Richard Chen, Evelyn Choi +3
The Banzhaf and Shapley-Shubik power indices were first introduced to measure the power of voters in a weighted voting system. Given a weighted voting system, the fixed point of su…
Realizing Artin-Schreier Covers with Minimal -numbers in Positive Characteristic
Fiona Abney-McPeek, Hugo Berg, Jeremy Booher +8
Suppose is a smooth projective connected curve defined over an algebraically closed field of characteristic and is a finite, possibly empty, set of points.…