Results 31 to 40 of about 83,573 (332)

Generalized quandle polynomials

, 2008
We define a family of generalizations of the two-variable quandle polynomial. These polynomial invariants generalize in a natural way to eight-variable polynomial invariants of finite biquandles.
Carter, Matveev, Sam Nelson
core   +4 more sources

Polynomial Invariants by Linear Algebra [PDF]

, 2016
We present in this paper a new technique for generating polynomial invariants, divided in two independent parts : a procedure that reduces polynomial assignments composed loops analysis to linear loops under certain hypotheses and a procedure for generating inductive invariants for linear loops. Both of these techniques have a polynomial complexity for
Oliveira, S., Bensalem, S., Prevosto, V.
openaire   +3 more sources

Invariants of kinetic differential equations

Electronic Journal of Qualitative Theory of Differential Equations, 2004
Polynomial differential equations showing chaotic behavior are investigated using polynomial invariants of the equations. This tool is more effective than the direct method for proving statements like the one: the Lorenz equation cannot be transformed ...
A. Halmschlager, L. Szenthe, J. Tóth
doaj   +1 more source

Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation

, 2015
We apply multivariate Lagrange interpolation to synthesize polynomial quantitative loop invariants for probabilistic programs. We reduce the computation of an quantitative loop invariant to solving constraints over program variables and unknown ...
A Chakarov, A Dolzmann, A Dolzmann, A Gupta, A Gupta, A McIver, C Boor De, CAR Hoare, D Kozen, EW Dijkstra, F Gretz, F Gretz, J Hartog Den, J-P Katoen, JW Eaton, L Moura de, M Uslar, MA Colón, MO Rabin, P Cousot, PJ Olver, RW Floyd, S Sankaranarayanan, T Sauer   +23 more
core   +1 more source

Off-shell CHY amplitudes and Feynman graphs

Journal of High Energy Physics, 2020
A polynomial form is established for the off-shell CHY scattering equations proposed by Lam and Yao. Re-expressing this in terms of independent Mandelstam invariants provides a new expression for the polynomial scattering equations, immediately valid off
Louise Dolan, Peter Goddard
doaj   +1 more source

Hosoya properties of the commuting graph associated with the group of symmetries

Main Group Metal Chemistry, 2021
A vast amount of information about distance based graph invariants is contained in the Hosoya polynomial. Such an information is helpful to determine well-known distance based molecular descriptors.
Abbas Ghulam, Rani Anam, Salman Muhammad, Noreen Tahira, Ali Usman   +4 more
doaj   +1 more source

Bipartition Polynomials, the Ising Model, and Domination in Graphs

Discussiones Mathematicae Graph Theory, 2015
This paper introduces a trivariate graph polynomial that is a common generalization of the domination polynomial, the Ising polynomial, the matching polynomial, and the cut polynomial of a graph.
Dod Markus, Kotek Tomer, Preen James, Tittmann Peter   +3 more
doaj   +1 more source

The Chern classes and Euler characteristic of the moduli spaces of Abelian differentials

Forum of Mathematics, Pi, 2022
For the moduli spaces of Abelian differentials, the Euler characteristic is one of the most intrinsic topological invariants. We give a formula for the Euler characteristic that relies on intersection theory on the smooth compactification by multi-scale ...
Matteo Costantini, Martin Möller, Jonathan Zachhuber   +2 more
doaj   +1 more source

Certain Invariant Sequences of Polynomials [PDF]

Transactions of the American Mathematical Society, 1929
We discuss certain sequences of uniform functions of one variable such that the derivative of each term of a given sequence is equal to the preceding term, and each term is changed by a linear transformation on the variable into a multiple of itself, the multiplier being a function of the rank of the term alone, and the linear transformation and the ...
openaire   +1 more source

A Robust Adaptive One‐Sample‐Ahead Preview Super‐Twisting Sliding Mode Controller

International Journal of Adaptive Control and Signal Processing, EarlyView.
Block Diagram of the Robust Adaptive One‐Sample‐Ahead Preview Super‐Twisting Sliding Mode Controller. ABSTRACT This article introduces a discrete‐time robust adaptive one‐sample‐ahead preview super‐twisting sliding mode controller. A stability analysis of the controller by Lyapunov criteria is developed to demonstrate its robustness in handling both ...
Guilherme Vieira Hollweg, Paulo Jefferson Dias de Oliveira Evald, Shivam Chaturvedi, Hilton Abilio Gründling, Rodrigo Varella Tambara, Wencong Su   +5 more
wiley   +1 more source