Results 41 to 50 of about 2,824 (289)
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
Advanced Science, EarlyView.A conversion‐resolved constitutive framework is developed for the hydrogen‐based direct reduction of iron oxide pellets. Effective reaction and transport timescales are inferred directly from measured trajectories and mapped against operating conditions, pellet architecture, and composition. The analysis reveals how late‐stage transport control emerges
Anurag Bajpai +3 more
wiley +1 more source
Seeing the Chemistry of Biomolecular Condensates: In Situ Mapping of Composition and Water Content
Advanced Science, EarlyView.Raman hyperspectral imaging combined with spectral phasor analysis enables a label‐free quantification of proteins, polymers and water density within individual biomolecular condensates. By transforming complex vibrational fingerprints into intuitive compositional maps, the approach reveals the high water content and structural heterogeneity of ...
E. Sabri +3 more
wiley +1 more source
Alexandria Engineering Journal, 2018 This paper addresses the problem of exact generic symbolic formulation and solution of Parameters Varying Systems (PVS) problems in control, systems, and optimization.
Hassen Taher Dorrah +2 more
doaj +1 more source
Mathematical and Computational Applications, 2020 Free in-plane vibrations of a scimitar-type nonprismatic rotating curved beam, with a variable cross-section and increasing sweep along the leading edge, are calculated using an innovative, efficient and accurate solver called the Adomian modified ...
Desmond Adair, Martin Jaeger
doaj +1 more source
Symbolic Computation of Molecular Integrals
, 2023 The purpose of the present article is to give an account of the symbolic computation of molecular integrals. This sort of computation is a requisite for a scheme of quantum chemistry, which has been developed by the authors of the present article.
Ichio Kikuchi, Akihito Kikuchi
core +1 more source
Advanced Science, EarlyView.Sr1−xBaxCo2V2O8 is established as a magnetic‐ion‐based proper displacive ferroelectric whose transition is continuously suppressed by Ba substitution to a ferroelectric quantum critical point. In the resulting quantum paraelectric regime, a transverse magnetic field induces magnetic quantum criticality, realizing multiferroic quantum criticality and ...
Takayuki Nagai +3 more
wiley +1 more source
MathematicsThis paper reports an application of the Lie algebra se(3) of the Euclidean group SE(3), which is isomorphic to the theory of screws in the velocity and acceleration analyses of serial manipulators.
Jaime Gallardo-Alvarado +3 more
doaj +1 more source
Mathematics, 2021 Recently developed GeoGebra tools for the automated deduction and discovery of geometric statements combine in a unique way computational (real and complex) algebraic geometry algorithms and graphic features for the introduction and visualization of ...
Tomás Recio +3 more
doaj +1 more source
Special issue on effective methods in algebraic computation [PDF]
, 2015 The international conference MEGA (Effective Methods in Algebraic Geometry) is a biennial conference, devoted to computational aspects and applications of Algebraic Geometry.
Mourrain, B. +2 more
core +1 more source