Mathematical Software -- ICMS 2014, 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings Theoretical Computer Science and General Issues Series
Coordonnateurs : Hong Hoon, Yap Chee
Date de parution : 07-2014
Ouvrage de 735 p.
15.5x23.5 cm
Thèmes de Mathematical Software -- ICMS 2014 :
Mots-clés :
LaTeX; TeX; computational geometry; computations in finite fields; computer algebra systems; data management systems; differential algebra; graphical user interface; hybrid symbolic-numeric methods; linear algebra algorithms; parallel computing methodologies; software library; symbolic and algebraic manipulation; theorem proving algorithms; user interfaces; verification; algorithm analysis and problem complexity