Results 41 to 50 of about 35,525 (244)

Uma interpretação geométrica da multiplicação de matrizes mediada pelo GeoGebra [PDF]

, 2017
I Simpósio Ibero-Americano de Tecnologias Educacionais - SITED 2017 Universidade Federal de Santa Catarina - UFSC Araranguá, SC, Brasil - 8 a 10 de maio de 2017.The use of the didactic potential of dynamic geometry technologies in a linear algebra course
Graciela Moro, Helder Geovane Gomes de Lima, Ivanete Zuchi Siple, Katiani Loureiro, Maisa Damazio Franco, Rogério de Aguiar, Viseu, Floriano   +6 more
core  

Continuum Mechanics Modeling of Flexible Spring Joints in Surgical Robots

Advanced Robotics Research, EarlyView.
A new mechanical model of a tendon‐actuated helical extension spring joint in surgical robots is built using Cosserat rod theory. The model can implicitly handle the unknown contacts between adjacent coils and numerically predict spring shapes from straight to significantly bent under actuation forces.
Botian Sun, Liang Zhang, Jianwen Zeng, Xuefeng Wang   +3 more
wiley   +1 more source

Generalised symmetries of remarkable (1+2)-dimensional Fokker–Planck equation

European Journal of Applied Mathematics
Using an original method, we find the algebra of generalised symmetries of a remarkable (1+2)-dimensional ultraparabolic Fokker–Planck equation, which is also called the Kolmogorov equation and is singled out within the entire class of ultraparabolic ...
Dmytro R. Popovych, Serhii D. Koval, Roman O. Popovych   +2 more
doaj   +1 more source

LAPACK95 ‐ high performance linear algebra package

Mathematical Modelling and Analysis, 2000
LAPACK95 is a set of FORTRAN95 subroutines which interfaces FORTRAN95 with LAPACK. All LAPACK driver subroutines (including expert drivers) and some LAPACK computationals have both generic LAPACK95 interfaces and generic LAPACK77 interfaces.
J. Dongarra, J. Waśniewski
doaj   +1 more source

A Simple and Practical Linear Algebra Library Interface with Static Size Checking [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
Linear algebra is a major field of numerical computation and is widely applied. Most linear algebra libraries (in most programming languages) do not statically guarantee consistency of the dimensions of vectors and matrices, causing runtime errors. While
Akinori Abe, Eijiro Sumii
doaj   +1 more source

Perspetivas dos alunos sobre o erro como estratégia de aprendizagem [PDF]

, 2016
No presente texto apresenta-se parte de um estudo que se realizou com alunos de engenharia do ensino superior politécnico no âmbito da unidade curricular Álgebra Linear e Geometria Analítica.
Araújo, C. Mendes, Barros, Paula Maria, Fernandes, José António   +2 more
core   +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

Lawra – linear algebra with recursive algorithms

Mathematical Modelling and Analysis, 1999
Recursion leads to automatic variable blocking for dense linear‐algebra algorithms. The recursive way of programming algorithms eliminates using BLAS level 2 during the factorization steps.
B. S. Andersen, F. Gustavson, A. Karaivanov, J. Wasniewski, P. Y. Yalamov   +4 more
doaj   +1 more source

Raciocínios desenvolvidos na verificação das soluções de sistemas de equações lineares [PDF]

, 2012
Numa investigação sobre o ensino e aprendizagem de álgebra Linear, em que um dos objetivos era identificar os erros e dificuldades sentidos pelos estudantes, propuseram-se algumas questões sobre sistemas de equações lineares a estudantes de engenharia do
Araújo, C. Mendes, Barros, Paula Maria, Fernandes, José António   +2 more
core   +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