computer algebra
Computer algebra models dynamics on a multigrid across multiple length and time scales
... Most multiscale mathematical methods for modelling disparate scales pre- sume just two scales: small lengths and large lengths; fast times and long times; fast variations and slow variations; microscopic and macroscopic ...
12
Mathematical thinking in differential equations through a computer algebra system
... Considering the studies mentioned in section 1.2, the main problem in teaching and learning DEs is a lack of mathematical thinking to model, solve, and interpret the solutions. Promoting mathematical thinking in the ...
66
Using Computer Algebra Systems as Instructional Tools
... Computer technologies have presenting various innovative tools to perform in education system. The software called computer algebra system (CAS) is one of these tools. Since the eighties, many ...
15
Robust Computer Algebra, Theorem Proving, and Oracle AI
... from computer algebra experts about known weaknesses, and use this information to simply give a qualitative degree of confidence in a given ...require computer algebra can be flag- ged and ...
12
Hardware Acceleration Technologies in Computer Algebra: Challenges and Impact
... On many-cores, we consider operations that are both data intensive and compute intensive, which is another frequent feature of computer algebra calculations, as men- tioned above. For such operations, we ...
153
Computer algebra derives normal forms of stochastic differential equations
... by changing F. the operator zint extracts those parts of a term that we know are integrable; the operator znon extracts those parts which are not. Note: with more research, more types of terms may be found to be ...
30
Perspectives on integrating a computer algebra system into advanced calculus curricula
... In the lectures proposed, a solution procedure of multivariable multi equation problems applying ' not substituting ' theoretical methodology is followed, while, at the same time, the reader is acquainted with a powerful ...
16
THE USE OF COMPUTER ALGEBRA SYSTEMS IN THE TEACHING PROCESS
... It is difficult to imagine the work of designers and technologists without computers and special- ist software nowadays. They are used at all levels of design and manufacturing. On the one hand, they facilitate and ...
6
ON PERCEPTION OF COMPUTER ALGEBRA SYSTEMS AND MICROSOFT EXCEL BY ENGINEERING STUDENTS
... (Computer Algebra Systems) Matlab, Mathcad, Mathematica, and the spreadsheet ‘Microsoft Excel’ among students of engineering specializations studying in Bauman Moscow State Technical University ...Keywords: ...
17
HPC GAP: engineering a 21st century high performance computer algebra system
... Symbolic Computation Software Composability Protocol. The computational algebra commu- nity has defined a common protocol for combining computer algebra systems, the SCSCP [48]. Essentially, it is ...
32
Computer algebra derives the slow manifold of patch or element dynamics on lattices in two dimensions
... (3) These are a natural extension to 2D of those established for 1D dynamics [12]. Then centre manifold theory [1, 2, 6, e.g.] assures us of the existence, rele- vance and approximation of a slow manifold, macroscale ...
26
The Effects of Computer Algebra System on Undergraduate Students’ Spatial Visualization Skills in a Calculus Course
... of computer technology presents a new and important element in any discussion of visualization in ...the computer algebra systems (CAS) such as Derive, Mathematica or Maple can be used as a tool for ...
16
Formal Analysis of Arithmetic Circuits using Computer Algebra - Verification, Abstraction and Reverse Engineering
... important. Computer algebra techniques with polynomial representations is believed to offer best solution for analyzing arithmetic circuits ...symbolic computer algebra methods have also been ...
162
High Performance Computer Algebra: A Hecke Algebra Case Study
... Parallel computational algebra. Several computer algebra systems offer dedicated support for parallelism (see [10, Sec 2.18] and [25]). Distributed Maple [26] provides a portable Java-based ...
13
Measures of correlation and computer algebra
... Measures of correlation and computer algebra Halkos, George and Tsilika, Kyriaki Department of Economics, University of Thessaly.[r] ...
20
Computer Algebra and Mechanized Reasoning in Mathematical Epidemiology
... At the moment, we are at the edge of a possible biological problem. Some people say that the 19th century was the century of chemistry, the 20th was the century of physics, and they say that the 21st will be the century ...
5
Some applications of computer algebra and interval mathematics
... The remainder of this chapter is organized as follows. Section 4.2 contains a brief survey of some of the existing point total-step and single-step procedures for simultaneously estimat ing simple polynomial zeros, and ...
248
Computer algebra derives discretisations of the stochastically forced Burgers' partial differential equation
... Theory empowers systematic extensions The model 4–5 may be extended in many ways to ensure more accuracy: • compute higher order terms in the coupling parameter γ to obtain discretisatio[r] ...
31
Analytical Mechanics with Computer Algebra
... In order to obtain the numerical solution of the resulting system of equations in the three problems described above we use the Maple command dsolve (see A.13 in appendix A), Maple[r] ...
34
Computer algebra and Thurston geometries
... Department of Mathematics and Applications, Faculty of Mathematical Sciences, University of Mohaghegh Ardabili, P.O.Box 56199-11367, Ardabil, Iran. Email: [email protected].[r] ...
15