Related papers: Coend calculus
Two simple "simplicial approximation" tricks are invoked to prove basic results involving (co)-homology with local coefficients.
This document is a brief summary of progress that has been made on the problems posed in the document "Twenty Open Problems in Enumeration of Matchings" (also available from this server as math.CO/9801060). NOTE: This article has now been…
Coreference resolution aims to identify in a text all mentions that refer to the same real-world entity. The state-of-the-art end-to-end neural coreference model considers all text spans in a document as potential mentions and learns to…
A corrigendum of a former result on semisimplicity of the category of integrable modules of a q-boson algebra is given with a counter example.
The Painlev\'e equations are here connected to other classes of equations with the Painlev\'e Property (Ince's equations) by the same degeneracy procedure that connects the Painlev\'e equations (coalescence). These Ince's equations here are…
Introduced in 2006 by Japaridze, cirquent calculus is a refinement of sequent calculus. The advent of cirquent calculus arose from the need for a deductive system with a more explicit ability to reason about resources. Unlike the more…
We make two tiny corrections to our previous paper with the same title, and also obtain, as a bonus, something new.
This is an updated version of the lectures notes for a course on condensed mathematics taught in the summer term 2019 at the University of Bonn. The material presented is joint work with Dustin Clausen. This is intended as a stable citable…
This is a conspectus of definite integrals, products and series. These formulae involve special functions in the integrand and summand functions and closed form solutions. Some of the special cases are stated in terms of fundamental…
These Lecture Notes are a brief introduction to the Malliavin calculus. In particular, different notions of Malliavin derivative found in the literature are considered and compared.
The work studies some Difference equations, which are connected with Mejer's function.
This article is devoted to the study of Jack connection coefficients, a generalization of the connection coefficients of the classical commutative subalgebras of the group algebra of the symmetric group closely related to the theory of Jack…
The well-known process algebras, such as CCS, ACP and $\pi$-calculus, capture the interleaving concurrency based on bisimilarity semantics. We did some work on truly concurrent process algebras, such as CTC, APTC and $\pi_{tc}$, capture the…
In this work we tried to prove the lonely runner conjecture also known as the view obstruction problem.
We present the Delta-calculus, an explicitly typed lambda-calculus with strong pairs, projections and explicit type coercions. The calculus can be parametrized with different intersection type theories T, e.g. the Coppo-Dezani, the…
We discuss how transformations in a three dimensional euclidean space can be described in terms of the Clifford algebra $\mathcal{C}\ell_{3,3}$ of the quadratic space $\mathbb{R}^{3,3}$. We show that this algebra describes in a unified way…
We describe an inequality of finite or infinite sequences of real numbers and their quotients. More precisely, we compare the quotient of H\"older functionals of two sequences of numbers with the sum of their quotients. In the last section…
This paper frames calculus as a global, centuries-long development rather than a subject that began only with Newton and Leibniz. Drawing on ideas from Greek, Indian, Islamic, and later European mathematics, it highlights how concepts like…
We develop a version of the pi-calculus, picost, where channels are interpreted as resources which have costs associated with them. Code runs under the financial responsibility of owners; they must pay to use resources, but may profit by…
Recent evaluation protocols for Cross-document (CD) coreference resolution have often been inconsistent or lenient, leading to incomparable results across works and overestimation of performance. To facilitate proper future research on this…