The book covers not only various expanding applications of computer algebra to scientific computing but also the computer ...
Lire la suite
The book covers not only various expanding applications of computer algebra to scientific computing but also the computer ...
Lire la suite
This volume contains revised versions of the papers submitted to the workshop by the participants and accepted by the program ...
Lire la suite
the history of mathematics there are many situations in which cal- lations were performed incorrectly for important practical ...
Lire la suite
Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...
Lire la suite