Results 41 to 50 of about 2,059 (204)
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
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
Monomial resolutions for efficient computation of simplicial homology [PDF]
, 2019 We propose algorithms based on monomial resolution theory for simplicial homology computation. We explore some alternatives that can either be used as a preprocessing step for homology computation or as alternatives to the usual linear algebra approach ...
Heras J. +2 more
core +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
Advances in Mathematical Physics, 2012 The reductive perturbation method has been employed to derive the Korteweg-de Vries (KdV) equation for small- but finite-amplitude electrostatic ion-acoustic waves in weakly relativistic plasma consisting of warm ions and isothermal electrons.
S. A. El-Wakil +4 more
doaj +1 more source
A Computational Approach to the Perimeter-Area Inequality in a Triangle
AxiomsThis paper explores the application of automated reasoning tools, specifically those implemented in GeoGebra Discovery, to the perimeter-area inequality in triangles.
Tomás Recio +2 more
doaj +1 more source
A short history of algebraic statistics [PDF]
, 2008 In algebraic statistics, computational techniques from algebraic geometry become tools to address statistical problems. This, in turn, may prompt research in algebraic geometry. The basic ideas at the core of algebraic statistics will be presented. In
Eva Riccomagno, Riccomagno, Eva
core +1 more source
Automatic Synthesis of Linear Program Ranking Functions
工程科学与技术, 2009 :Due to determining the classical ranking functions of program verification, a new approach was proposed based on the theory of semi-algebraic systems.
Li Jun, LI Yl, Feng Yong, Qin Xiao-lin
doaj
Computer Aided Symbolic Linear Algebra [PDF]
, 2003 The aim of this communication is to present a Symbolic Linear Algebra package, written in MAPLE V.5 and working also in the release 7, with general but especially educational purpose. Its goal is to run over MAPLE the different Linear Algebra algorithms developped in [OJ].
openaire +1 more source