The following pages link to arXiv classification (P22):
Displaying 50 items.
- Divisors on Burniat surfaces (Q5273203) (← links)
- Restricted Lazarsfeld-Mukai bundles and canonical curves (Q5273204) (← links)
- Big I-functions (Q5273205) (← links)
- On the moduli of degree 4 Del Pezzo surfaces (Q5273206) (← links)
- On derived categories of K3 surfaces, symplectic automorphisms and the Conway group (Q5273207) (← links)
- Bridgeland's stability and the positive cone of the moduli spaces of stable objects on an abelian surface (Q5273210) (← links)
- Synthetic foundations of cevian geometry II: The center of the cevian conic (Q5273250) (← links)
- More indecomposable polyhedra (Q5273316) (← links)
- On L.S.-category of a family of rational elliptic spaces (Q5273320) (← links)
- Generalized Continued Logarithms and Related Continued Fractions (Q5274904) (← links)
- Width-$k$ Generalizations of Classical Permutation Statistics (Q5274909) (← links)
- Some Formulas for Numbers of Restricted Words (Q5274910) (← links)
- A Proof of Symmetry of the Power Sum Polynomials using a Novel Bernoulli Numbers Identity (Q5274912) (← links)
- Super Congruences Involving Multiple Harmonic Sums and Bernoulli Numbers (Q5274914) (← links)
- Affine Szab\'o connections on smooth manifolds (Q5275086) (← links)
- On the Betti numbers of filiform Lie algebras over fields of characteristic two (Q5275090) (← links)
- Syntactic Monoids in a Category (Q5275340) (← links)
- A Fibrational Approach to Automata Theory (Q5275343) (← links)
- Towards concept analysis in categories: limit inferior as algebra, limit superior as coalgebra (Q5275348) (← links)
- A first-order logic for string diagrams (Q5275350) (← links)
- Open System Categorical Quantum Semantics in Natural Language Processing (Q5275356) (← links)
- Finitary Corecursion for the Infinitary Lambda Calculus (Q5275360) (← links)
- Deciding Orthogonality in Construction-A Lattices (Q5275364) (← links)
- On the regular space-like hypersurfaces in the de Sitter space ${\mathbb S}^{m+1}_{1}$ with parallel Blaschke tensors (Q5277065) (← links)
- Non-wellfounded trees in Homotopy Type Theory (Q5277827) (← links)
- Realizability Toposes from Specifications (Q5277840) (← links)
- Terminal semantics for codata types in intensional Martin-L\"of type theory (Q5277969) (← links)
- The General Universal Property of the Propositional Truncation (Q5277974) (← links)
- On the structure of classical realizability models of ZF (Q5277975) (← links)
- An extensional Kleene realizability semantics for the Minimalist Foundation (Q5277976) (← links)
- The zero-temperature limit of the free energy density in many-electron systems at half-filling (Q5278006) (← links)
- Quantum enhancement of randomness distribution (Q5278029) (← links)
- Interferometry versus projective measurement of anyons (Q5278033) (← links)
- Disjoint-union partial algebras (Q5278076) (← links)
- Hanf numbers via accessible images (Q5278077) (← links)
- Towards an Algebra for Cascade Effects (Q5278084) (← links)
- Characterization theorem for the conditionally computable real functions (Q5278086) (← links)
- Aspects of algebraic Algebras (Q5278087) (← links)
- On the number of rational points on special families of curves over function fields (Q5278088) (← links)
- Adaptive test for large covariance matrices with missing observations (Q5278118) (← links)
- A study of large fringe and non-fringe subtrees in conditional Galton-Watson trees (Q5278119) (← links)
- A Slow Relative of Hofstadter's Q-Sequence (Q5278237) (← links)
- The $r$th moment of the divisor function: an elementary approach (Q5278238) (← links)
- On the Largest Integer that is not a Sum of Distinct Positive $n$th Powers (Q5278239) (← links)
- Enumerations of Permutations Simultaneously Avoiding a Vincular and a Covincular Pattern of Length 3 (Q5278240) (← links)
- Simple, near-optimal quantum protocols for die-rolling (Q5278345) (← links)
- Robust Linear Temporal Logic (Q5278396) (← links)
- Non-Homogenizable Classes of Finite Structures (Q5278402) (← links)
- Bar recursion in classical realisability : dependent choice and continuum hypothesis (Q5278411) (← links)
- Remote Filters and Discretely Generated Spaces (Q5278801) (← links)
