The rapid development of digital computer hardware and software has had a dramatic influence on mathematics, and contrary. The advanced hardware and modern sophistical software such as computer visualization, symbolic computation, computerassisted proofs, multi-precision arithmetic and powerful libraries, have provided resolving many open problems, a huge very difficult mathematical problems, and discovering new patterns and relationships, far beyond a human capability. In the first part of the paper we give a short review of some typical mathematical problems solved by computer tools. In the second part we present some new original contributions, such as intriguing consequence of the presence of roundoff errors, distribution of zeros of ra...
According to some well-known mathematicians well-versed in computer-assisted mathematics (CaM), “Com...
The effect of computers on pure mathematics is investigated. First, some of the most celebrated proo...
Recent years have seen the flowering of ''experimental'' mathematics, namely the utilization of mode...
AbstractThe development of number theory has been greatly influenced by the use of large scale compu...
We discuss some main points of computer-assisted proofs based on reliable numerical computations. Su...
This thesis contains some applications of Computer Algebra to unconstrained optimization and some ap...
The time when someone can do real, publishable mathematics completely without the aid of a computer ...
AbstractA review of recent results is presented, and a history of the invention of new types of numb...
The paper deals with the ever growing role of computers in pure mathematics. Several examples, mainl...
The history of contemporary mathematical education is the history of a struggle against computers an...
International audienceThanks to the work of mathematicians, software designers and mathematics educa...
The common goal of self-validating methods and computer algebra methods is to solve mathematical pro...
Symbolic computation software allows mathematicians, scientists, engineers, or educators to deal wit...
Today, certain computer software systems exist which surpass the computational ability of researcher...
This research bibliography celebrates some of the key publications on the use of computers in the te...
According to some well-known mathematicians well-versed in computer-assisted mathematics (CaM), “Com...
The effect of computers on pure mathematics is investigated. First, some of the most celebrated proo...
Recent years have seen the flowering of ''experimental'' mathematics, namely the utilization of mode...
AbstractThe development of number theory has been greatly influenced by the use of large scale compu...
We discuss some main points of computer-assisted proofs based on reliable numerical computations. Su...
This thesis contains some applications of Computer Algebra to unconstrained optimization and some ap...
The time when someone can do real, publishable mathematics completely without the aid of a computer ...
AbstractA review of recent results is presented, and a history of the invention of new types of numb...
The paper deals with the ever growing role of computers in pure mathematics. Several examples, mainl...
The history of contemporary mathematical education is the history of a struggle against computers an...
International audienceThanks to the work of mathematicians, software designers and mathematics educa...
The common goal of self-validating methods and computer algebra methods is to solve mathematical pro...
Symbolic computation software allows mathematicians, scientists, engineers, or educators to deal wit...
Today, certain computer software systems exist which surpass the computational ability of researcher...
This research bibliography celebrates some of the key publications on the use of computers in the te...
According to some well-known mathematicians well-versed in computer-assisted mathematics (CaM), “Com...
The effect of computers on pure mathematics is investigated. First, some of the most celebrated proo...
Recent years have seen the flowering of ''experimental'' mathematics, namely the utilization of mode...