Search results
From MaRDI portal
- Publication Date of Publication Type Class number formulas, Kronecker's limit formulas, Chowla-Selberg formulas and the generalized gamma functions 2013-04-15...10 bytes (16 words) - 13:02, 8 December 2023
- proof in Peano arithmetic 1986-01-01 Paper Some results on speed-up 1984-01-01 Paper A theorem on lengths of proof of Presburger formulas 1983-01-01 Paper...10 bytes (16 words) - 10:06, 12 December 2023
- mardi4nfdi.de/entity/Q4815986 2004-09-08 Paper Arithmetic complexity of the predicate logics of certain complete arithmetic theories 2002-09-05 Paper https://portal...10 bytes (16 words) - 17:17, 9 December 2023
- Paper Partition-theoretic formulas for arithmetic densities, II 2021-08-27 Paper Partition-theoretic formulas for arithmetic densities 2018-06-21 Paper...10 bytes (18 words) - 14:38, 11 December 2023
- 2020-06-22 Paper Interactive realizations of logical formulas 2017-06-06 Paper Mathematical modeling of formula images for their recognition 2014-12-01 Paper...10 bytes (18 words) - 18:34, 9 December 2023
- Publication Type Classes of propositional UMU formulas and their extensions to minimal unsatisfiable formulas 2024-04-17 Paper NAE-resolution: A new resolution...10 bytes (18 words) - 11:49, 12 December 2023
- higher automorphic Green functions for orthogonal groups 2021-08-27 Paper Arithmetic degrees of special cycles and derivatives of Siegel Eisenstein series...10 bytes (19 words) - 17:05, 7 December 2023
- holomorphic Drinfeld modular forms 2014-08-29 Paper Valence formulas for certain arithmetic groups and their applications 2014-07-16 Paper Harmonic weak...10 bytes (17 words) - 20:40, 9 December 2023
- GCD and LCM matrices 2017-02-08 Paper Arithmetic complexity of the Stirling transforms 2016-09-13 Paper The arithmetic computational complexity of linear...10 bytes (18 words) - 00:46, 11 December 2023
- degrees and the collection rule in arithmetic 2024-01-18 Paper Lipschitz and Wadge binary games in second order arithmetic 2023-07-26 Paper PREDICATIVITY THROUGH...10 bytes (19 words) - 19:13, 11 December 2023
- many primes 1988-01-01 Paper On the scheme of induction for bounded arithmetic formulas 1987-01-01 Paper Counting $Δ_0$ sets 1987-01-01 Paper Combinatorial...10 bytes (19 words) - 00:59, 10 December 2023
- proof in formal systems of arithmetic 1975-01-01 Paper The Solvability of the Decision Problem for Classes of Proper Formulas and Related Results 1973-01-01...10 bytes (20 words) - 08:27, 13 December 2023
- Computation with semialgebraic sets represented by cylindrical algebraic formulas 2015-09-17 Paper Black-box/white-box simplification and applications to...10 bytes (18 words) - 21:29, 9 December 2023
- Paper Lower Bounds for Depth-4 Formulas Computing Iterated Matrix Multiplication 2015-10-08 Paper Monomials in arithmetic circuits: complete problems in...10 bytes (16 words) - 19:24, 9 December 2023
- applications to number theory and combinatorics 2024-03-19 Paper On an arithmetic triangle of numbers arising from inverses of analytic functions 2019-04-29...10 bytes (18 words) - 22:04, 10 December 2023
- Relative to Arithmetic Progressions, I. (General Results) 2019-08-28 Paper On Irregularities of Distribution of Binary Sequences Relative to Arithmetic Progressions...10 bytes (17 words) - 17:17, 8 December 2023
- learning theory 1996-11-24 Paper Learning Arithmetic Read-Once Formulas 1996-01-28 Paper Learning Boolean read-once formulas over generalized bases 1995-08-21...10 bytes (16 words) - 21:48, 10 December 2023
- de/entity/Q5642608 1970-01-01 Paper Some formulas of F. H. Jackson 1969-01-01 Paper Sums of arithmetic functions 1969-01-01 Paper Some formulas related to Gauss's sum 1969-01-01...10 bytes (17 words) - 08:51, 12 December 2023
- Spectrum of an Arithmetic Group 1983-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3964742 1981-01-01 Paper Erratum: The arithmetic theory of loop algebras...10 bytes (17 words) - 05:47, 12 December 2023
- 2016-12-16 Paper Lower bounds on the arithmetic self-intersection number of the relative dualizing sheaf on arithmetic surfaces 2016-12-13 Paper Quadratic...10 bytes (18 words) - 10:24, 11 December 2023
