「On the computation and verification of π using BBP-type formulas」の関連論文
-
New Authentication Algorithm and Single Sign-On Algorithm Based on Verifiable Encryption
-
Scattering theory for half-line Schrödinger operators: analytic and topological results
-
Generalization of Bounded Linear Logic and its Categorical Semantics
-
On branching laws of Speh representations
-
An intuitionistic set-theoretical model of fully dependent CC^ω
-
On Soliton Solutions of the Anti-Self-Dual Yang-Mills Equations from the Perspective of Integrable Systems
-
Formalization of Equational Reasoning in the Set-Theoretic Interpretation of Type Theory
-
AN ESTIMATE FOR SURFACE MEASURE OF SMALL BALLS IN CARNOT GROUPS
-
STARK SYSTEMS AND EQUIVARIANT MAIN CONJECTURES
-
Profile analysis and tests for mean vectors with two-step monotone missing data
-
Arithmetic progressions of Piatetski-Shapiro sequences and related problems
-
クライン群の可視化手法とその芸術表現への広がりに関する研究
-
Representation of Geometric Objects by Path Integrals
-
Classification methodologies with high-dimensional data in heterogeneity of sample size and covariance matrices
-
GETZLER’S SYMBOL CALCULUS AND THE COMPOSITION OF DIFFERENTIAL OPERATORS ON CONTACT RIEMANNIAN MANIFOLDS
-
PL DENSITY INVARIANT FOR TYPE II DEGENERATING K3 SURFACES, MODULI COMPACTIFICATION AND HYPER-KÄHLER METRIC
-
A Lie algebra-based approach to asymptotic symmetries in general relativity
-
SUPERSINGULAR LOCI OF LOW DIMENSIONS AND PARAHORIC SUBGROUPS
-
Extended backward stochastic Volterra integral equations and their applications to time-inconsistent stochastic recursive control problems
-
$E^{(1)}_6$型$q$パンルヴェ方程式のラックス形式 (可積分系数理の諸相)
-
Market Pricing for Matroid Rank Valuations
-
Pumping current in a non-Markovian N-state model
-
Systematic construction methods of exactly analyzable models in low dimensions
-
The Cayley transform in complex, real and graded K-theory
-
A NOTE ON SYMMETRIC LINEAR FORMS AND TRACES ON THE RESTRICTED QUANTUM GROUP Ūq(sl(2))
-
A multireference coupled-electron pair approximation combined with complete-active space perturbation theory in local pair-natural orbital framework
-
NUMERICAL INVARIANTS AND MODULI SPACES FOR LINE ARRANGEMENTS
-
EXHAUSTIVE EXISTENCE AND NON-EXISTENCE RESULTS FOR HARDY–HÉNON EQUATIONS IN Rn
-
THE HOPF MONOID AND THE BASIC INVARIANT OF DIRECTED GRAPHS
-
Geometry of configuration space in Markov chain Monte Carlo methods and the worldvolume approach to the tempered Lefschetz thimble method
-
BPF: a novel cluster boundary points detection method for static and streaming data
-
CLASSIFICATION OF POINTED REFLECTION SPACES
-
Late-time correlation functions in dS₃/CFT₂ correspondence
-
Algebraic independence of the values of Hecke-Mahler series (本文)
-
CONNECTED QUANDLES OF SIZE pq AND 4p
-
関孝和による『楊輝算法』の解法の訂正について
-
MUTATIONS AND POINTING FOR BRAUER TREE ALGEBRAS
-
境界問題を持たないカーネル型推定量のバイアス縮小
-
ON THE EQUIVALENCE OF VISCOSITY SOLUTIONS AND DISTRIBUTIONAL SOLUTIONS FOR THE TIME-FRACTIONAL DIFFUSION EQUATION
-
Improving the Efficiency of Hedge Trading Using Higher-Order Standardized Weather Derivatives for Wind Power
-
LINK MUTATIONS AND GOERITZ MATRICES
-
Lattice QCD studies on baryon resonances and pentaquarks from meson-baryon scatterings
-
Tensor renormalization group approach to higher-dimensional lattice field theories
-
Descriptions of Excavations (khāta) in the Triśatībhāṣya : Surveying Method and Two Terms, laṃba and kaḍī (Study of the History of Mathematics 2022)
-
Emergence of Lie group symmetric classical spacetimes in the canonical tensor model
-
Correlator correspondences for Gaiotto-Rapčák dualities and first order formulation of coset models
-
Indexing complex networks for fast attributed kNN queries
-
On the norm of normal matrices (Research on preserver problems on Banach algebras and related topics)
-
Geometric Method for Solvable Lattice Spin Systems
-
Planar Realizability via Left and Right Applications