Results 41 to 50 of about 1,466,157 (309)
Using Algebraic Computing To Teach General Relativity And Cosmology
Annals of West University of Timisoara: Physics, 2012 The article presents some new aspects and experience on the use of computer in teaching general relativity and cosmology for undergraduate students (and not only) with some experience in computer manipulation. Some years ago certain results were reported
Vulcanov Dumitru N. +1 more
doaj +1 more source
DESIGNING SYMBOLIC VECTOR CALCULUS PACKAGE IN COMPUTER ALGEBRA SYSTEM ENVIRONMENT
Asia-Pacific Journal of Information Technology and Multimedia, 2014 This paper presents a Computer Algebra System (CAS) package, Interactive Learning-Mathematica Enhanced Vector Calculus (ILMEV), specifically designed to assist users in performing the tasks that involves vector calculus.
Yuzita Yaacob +2 more
doaj +1 more source
A Machine Proof System of Point Geometry Based on Coq
Mathematics, 2023 An important development in geometric algebra in recent years is the new system known as point geometry, which treats points as direct objects of operations and considerably simplifies the process of geometric reasoning.
Siran Lei +4 more
doaj +1 more source
A double-edged sword: Use of computer algebra systems in first-year Engineering Mathematics and Mechanics courses [PDF]
, 2019 Many secondary-level mathematics students have experience with graphical calculators from high school. For the purposes of this paper we define graphical calculators as those able to perform rudimentary symbolic manipulation and solve complicated ...
Ewart, Paul, Khanna, Jai, Louie, Ken
core
Advanced Engineering Materials, EarlyView.A numerical model resulting from irreversible thermodynamics for describing transport processes is introduced, focusing on thermodynamic activity gradients as the actual driving force for diffusion. Implemented in CUDA C++ and using CalPhaD methods for determining the necessary activity data, the model accurately simulates interdiffusion in aluminum ...
Ulrich Holländer +3 more
wiley +1 more source
A constructive method for decomposing real representations [PDF]
, 2020 A constructive method for decomposing finite dimensional representations of semisimple real Lie algebras is developed. The method is illustrated by an example.
Ali, Sajid +3 more
core +2 more sources
Advanced Materials Technologies, EarlyView.A stress‐normalised sensitivity metric (S = G/Y) is introduced as a materials‐level benchmark for intrinsically piezoresistive nanocomposites. By decoupling electromechanical response (G) from stiffness (Y), the framework enables direct comparison across diverse systems and clarifies design trade‐offs for wearable sensors.
Conor S. Boland
wiley +1 more source
Integrating multiple sources to answer questions in Algebraic Topology
, 2010 We present in this paper an evolution of a tool from a user interface for a concrete Computer Algebra system for Algebraic Topology (the Kenzo system), to a front-end allowing the interoperability among different sources for computation and deduction ...
Heras, Jonathan +3 more
core +1 more source
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 +3 more
wiley +1 more source
Limit Cycles of Lorenz System with Hopf Bifurcation [PDF]
Al-Rafidain Journal of Computer Sciences and Mathematics, 2008 We prove that near the bifurcation point unstable limit cycle arises from the Lorenz system. In the analysis, we use the method of local bifurcation theory, especially the center manifold and the normal form theorem. A computer algebra system using Maple
Azad Amen, Rizgar Salih
doaj +1 more source