Related papers: Extending valuations to formal completions
In this paper we give a short introduction to the local uniformization problem. This follows a similar line as the one presented by the second author in his talk at ALANT 3. We also discuss our paper on the reduction of local uniformization…
These notes contain part of the lectures of an introductory course on orthogonal polynomials and special functions that I gave in the joint PhD Program in Mathematics UC|UP in the academic years 2015-2016 (at University of Porto) and…
We extend the {\lambda}-calculus with constructs suitable for relational and functional-logic programming: non-deterministic choice, fresh variable introduction, and unification of expressions. In order to be able to unify…
It is shown how to extend the formal variational calculus in order to incorporate integrals of divergences into it. Such a generalization permits to study nontrivial boundary problems in field theory on the base of canonical formalism.
Let $K$ be a field equipped with a discrete valuation $v$. In a pioneering work, S. MacLane determined all valuations on $K(x)$ extending $v$. His work was recently reviewed and generalized by M. Vaqui\'e, by using the graded algebra of a…
Some expansion methods have been proposed for approximately pricing options which has no exact closed formula. Benhamou et al. (2010) presents the smart expansion method that directly expands the expectation value of payoff function with…
In this paper, we study extensions of valuations over algebraic field extensions without the use of the Axiom of Choice. We show a bijection between the extensions of a valuation and the maximal ideals of the relative integral closure of…
A paper on ordinal partitions by Erd\H{o}s and Milner (1972) has been formalised using the proof assistant Isabelle/HOL, augmented with a library for Zermelo-Fraenkel set theory. The work is part of a project on formalising the partition…
We calculate the local Fourier transforms for formal connections. In particular, we verify an analogous conjecture suggested in Laumon's paper: "Transformation de Fourier, constantes d'equations fonctionnelles et conjecture de Weil, 2.6.3".
Consider a simple algebraic valued field extension $(L/K,v)$ and denote by $\mathcal O_L$ and $\mathcal O_K$ the corresponding valuation rings. The main goal of this paper is to present, under certain assumptions, a description of $\mathcal…
A process of extending sets which can be used as foundation for an alternative organization for Differential and Integral Calculus is presented.
Attribute exploration is a method from Formal Concept Analysis (FCA) that helps a domain expert discover structural dependencies in knowledge domains which can be represented as formal contexts (cross tables of objects and attributes). In…
We investigate the value of extending the completeness of a decision model along different dimensions of refinement. Specifically, we analyze the expected value of quantitative, conceptual, and structural refinement of decision models. We…
The paper proposes a vector generalization of the basic concepts of the theory of complex variable: the concept of modulus and argument of complex number. The author introduces some generalizations of the notion of holomorphic functions and…
We consider finite temperature correlation functions in massive integrable Quantum Field Theory. Using a regularization by putting the system in finite volume, we develop a novel approach (based on multi-dimensional residues) to the form…
These are lecture notes for a course in Winter 2022/23, updated and completed in October 2025. The goal of the lectures is to present some recent developments around six-functor formalisms, in particular: the abstract theory of 6-functor…
The geometric and algebraic theory of valuations on cones is applied to understand identities involving summing certain rational functions over the set of linear extensions of a poset.
Formal approaches to software development are techniques that aim at developing quality software by employing notations, analysis processes, etc., based on mathematical grounds. Although traditionally they aim at increasing software…
These are the lecture notes for a course taught at Tsinghua University in the spring of 2022. In these notes, we develop the basic theory of vertex operator algebras (VOAs) and their conformal blocks using complex-analytic methods. In…
Many different systems with explicit substitutions have been proposed to implement a large class of higher-order languages. Motivations and challenges that guided the development of such calculi in functional frameworks are surveyed in the…