Results 51 to 60 of about 1,466,157 (309)
Study-simulation of space station dynamics [PDF]
, 1971 Matrix algebra translator and executor /MATE/ takes equations describing structural control system environmental interaction problem for flexible spacecraft components and loads them into self programming ...
Gaitens, M. J.
core +1 more source
Multiple Representations for Systems of Linear Equations Via the Computer Algebra System Maple
International Electronic Journal of Mathematics Education, 2007 A number of different representational methods exist for presenting the theory of linear equations and associated solution spaces. Discussed in this paper are the findings of a case study where first year undergraduate students were exposed to a new (to ...
D. G. Mallet
semanticscholar +1 more source
Advanced Robotics Research, EarlyView.This work presents a state‐adaptive Koopman linear quadratic regulator framework for real‐time manipulation of a deformable swab tool in robotic environmental sampling. By combining Koopman linearization, tactile sensing, and centroid‐based force regulation, the system maintains stable contact forces and high coverage across flat and inclined surfaces.
Siavash Mahmoudi +2 more
wiley +1 more source
Rigorous Multiple-Precision Evaluation of D-Finite Functions in SageMath [PDF]
, 2016 We present a new open source implementation in the SageMath computer algebra system of algorithms for the numerical solution of linear ODEs with polynomial coefficients.
Mezzarobba, Marc
core +3 more sources
Toward an Algebraic Theory of Systems
, 2018 We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is irrelevant, a ...
Matt, Christian +4 more
core +1 more source
Spatial‐Wavelength Multiplexing Error‐Controlled Photonic Analog Computing System
Advanced Science, EarlyView.A novel photonic integrated circuit prototype implementing the concept of general‐purpose analog computing and demonstrate its capability in radio frequency applications. The chip features a multichannel architecture and performs fully optical analog computation with frequency‐domain parallel processing. An FPGA‐based error‐correction algorithm aims to
Tao Zhu +15 more
wiley +1 more source
Aksioma: Jurnal Program Studi Pendidikan Matematika, 2020 Tujuan dari penelitian ini adalah untuk mengetahui adakah pengaruh website eLearning Moodle berbantuan Computer Algebra System (CAS) Maxima terhadap motivasi dan prestasi belajar pada pokok bahasan matriks pada siswa Madrasah Aliyah Negeri 1 Yogyakarta ...
Kamhar Ngado +3 more
doaj +1 more source
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
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 +7 more
wiley +1 more source
Computation of Minimal Polynomials and Multivector Inverses in Non-Degenerate Clifford Algebras
MathematicsClifford algebras are an active area of mathematical research having numerous applications in mathematical physics and computer graphics, among many others.
Dimiter Prodanov
doaj +1 more source