• No results found

Computer Algebra Systems (CASs)

Using Computer Algebra Systems as Instructional Tools

Using Computer Algebra Systems as Instructional Tools

... Abstract Computer algebra systems are in the agenda of the educators since many ...these systems, some examples that we performed during our undergraduate physics lessons is ...

15

THE USE OF COMPUTER ALGEBRA SYSTEMS IN THE TEACHING PROCESS

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

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 ...

17

Use of calculators with computer algebra systems in test assessment in engineering

Use of calculators with computer algebra systems in test assessment in engineering

... Introduction Computer algebra systems (cas) have a long history of use in mathematics (more than three decades to ...including computer packages such as Matlab, Maple, Mathematica and Wolfram ...

15

The Effect of Mathematics Instruction through Computer Algebra Systems on the Academic Achievements of Secondary Education Students: Turkey Example

The Effect of Mathematics Instruction through Computer Algebra Systems on the Academic Achievements of Secondary Education Students: Turkey Example

... through computer algebra systems, on the achievement of ...the computer algebra systems to the learning-teaching environments ...out computer-assisted instructions about ...

9

Robust Computer Algebra, Theorem Proving, and Oracle AI

Robust Computer Algebra, Theorem Proving, and Oracle AI

... AI systems to be developed [10, ...AI systems, addressing well-defined architectural pro- blems with CASs and their integration with interactive the- orem provers provides a concrete set of research ...

12

3.8 Computer Algebra in Education

3.8 Computer Algebra in Education

... of computer algebra systems, using Mathematica as an exemplar of such ...of computer systems for graphically representing complex mathematical concepts and processes, and the ...

18

High Performance Computer Algebra: A Hecke Algebra Case Study

High Performance Computer Algebra: A Hecke Algebra Case Study

... a critical-pair-completion pattern, with the Gr¨obner Bases computation as one instance that achieves a speedup of 6.9 on an 8-core machine; and the multiple-homomorphic images pattern, that achieves speedups of up to ...

13

Computer Algebra and Mechanized Reasoning in Mathematical Epidemiology

Computer Algebra and Mechanized Reasoning in Mathematical Epidemiology

... Abstract—We are concerned by imminent future problems caused by biological dangers, here we think of a way to solve them. One of them is analyzing endemic models, for this we make a study supported by Computer ...

5

Computer Algebra and Symbolic Computation Elementary Algorithms

Computer Algebra and Symbolic Computation Elementary Algorithms

... the computer algebra field. There is now a proliferation of computer algebra systems, and, undoubtedly, there will be new ones in the ...The systems are distinguished from each ...

344

Certified Computer Algebra on top of an Interactive Theorem Prover

Certified Computer Algebra on top of an Interactive Theorem Prover

... both computer algebra systems and proof assistants cur- rently have a ...In computer algebra the lack of explicit semantics and the lack of verification of the results inside the system ...

13

School algebra and the computer

School algebra and the computer

... of algebra in the National Curriculum. Using the computer can give meaning to formulae used for plotting ...like algebra, it was not, because the children were just using the letters x and y as names ...

8

Computer algebra and Thurston geometries

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

Measures of correlation and computer algebra

Measures of correlation and computer algebra

... Abstract Our contribution in this work is to set the directions for specialized econometric computations in a free computer algebra system, Xcas. We focus on the programming of a routine dedicated to ...

20

Basic Algorithms In Computer Algebra

Basic Algorithms In Computer Algebra

... Computer algebra is a discipline between mathematics and computer science which deals with designing, analyzing, implementing, and applying algebraic algorithms.. We comment on this in m[r] ...

12

Measures of correlation and computer algebra

Measures of correlation and computer algebra

... Munich Personal RePEc Archive. Measures of correlation and computer algebra[r] ...

20

Analytical Mechanics with Computer Algebra

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 then responds with an output that is a ...

34

Autonomous use of a computer algebra system for learning linear algebra

Autonomous use of a computer algebra system for learning linear algebra

... A Computer Algebra System (CAS) can be defined as mathematical software with numerical, graphic and symbolic ...linear algebra course, for engineering students, with methodologies adapted to the ...

11

Modern Computer Algebra, 3rd Edition

Modern Computer Algebra, 3rd Edition

... The second part N EWTON presents the basics of fast arithmetic: FFT-based multiplication, division with remainder and polynomial equation solving via Newton iteration, and fast methods f[r] ...

812

Application of Computer Algebra in List Decoding

Application of Computer Algebra in List Decoding

... linear algebra problem; as such, most early references on the subject (such as Sudan’s and Guruswami-Sudan’s papers) point out that this problem can be solved using essentially Gaussian ...linear algebra ...

120

Show all 10000 documents...

Related subjects