computer algebra
Computer algebra models dynamics on a multigrid across multiple length and time scales
12
Mathematical thinking in differential equations through a computer algebra system
66
Using Computer Algebra Systems as Instructional Tools
15
Robust Computer Algebra, Theorem Proving, and Oracle AI
12
Hardware Acceleration Technologies in Computer Algebra: Challenges and Impact
153
Computer algebra derives normal forms of stochastic differential equations
30
Perspectives on integrating a computer algebra system into advanced calculus curricula
16
THE USE OF COMPUTER ALGEBRA SYSTEMS IN THE TEACHING PROCESS
6
ON PERCEPTION OF COMPUTER ALGEBRA SYSTEMS AND MICROSOFT EXCEL BY ENGINEERING STUDENTS
17
HPC GAP: engineering a 21st century high performance computer algebra system
32
Computer algebra derives the slow manifold of patch or element dynamics on lattices in two dimensions
26
The Effects of Computer Algebra System on Undergraduate Students’ Spatial Visualization Skills in a Calculus Course
16
Formal Analysis of Arithmetic Circuits using Computer Algebra - Verification, Abstraction and Reverse Engineering
162
High Performance Computer Algebra: A Hecke Algebra Case Study
13
Measures of correlation and computer algebra
20
Computer Algebra and Mechanized Reasoning in Mathematical Epidemiology
5
Some applications of computer algebra and interval mathematics
248
Computer algebra derives discretisations of the stochastically forced Burgers' partial differential equation
31
Analytical Mechanics with Computer Algebra
34
Computer algebra and Thurston geometries
15