Results 61 to 70 of about 30,859 (297)

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

Analysis of Dynamical Characteristic of Piecewise-Nonlinear Asymmetric Hysteretic System Based on Incremental Harmonic Balance Method

Discrete Dynamics in Nature and Society, 2015
Considering a sort of elastic mass with asymmetric hysteresis characteristic which widespread existing in engineering field, a piecewise-nonlinear dynamical equation, which contains asymmetric hysteretic loop, is established.
H. R. Liu, J. Z. Li, D. X. Hou, R. R. Yin, J. S. Jiang   +4 more
doaj   +1 more source

Degenerate method in mixed nonlinear three dimensions integral equation

Alexandria Engineering Journal, 2019
In this paper, a mixed nonlinear integral equation (MNIE) of The second kind of position and time is introduced. The existence Of at least one solution of this equation is discussed.
M. Basseem
doaj   +1 more source

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 Equations in State Condition [PDF]

Proceedings of the American Mathematical Society, 2017
In this paper, we will prove that a problem deciding whether there is an upper-triangular coordinate in which a character is not in the state of a Hilbert point is NP-hard. This problem is related to the GIT-semistability of a Hilbert point.
openaire   +2 more sources

Differential equations for algebraic functions [PDF]

Proceedings of the 2007 international symposium on Symbolic and algebraic computation, 2007
It is classical that univariate algebraic functions satisfy linear differential equations with polynomial coefficients. Linear recurrences follow for the coefficients of their power series expansions. We show that the linear differential equation of minimal order has coefficients whose degree is cubic in the degree of the function.
Bostan, Alin, Chyzak, Frédéric, Salvy, Bruno, Lecerf, Grégoire, Schost, Éric   +4 more
openaire   +3 more sources

Graph Attention Neural Networks for Interpretable and Generalizable Prediction of Janus III–Vi Van Der Waals Heterostructures

Advanced Intelligent Discovery, EarlyView.
A crystal graph neural network based on the attention mechanism is proposed in this work. The model dynamically weights features through the attention mechanism, enabling precise prediction of properties of material from structural features. Here, taking Janus III–VI van der Waals heterostructures as a representative case, the properties have been ...
Yudong Shi, Zhao Zheng, Yinggan Zhang, Zhou Cui, Peng Lin, Cuilian Wen, Baisheng Sa, Zhimei Sun   +7 more
wiley   +1 more source

Interpretability and Representability of Commutative Algebra, Algebraic Topology, and Topological Spectral Theory for Real‐World Data

Advanced Intelligent Discovery, EarlyView.
This article investigates how persistent homology, persistent Laplacians, and persistent commutative algebra reveal complementary geometric, topological, and algebraic invariants or signatures of real‐world data. By analyzing shapes, synthetic complexes, fullerenes, and biomolecules, the article shows how these mathematical frameworks enhance ...
Yiming Ren, Guo‐Wei Wei
wiley   +1 more source

Solution to algebraic equations of degree~4 and the fundamental theorem of algebra by Carl Friedrich Gauss

Annales Universitatis Paedagogicae Cracoviensis: Studia Mathematica, 2022
Since Geronimo Cardano, algebraic equations of degree 4 have been solved analytically. Frequently, the solution algorithm is given in its entirety. We discovered two algorithms that lead to the same resolvente, each with two solutions; therefore, six ...
Norbert Südland, Jörg Volkmann, Dinesh Kumar   +2 more
doaj  

Elliptic function solutions and travelling wave solutions of nonlinear Dodd-Bullough-Mikhailov, two-dimensional Sine-Gordon and coupled Schrödinger-KdV dynamical models

Results in Physics, 2018
In this article, we construct the traveling wave and elliptic function solutions of some special nonlinear evolution equations which are arising in mathematical physics, solid-state physics, fluid flow, fluid dynamics, nonlinear optics, electromagnetic ...
Dianchen Lu, Aly R. Seadawy, Muhammad Arshad   +2 more
doaj   +1 more source