Related papers: A Succinct Multivariate Lazy Multivariate Tower AD…
In this paper, we address the complexity barrier inherent in Fourier-Motzkin elimination (FME) and cylindrical algebraic decomposition (CAD) when eliminating a block of (existential) quantifiers. To mitigate this, we propose exploiting…
The successes of deep learning, variational inference, and many other fields have been aided by specialized implementations of reverse-mode automatic differentiation (AD) to compute gradients of mega-dimensional objectives. The AD…
Multivector fields and differential forms at the continuum level have respectively two commutative associative products, a third composition product between them and various operators like $\partial$, $d$ and $*$ which are used to describe…
We explain and restate the results from our recent paper arXiv:1503.08000.v3 in standard language for substitutions and $S$-adic systems in symbolic dynamics. We then produce as rather direct application an $S$-adic system (with finite set…
A complete reduction $\phi$ for derivatives in a differential field is a linear operator on the field over its constant subfield. The reduction enables us to decompose an element $f$ as the sum of a derivative and the remainder $\phi(f)$. A…
The Weil algebra of a semisimple Lie group and an exterior algebra of a symplectic manifold possess antibrackets. They are applied to formulate the models of non--abelian equivariant cohomologies.
We show how the basic Combinatory Homomorphic Automatic Differentiation (CHAD) algorithm can be optimised, using well-known methods, to yield a simple, composable, and generally applicable reverse-mode automatic differentiation (AD)…
The support vector machine is a flexible optimization-based technique widely used for classification problems. In practice, its training part becomes computationally expensive on large-scale data sets because of such reasons as the…
The paper reports on computation of verified enclosures for the Titchmarsh-Weyl m-function. It examines some cases in which Lohner's AWA algorithm must be suplimented by mathematical analysis.
Algorithmic Differentiation (AD) can be used to automate the generation of derivatives in arbitrary software projects. This will generate maintainable derivatives, that are always consistent with the computation of the software. If a domain…
The topological vertex formalism for 5d $\mathcal{N}=1$ gauge theories is not only a convenient tool to compute the instanton partition function of these theories, but it is also accompanied by a nice algebraic structure that reveals…
Let $\mathit{s}\mathcal{L}$ be the $\infty$-category of simplicial restricted Lie algebras over $\mathbf{F} = \overline{\mathbf{F}}_p$, the algebraic closure of a finite field $\mathbf{F}_p$. By the work of A. K. Bousfield et al. on the…
We provide a computable criterion for selecting among Fourier, wavelet, and time-frequency analysis by extending the algebraic diversity (AD) framework to Lie groups acting on $L^2(\mathbb{R})$. To our knowledge, there is no other criterion…
We describe here a library aimed at automating the solution of partial differential equations using the finite element method. By employing novel techniques for automated code generation, the library combines a high level of expressiveness…
This paper presents the mechanization of a process algebra for Mobile Ad hoc Networks and Wireless Mesh Networks, and the development of a compositional framework for proving invariant properties. Mechanizing the core process algebra in…
This article aims to demonstrate and discuss the applications of automatic differentiation (AD) for finding derivatives in PDE-constrained optimization problems and Jacobians in non-linear finite element analysis. The main idea is to…
In this thesis I study the automorphism tower of free nilpotent groups. Our main tool in studying the automorphism tower is to embed every group as a lattice in some Lie group. Using known rigidity results the automorphism group of the…
In practical situations, interval-valued fuzzy sets are frequently encountered. In this paper, firstly, we present shadowed sets for interpreting and understanding interval fuzzy sets. We also provide an analytic solution to computing the…
The article presents a computationally effective algorithm for calculating the multiresolution discrete Fourier transform (MrDFT). The algorithm is based on the idea of reducing the computational complexity which was introduced by Wen and…
The application of operator overloading algorithmic differentiation (AD) to computer programs in order to compute the derivative is quite common. But, the replacement of the underlying computational floating point type with the specialized…