One of the main applications of computational techniques to pure mathematics has been the use of computer algebra systems to perform calculations which mathematicians cannot perform by hand
Abstract. We are building a system that helps us mix proof with com-putation. On the one hand, theor...
This talk shall discuss the potential impact of formal methods, and in particular, of interactive th...
Scientific computing is the study of how to use computers effectively to solve problems that arise f...
In symbolic computation on computers, also known as computer algebra, keyboard and display replace t...
Today, certain computer software systems exist which surpass the computational ability of researcher...
Abstract. Some methods being used to speed up floating-point computation in Maple are described. Spe...
Maple is a powerful symbolic computation system that is widely used in universities around the world...
Masters Research - Master of Philosophy (MPhil)So called “computer algebra” or “symbolic computation...
The Maple computer algebra system is described. Brief sample sessions show the user syntax and the m...
The computer algebra system Maple contains a basic set of commands for working with Lie algebras. Th...
The relevance of the material presented in this paper due to the need to develop and implement new i...
Technology and the use of software in the educational process are becoming increasingly more importa...
AbstractTechnology can play an important role in mathematics education. It allows to better capture ...
The computational thinking becomes more and more an essential part of modern teaching. In this conte...
Maple is a nice and powerful computer algebra system. There is also a very readable manual for Maple...
Abstract. We are building a system that helps us mix proof with com-putation. On the one hand, theor...
This talk shall discuss the potential impact of formal methods, and in particular, of interactive th...
Scientific computing is the study of how to use computers effectively to solve problems that arise f...
In symbolic computation on computers, also known as computer algebra, keyboard and display replace t...
Today, certain computer software systems exist which surpass the computational ability of researcher...
Abstract. Some methods being used to speed up floating-point computation in Maple are described. Spe...
Maple is a powerful symbolic computation system that is widely used in universities around the world...
Masters Research - Master of Philosophy (MPhil)So called “computer algebra” or “symbolic computation...
The Maple computer algebra system is described. Brief sample sessions show the user syntax and the m...
The computer algebra system Maple contains a basic set of commands for working with Lie algebras. Th...
The relevance of the material presented in this paper due to the need to develop and implement new i...
Technology and the use of software in the educational process are becoming increasingly more importa...
AbstractTechnology can play an important role in mathematics education. It allows to better capture ...
The computational thinking becomes more and more an essential part of modern teaching. In this conte...
Maple is a nice and powerful computer algebra system. There is also a very readable manual for Maple...
Abstract. We are building a system that helps us mix proof with com-putation. On the one hand, theor...
This talk shall discuss the potential impact of formal methods, and in particular, of interactive th...
Scientific computing is the study of how to use computers effectively to solve problems that arise f...
DOI
Add to ORKG