Search results
From MaRDI portal
- Publication Date of Publication Type NONCONSTRUCTIVIZABLE FORMAL ARITHMETIC STRUCTURES 1988-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3789558 1987-01-01...10 bytes (18 words) - 09:10, 24 September 2023
- Paper An arithmetic intersection conjecture 2021-03-18 Paper Arithmetic diagonal cycles on unitary Shimura varieties 2020-11-04 Paper Regular formal moduli...10 bytes (19 words) - 06:24, 12 December 2023
- geometry and arithmetic: a probabilistic approach 2017-01-05 Paper Algebraic Dynamical Systems and Dirichlet's Unit Theorem on Arithmetic Varieties 2016-02-01...10 bytes (17 words) - 17:37, 11 December 2023
- 2022-01-19 Paper ARITHMETIC STRUCTURES FOR DIFFERENTIAL OPERATORS ON FORMAL SCHEMES 2021-08-16 Paper \(\mathscr{D}^{\dagger}\)-affinity of formal models of flag...10 bytes (17 words) - 06:57, 12 December 2023
- Publication Date of Publication Type Floating-point arithmetic 2023-09-12 Paper Formal Correctness of Comparison Algorithms Between Binary64 and Decimal64...10 bytes (18 words) - 11:26, 11 December 2023
- multiplication theorem. 1929-01-01 Paper On the arithmetic of a general associative algebra. 1928-01-01 Paper Note on formal modular invariants. 1928-01-01 Paper...10 bytes (19 words) - 14:52, 13 December 2023
- Cohomology of formal modules over local fields 2019-07-19 Paper Power filtration on morphisms of formal group law 2019-03-15 Paper The Lubin-Tate formal module...10 bytes (18 words) - 03:47, 12 December 2023
- Paper Fifty years of self-reference in arithmetic 1981-01-01 Paper Cofinal extensions of nonstandard models of arithmetic 1981-01-01 Paper Skolem's solution...10 bytes (16 words) - 23:04, 12 December 2023
- Cokernels in the category of formal group laws 2022-03-02 Paper Torsion points of generalized Honda formal groups 2021-02-15 Paper Formal group laws over ℤ 2020-09-25...10 bytes (18 words) - 01:28, 13 December 2023
- Paper Formal groups over sub-rings of the ring of integers of a multidimensional local field 2020-01-28 Paper The arithmetic of hyperbolic formal modules...10 bytes (18 words) - 05:41, 12 December 2023
- groups 2021-06-14 Paper Weil representation and arithmetic fundamental lemma 2021-06-01 Paper Arithmetic diagonal cycles on unitary Shimura varieties 2020-11-04...10 bytes (18 words) - 22:21, 11 December 2023
- Boosting the reuse of formal specifications 2018-10-04 Paper Verified Real Number Calculations: A Library for Interval Arithmetic 2017-08-08 Paper Rewriting...10 bytes (19 words) - 06:09, 9 December 2023
- form 2013-03-15 Paper Objects: a study in Kantian formal epistemology 2012-11-29 Paper Relative formal topology: the binary positivity predicate comes first...10 bytes (16 words) - 15:08, 12 December 2023
- 2017-07-27 Paper Toward Formal Design of Practical Cryptographic Hardware Based on Galois Field Arithmetic 2017-06-20 Paper Formal Approach for Verifying...10 bytes (16 words) - 19:34, 12 December 2023
- 2022-01-19 Paper ARITHMETIC STRUCTURES FOR DIFFERENTIAL OPERATORS ON FORMAL SCHEMES 2021-08-16 Paper \(\mathscr{D}^{\dagger}\)-affinity of formal models of flag...10 bytes (16 words) - 13:31, 28 January 2024
- negationless-type theory 1986-01-01 Paper A formal system of negationless arithmetic that is conservative with respect to Heyting arithmetic 1984-01-01 Paper Deductive...10 bytes (18 words) - 11:46, 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
- Building Blocks of Double-Word Arithmetic 2018-08-17 Paper Handbook of Floating-Point Arithmetic 2018-04-04 Paper Formal verification of a floating-point...10 bytes (16 words) - 13:45, 12 December 2023
- \(t\)-structures 2023-06-09 Paper Lubin-Tate formal modules over higher local fields 2023-05-25 Paper The structure of formal modules as Galois modules in cyclic...10 bytes (18 words) - 01:17, 10 December 2023
- language 2018-10-18 Paper Boosting the reuse of formal specifications 2018-10-04 Paper Affine Arithmetic and Applications to Real-Number Proving 2015-09-14...10 bytes (18 words) - 18:32, 13 December 2023
