Results 71 to 80 of about 385,070 (322)

On commutative algebras of degree two [PDF]

Transactions of the American Mathematical Society, 1962
Let 9 be a simple, commutative, power-associative algebra of degree 2 over an algebraically closed field a of characteristic not equal to 2, 3 or 5. The degree of 9 is defined to be the number of elements in the maximal set of pairwise orthogonal idempotents in W. This algebra has a unit element 1 [1, Theorem 3].
openaire   +2 more sources

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Class of constructions of even variables Boolean function with optimum algebraic immunity

Tongxin xuebao, 2009
A second order recursive construction of even variables Boolean function with optimum algebraic immunity was proposed.It could be observed that the constructed Boolean functions have well cryptographic properties,such as good balance,high algebraic ...
CHEN Yin-dong, LU Pei-zhong
doaj   +2 more sources

Polynomial differential systems with explicit non-algebraic limit cycles

Electronic Journal of Differential Equations, 2012
Up to now all the examples of polynomial differential systems for which non-algebraic limit cycles are known explicitly have degree at most 5. Here we show that already there are polynomial differential systems of degree at least exhibiting explicit ...
Rebiha Benterki, Jaume Llibre
doaj  

On Chemical Invariants of Semitotal-Point Graph and Its Line Structure of the Acyclic Kragujevac Network: A Novel Mathematical Analysis

Journal of Chemistry, 2022
Acyclic Kragujevac network is denoted by K; K∈Kgq=r2s+1+1,r. In this article, we have taken a deep look at some of the topological properties of the semitotal-point graph as well as its line structure by computing some algebraic polynomials.
Salma Kanwal, Rabia Safdar, Asia Rauf, Ammara Afzal, Wasim Jamshed, Meznah M. Alanazi, H. Y. Zahran   +6 more
doaj   +1 more source

On the convex hull of a space curve [PDF]

, 2011
The boundary of the convex hull of a compact algebraic curve in real 3-space defines a real algebraic surface. For general curves, that boundary surface is reducible, consisting of tritangent planes and a scroll of stationary bisecants.
Ranestad, Kristian, Sturmfels, Bernd
core  

Diophantine approximation by conjugate algebraic integers

, 2003
Building on work of Davenport and Schmidt, we mainly prove two results. The first one is a version of Gel'fond's transcendence criterion which provides a sufficient condition for a complex or $p$-adic number $\xi$ to be algebraic in terms of the ...
Roy, Damien, Waldschmidt, Michel
core   +1 more source

DEGREE OF SATISFIABILITY IN HEYTING ALGEBRAS

The Journal of Symbolic Logic
AbstractWe investigate degree of satisfiability questions in the context of Heyting algebras and intuitionistic logic. We classify all equations in one free variable with respect to finite satisfiability gap, and determine which common principles of classical logic in multiple free variables have finite satisfiability gap.
BENJAMIN MERLIN BUMPUS, ZOLTAN A. KOCSIS
openaire   +3 more sources

Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement

Advanced Science, EarlyView.
The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang, Xinyuan Ke, Andrew Heath, Richard J. Ball, Jiawei Xie, Jinchen Fan, Guisheng Li, Kevin Paine   +7 more
wiley   +1 more source

Algebraic Degree of Polynomial Optimization [PDF]

SIAM Journal on Optimization, 2009
Consider the polynomial optimization problem whose objective and constraints are all described by multivariate polynomials. Under some genericity assumptions, %% on these polynomials, we prove that the optimality conditions always hold on optimizers, and the coordinates of optimizers are algebraic functions of the coefficients of the input polynomials.
Nie, Jiawang, Ranestad, Kristian
openaire   +2 more sources