1 citations · 1 across the 3 of their papers we have counts for
3 papers
math.NT2024
On the representation of number-theoretic functions by arithmetic terms
Mihai Prunescu, Lorenzo Sauras-Altuzarra
We present closed forms for several functions that are fundamental in number theory and we explain the method used to obtain them. Concretely, we find formulas for the p-adic valua…
cs.SC2023
Symmetric Functions over Finite Fields
Mihai Prunescu
The number of linear independent algebraic relations among elementary symmetric polynomial functions over finite fields is computed. An algorithm able to find all such relations is…
cs.LO2023★ 1 cited
Using Z3 to Verify Inferences in Fragments of Linear Logic
Alen Docef, Radu Negulescu, Mihai Prunescu
Linear logic is a substructural logic proposed as a refinement of classical and intuitionistic logics, with applications in programming languages, game semantics, and quantum physi…