Related papers: Coend calculus
We present a simple method for the construction of polynomials with cyclic Galois groups, hoping to encourage a reader with some background in algebra to make computations of his/her own.
The title says it all.
This is a preprint version of a chapter for Handbook of Algebra.
In this book, there are five chapters: The Laplace Transform, Systems of Homogeneous Linear Differential Equations (HLDE), Methods of First and Higher Orders Differential Equations, Extended Methods of First and Higher Orders Differential…
This is a survey on permutation classes for the upcoming book Handbook of Enumerative Combinatorics.
The aim of this textbook is to bridge in regard of quantum computation what proves to be a considerable threshold even to the usual science trained readership between the level of science popularization, and on the other hand, the presently…
This is an attempt at applied mathematics, a sequel to arXiv:math/0306174. It suggests a particular model for the application in question, based on the binary octahedral group.
Rejoinder to ``Breakdown and groups'' by P. L. Davies and U. Gather [math.ST/0508497]
We show how to compute the Tamarkin-Tsygan calculus of an associative algebra by providing, for a given cofibrant replacement of it, a `small' $\mathsf{Calc}_\infty$-model of its calculus, which we make somewhat explicit at the level of…
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…
This paper provides a call-by-name and a call-by-value term calculus, both of which have a Curry-Howard correspondence to the box fragment of the intuitionistic modal logic IK. The strong normalizability and the confluency of the calculi…
A new class of alternating convolutions concerning binomial coefficients and Catalan numbers are evaluated in closed forms.
We introduce a functional calculus with simple syntax and operational semantics in which the calculi introduced so far in the Curry-Howard correspondence for Classical Logic can be faithfully encoded. Our calculus enjoys confluence without…
In a previous work, we proved that an important part of the Calculus of Inductive Constructions (CIC), the basis of the Coq proof assistant, can be seen as a Calculus of Algebraic Constructions (CAC), an extension of the Calculus of…
In this paper we give a preliminary formalization of the p-adic numbers, in the context of the second author's univalent foundations program. We also provide the corresponding code verifying the construction in the proof assistant Coq.…
Neutrosophic Analysis is a generalization of Set Analysis, which in its turn is a generalization of Interval Analysis. Neutrosophic Precalculus is referred to indeterminate staticity, while Neutrosophic Calculus is the mathematics of…
This paper introduces a refinement of the sequent calculus approach called cirquent calculus. While in Gentzen-style proof trees sibling (or cousin, etc.) sequents are disjoint sequences of formulas, in cirquent calculus they are permitted…
We discuss a version of the fundamental theorem of calculus in several variables and some applications, of potential interest as a teaching material in undergraduate courses.
Assume $k$ is a field and let $F:C\rightarrow Vect_{k}$ be a small $k$-linear functor from a $k$-linear abelian category $C$ to the category of vector spaces over the field $k$, the purpose of this note is to use a little knowledge of…
Yet more candidates are proposed for inclusion in the Encyclopedia of Triangle Centers. Our focus is entirely on simple calculations.