DeepAI AI Chat

Applications of the analogy between formulas and exponential polynomials to equivalence and normal forms

05/18/2019

∙

by Danko Ilik, et al.

∙

∙

We show some applications of the formulas-as-polynomials correspondence: 1) a method for (dis)proving formula isomorphism and equivalence based on showing (in)equality; 2) a constructive analogue of the arithmetical hierarchy, based on the exp-log normal form. The results are valid intuitionistically, as well as classically.

page 1

page 2

page 3

page 4

∙ 04/01/2023

Two Variants of Bezout Subresultants for Several Univariate Polynomials

In this paper, we develop two variants of Bezout subresultant formulas f...

0 Weidong Wang, et al. ∙

∙ 12/05/2022

Complementary Romanovski-Routh polynomials and their zeros

The efficacy of numerical methods like integral estimates via Gaussian q...

0 Luana L. Silva Ribeiro, et al. ∙

∙ 08/22/2021

Random polynomials and their zeros

We investigate the distribution of zeros of random polynomials with inde...

0 Christopher Corley, et al. ∙

∙ 01/25/2019

Calculational HoTT

Based on a loose correspondence between, on one hand, a first order vers...

0 Ernesto Acosta, et al. ∙

∙ 03/01/2021

Separating ABPs and Some Structured Formulas in the Non-Commutative Setting

The motivating question for this work is a long standing open problem, p...

0 Prerona Chatterjee, et al. ∙

∙ 10/20/2021

Zeros of quasi-paraorthogonal polynomials and positive quadrature

In this paper we illustrate that paraorthogonality on the unit circle 𝕋 ...

0 Adhemar Bultheel, et al. ∙

∙ 01/23/2021

Exactness of quadrature formulas

The standard design principle for quadrature formulas is that they shoul...

0 Lloyd N. Trefethen, et al. ∙