Add to ORKGWe start this last part by looking into the composite data structures of Maple. Then we discuss the ability to work with assumptions and investigate how simpli¯cations are performed. Plotting is one of the mai
Abstract. We are building a system that helps us mix proof with com-putation. On the one hand, theor...
We describe an interface between version 6 of the Maple computer algebra system with the PVS automat...
Maple V Mathematics Learning Guide is the fully revised introductory documentation for Maple V Relea...
In symbolic computation on computers, also known as computer algebra, keyboard and display replace t...
Maple is a powerful symbolic computation system that is widely used in universities around the world...
The relevance of the material presented in this paper due to the need to develop and implement new i...
The Maple computer algebra system is described. Brief sample sessions show the user syntax and the m...
Many problems in classical mechanics can now be readily solved using computers. This text integrates...
For the analysis and design of nonlinear control systems non-numerical methods are available. The re...
One of the main applications of computational techniques to pure mathematics has been the use of co...
This Maple Workbook explores a new topic in linear algebra, which is called "Bohemian Matrices". The...
Maple is a nice and powerful computer algebra system. There is also a very readable manual for Maple...
Abstract. Some methods being used to speed up floating-point computation in Maple are described. Spe...
Scientific computing is the study of how to use computers effectively to solve problems that arise f...
The computational thinking becomes more and more an essential part of modern teaching. In this conte...
Abstract. We are building a system that helps us mix proof with com-putation. On the one hand, theor...
We describe an interface between version 6 of the Maple computer algebra system with the PVS automat...
Maple V Mathematics Learning Guide is the fully revised introductory documentation for Maple V Relea...
In symbolic computation on computers, also known as computer algebra, keyboard and display replace t...
Maple is a powerful symbolic computation system that is widely used in universities around the world...
The relevance of the material presented in this paper due to the need to develop and implement new i...
The Maple computer algebra system is described. Brief sample sessions show the user syntax and the m...
Many problems in classical mechanics can now be readily solved using computers. This text integrates...
For the analysis and design of nonlinear control systems non-numerical methods are available. The re...
One of the main applications of computational techniques to pure mathematics has been the use of co...
This Maple Workbook explores a new topic in linear algebra, which is called "Bohemian Matrices". The...
Maple is a nice and powerful computer algebra system. There is also a very readable manual for Maple...
Abstract. Some methods being used to speed up floating-point computation in Maple are described. Spe...
Scientific computing is the study of how to use computers effectively to solve problems that arise f...
The computational thinking becomes more and more an essential part of modern teaching. In this conte...
Abstract. We are building a system that helps us mix proof with com-putation. On the one hand, theor...
We describe an interface between version 6 of the Maple computer algebra system with the PVS automat...
Maple V Mathematics Learning Guide is the fully revised introductory documentation for Maple V Relea...