|
|
|
|
| LEADER |
02972nam a22006015i 4500 |
| 001 |
11183 |
| 003 |
DE-He213 |
| 005 |
20130725201841.0 |
| 007 |
cr nn 008mamaa |
| 008 |
100910s2010 gw | s |||| 0|eng d |
| 020 |
# |
# |
|a 9783642155826
|9 978-3-642-15582-6
|
| 024 |
7 |
# |
|a 10.1007/978-3-642-15582-6
|2 doi
|
| 050 |
# |
4 |
|a QA76.9.M35�
|
| 072 |
# |
7 |
|a PBD
|2 bicssc
|
| 072 |
# |
7 |
|a UYAM
|2 bicssc
|
| 072 |
# |
7 |
|a COM018000
|2 bisacsh
|
| 072 |
# |
7 |
|a MAT008000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 004.0151
|2 23
|
| 100 |
1 |
# |
|a Fukuda, Komei.
|e editor.
|
| 245 |
1 |
0 |
|a Mathematical Software ICMS 2010
|b Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings /
|c edited by Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama.
|h [electronic resource] :
|
| 264 |
# |
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg,
|c 2010.
|
| 300 |
# |
# |
|a XIV, 368p. 59 illus.
|b online resource.
|
| 336 |
# |
# |
|a text
|b txt
|2 rdacontent
|
| 337 |
# |
# |
|a computer
|b c
|2 rdamedia
|
| 338 |
# |
# |
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
# |
# |
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
# |
|a Lecture Notes in Computer Science,
|v 6327
|x 0302-9743 ;
|
| 520 |
# |
# |
|a This book constitutes the refereed proceedings of the Third International Congress on Mathematical Software, ICMS 2010, held in Kobe, Japan in September 2010. The 49 revised full papers presented were carefully reviewed and selected for presentation. The papers are organized in topical sections on computational group theory, computation of special functions, computer algebra and reliable computing, computer tools for mathematical editing and scientific visualization, exact numeric computation for algebraic and geometric computation, formal proof, geometry and visualization, Groebner bases and applications, number theoretical software as well as software for optimization and polyhedral computation.
|
| 650 |
# |
0 |
|a Computer science.
|
| 650 |
# |
0 |
|a Software engineering.
|
| 650 |
# |
0 |
|a Information theory.
|
| 650 |
# |
0 |
|a Computer software.
|
| 650 |
# |
0 |
|a Electronic data processing.
|
| 650 |
# |
0 |
|a Computational complexity.
|
| 650 |
1 |
4 |
|a Computer Science.
|
| 650 |
2 |
4 |
|a Discrete Mathematics in Computer Science.
|
| 650 |
2 |
4 |
|a Math Applications in Computer Science.
|
| 650 |
2 |
4 |
|a Numeric Computing.
|
| 650 |
2 |
4 |
|a Software Engineering/Programming and Operating Systems.
|
| 650 |
2 |
4 |
|a Algorithm Analysis and Problem Complexity.
|
| 650 |
2 |
4 |
|a Theory of Computation.
|
| 700 |
1 |
# |
|a Hoeven, Joris van der.
|e editor.
|
| 700 |
1 |
# |
|a Joswig, Michael.
|e editor.
|
| 700 |
1 |
# |
|a Takayama, Nobuki.
|e editor.
|
| 710 |
2 |
# |
|a SpringerLink (Online service)
|
| 773 |
0 |
# |
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783642155819
|
| 830 |
# |
0 |
|a Lecture Notes in Computer Science,
|v 6327
|x 0302-9743 ;
|
| 856 |
4 |
0 |
|u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-15582-6
|
| 912 |
# |
# |
|a ZDB-2-SCS
|
| 912 |
# |
# |
|a ZDB-2-LNC
|
| 950 |
# |
# |
|a Computer Science (Springer-11645)
|