| Publication | Date of Publication | Type |
|---|
On the representation of C-recursive integer sequences by arithmetic terms
(available as arXiv preprint) | N/A | Paper |
Arithmetic-term representations for the greatest common divisor
Integers | 2026-08-18 | Paper |
A minimal substitution basis for the Kalmár elementary functions
Journal of Logic and Computation | 2026-04-29 | Paper |
| The path-bifurcation hierarchy does not collapse to ^1 in infinite abelian groups | 2026-04-29 | Paper |
A Minimal Substitution Basis for the Kalmár Elementary Functions
(available as arXiv preprint) | 2026-01-01 | Paper |
Undecidability, Chaos and Universality in Arithmetic Terms
(available as arXiv preprint) | 2026-01-01 | Paper |
How many points has an affine algebraic set in residue classes modulo n ?
(available as arXiv preprint) | 2026-01-01 | Paper |
Short arithmetic terms express the cardinality of elliptic curves in Weierstraß normal form over finite fields
(available as arXiv preprint) | 2026-01-01 | Paper |
Straight-line programs for the solutions of Pell's equation
(available as arXiv preprint) | 2026-01-01 | Paper |
Recurrent two-dimensional sequences over three and four letters simulating von Neumann constructions of finite ordinals
(available as arXiv preprint) | 2026-01-01 | Paper |
Short Recurrences and Straight-Line Programs for Primes
(available as arXiv preprint) | 2026-01-01 | Paper |
Computational considerations on the representation of number-theoretic functions by arithmetic terms
Journal of Logic and Computation | 2025-10-29 | Paper |
On modular representations of \(\mathrm{C}\)-recursive integer sequences
Journal of Integer Sequences | 2025-09-30 | Paper |
On the representation of C-recursive integer sequences by arithmetic terms
Journal of Difference Equations and Applications | 2025-09-25 | Paper |
An arithmetic term for the factorial function
Examples and Counterexamples | 2025-09-05 | Paper |
Conjunctions of exponential Diophantine equations over \(\mathbb{Q}\)
Archive for Mathematical Logic | 2025-07-24 | Paper |
On other two representations of the C-recursive integer sequences by terms in modular arithmetic
Journal of Symbolic Computation | 2025-04-01 | Paper |
On the first-order theory of the remainder
(available as arXiv preprint) | 2025-01-01 | Paper |
Polynomial Fingerprinting for Trees and Formulas
(available as arXiv preprint) | 2025-01-01 | Paper |
On polynomial systems of equations in square matrices filled with natural numbers
(available as arXiv preprint) | 2025-01-01 | Paper |
Elementary closed-forms for non-trivial divisors
(available as arXiv preprint) | 2025-01-01 | Paper |
Arithmetic closed forms count the Mersenne primes, the Fermat primes and the twin-prime pairs
(available as arXiv preprint) | 2025-01-01 | Paper |
Two-colorings of finite grids: variations on a theorem of Tibor Gallai
(available as arXiv preprint) | 2025-01-01 | Paper |
On other two representations of the C-recursive integer sequences by terms in modular arithmetic
(available as arXiv preprint) | 2024-01-01 | Paper |
On the representation of number-theoretic functions by arithmetic terms
(available as arXiv preprint) | 2024-01-01 | Paper |
Arithmetic-term representations for the greatest common divisor
(available as arXiv preprint) | 2024-01-01 | Paper |
On arithmetic terms expressing the prime-counting function and the n-th prime
(available as arXiv preprint) | 2024-01-01 | Paper |
On non-holonomicity, transcendence and p-adic valuations
(available as arXiv preprint) | 2024-01-01 | Paper |
| Symmetric Functions over Finite Fields | 2023-09-24 | Paper |
| Symmetries in the Pascal triangle: p-adic valuation, sign-reduction modulo p and the last non-zero digit | 2023-06-02 | Paper |
Symmetric Functions over Finite Fields
(available as arXiv preprint) | 2023-01-01 | Paper |
Smooth approximations by continuous choice-functions
Soft Computing | 2022-11-22 | Paper |
| Two results about the rational numbers | 2022-05-09 | Paper |
On representations of intended structures in foundational theories
Journal of Philosophical Logic | 2022-04-04 | Paper |
THE EXPONENTIAL DIOPHANTINE PROBLEM FOR
Journal of Symbolic Logic | 2021-01-29 | Paper |
A growth model based on the arithmetic \(Z\)-game
Chaos, Solitons and Fractals | 2017-10-18 | Paper |
About a surprising computer program of Matthias Müller
Convexity and Discrete Geometry Including Graph Theory | 2017-09-06 | Paper |
Linear recurrent double sequences with constant border in \(M_2(\mathbb F_2)\) are classified according to their geometric content
Symmetry | 2017-05-12 | Paper |
A two-valued recurrent double sequence that is not automatic
Theoretical Computer Science | 2014-03-13 | Paper |
F_p-affine recurrent n-dimensional sequences over F_q are p-automatic
European Journal of Combinatorics | 2012-12-03 | Paper |
Recurrent two-dimensional sequences generated by homomorphisms of finite abelian p-groups with periodic initial conditions
Fractals | 2012-04-20 | Paper |
The Thue-Morse-Pascal double sequence and similar structures
Comptes Rendus. Mathématique. Académie des Sciences, Paris | 2011-10-21 | Paper |
RECURRENT DOUBLE SEQUENCES THAT CAN BE PRODUCED BY CONTEXT-FREE SUBSTITUTIONS
Fractals | 2010-06-30 | Paper |
Self-similar carpets over finite fields
European Journal of Combinatorics | 2009-06-17 | Paper |
| Concrete algebraic cohomology for the group \((\mathbb R,+)\) or how to solve the functional equation \(f(x+y)-f(x)-f(y)=g(x,y)\) | 2008-12-11 | Paper |
An undecidable property of recurrent double sequences
Notre Dame Journal of Formal Logic | 2008-06-18 | Paper |
| Dynamical systems with double recursion are undecidable | 2007-10-10 | Paper |
Logical Approaches to Computational Barriers
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Dynamical systems with double recursion are undecidable
(available as arXiv preprint) | 2007-01-01 | Paper |
Structure with fast elimination of quantifiers
Journal of Symbolic Logic | 2006-07-05 | Paper |
Undecidable and decidable restrictions of Hilbert's Tenth Problem: images of polynomials vs. images of exponential functions
MLQ | 2006-03-24 | Paper |
Two situations with unit-cost: ordered abelian semi-groups and some commutative rings
Journal of Complexity | 2005-09-02 | Paper |
Diophantine properties of finite commutative rings
Archive for Mathematical Logic | 2003-09-16 | Paper |
A model-theoretic proof for <i>P ≠ NP</i> over all infinite abelian group
Journal of Symbolic Logic | 2003-07-05 | Paper |
<i>P</i> ≠ <i>NP</i> for all infinite Boolean algebras
Mathematical Logic Quarterly | 2003-04-10 | Paper |
An isomorphism between monoids of external embeddings: About definability in arithmetic
Journal of Symbolic Logic | 2002-12-04 | Paper |
Non-effective quantifier elimination
Mathematical Logic Quarterly (MLQ) | 2002-09-16 | Paper |
\(\text{P}\neq \text{NP}\) for the reals with various analytic functions
Journal of Complexity | 2001-07-23 | Paper |
Most homeomorphisms of the circle are semiperiodic
Archiv der Mathematik | 1995-07-03 | Paper |
