Mathematical software - ICMS 2010: third International Congress on Mathematical Software, Kobe, Japan, September 13 - 17, 2010 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6327 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | XVI, 368 S. Ill., graph. Darst. |
| ISBN: | 9783642155819 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036654358 | ||
| 003 | DE-604 | ||
| 005 | 20101102 | ||
| 007 | t| | ||
| 008 | 100906s2010 xx ad|| |||| 10||| eng d | ||
| 015 | |a 10,N31 |2 dnb | ||
| 016 | 7 | |a 1005224064 |2 DE-101 | |
| 020 | |a 9783642155819 |c PB. : EUR 57.78 (freier Pr.), sfr 77.50 (freier Pr.) |9 978-3-642-15581-9 | ||
| 024 | 3 | |a 9783642155819 | |
| 028 | 5 | 2 | |a 80021567 |
| 035 | |a (OCoLC)699656726 | ||
| 035 | |a (DE-599)DNB1005224064 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-11 |a DE-83 | ||
| 082 | 0 | |a 510.285 |2 22/ger | |
| 084 | |a DAT 300f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a 510 |2 sdnb | ||
| 084 | |a MAT 001f |2 stub | ||
| 084 | |a DAT 530f |2 stub | ||
| 245 | 1 | 0 | |a Mathematical software - ICMS 2010 |b third International Congress on Mathematical Software, Kobe, Japan, September 13 - 17, 2010 ; proceedings |c Komei Fukuda ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a XVI, 368 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6327 | |
| 650 | 0 | 7 | |a Software |0 (DE-588)4055382-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Kobe |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | 1 | |a Software |0 (DE-588)4055382-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Fukuda, Komei |e Sonstige |0 (DE-588)14223950X |4 oth | |
| 711 | 2 | |a International Congress on Mathematical Software |n 3 |d 2010 |c Kōbe |j Sonstige |0 (DE-588)16080764-5 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6327 |w (DE-604)BV000000607 |9 6327 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3518864&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020573803&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020573803 | |
Datensatz im Suchindex
| _version_ | 1820875260090646528 |
|---|---|
| adam_text |
TABLE OF CONTENTS MATHEMATICAL SOFTWARE - ICMS 2010 PLENARY
COMPUTATIONAL DISCRETE GEOMETRY 1 THOMAS C. HALES EXPLOITING STRUCTURED
SPARSITY IN LARGE SCALE SEMIDEFINITE PROGRAMMING PROBLEMS 4 MASAKAZU
KOJIMA RELIABLE AND EFFICIENT GEOMETRIC COMPUTING 10 KURT MEHLHORN THE
SAGE PROJECT: UNIFYING FREE MATHEMATICAL SOFTWARE TO CREATE A VIABLE
ALTERNATIVE TO MAGMA, MAPLE, MATHEMATICA AND MATLAB 12 BURIN ERCAL AND
WILLIAM STEIN COMPUTATION OF SPECIAL FUNCTIONS (INVITED) SOLLYA: AN
ENVIRONMENT FOR THE DEVELOPMENT OF NUMERICAL CODES 28 SYLVAIN
CHEVILLARD, MIOARA JOLDES, AND CHRISTOPH LAUTER VALIDATED SPECIAL
FUNCTIONS SOFTWARE 32 ANNIE CUYT, FRANKY BACKELJAUW, STEFAN BECUWE, AND
JORIS VAN DEUN THE DYNAMIC DICTIONARY OF MATHEMATICAL FUNCTIONS (DDMF)
35 ALEXANDRE BENOIT, FREDERIC CHYZAK, ALEXIS DARRASSE, STEFAN GERHOLD,
MARC MEZZAROBBA, AND BRUNO SALVY RELIABLE COMPUTING WITH GNU MPFR 42
PAUL ZIMMERMANN COMPUTATIONAL GROUP THEORY (INVITED) SIMPLICIAL
COHOMOLOGY OF SMOOTH ORBIFOLDS IN GAP 4C MOHAMED BARAKAT AND SIMON
GOERTZEN COMPUTING POLYCYCLIC QUOTIENTS OF FINITELY (L-)PRESENTED GROUPS
VIA GROEBNER BASES 50 BETTINA EICK AND MAX HORN BIBLIOGRAFISCHE
INFORMATIONEN HTTP://D-NB.INFO/1005224064 DIGITALISIERT DURCH XII TABLE
OF CONTENTS CONSTRUCTIVE MEMBERSHIP TESTING IN BLACK-BOX CLASSICAL
GROUPS 54 SOPHIE AMBROSE, SCOTT H. MURRAY, CHERYL E. PRAEGER, AND CSABA
SCHNEIDER COMPUTATIONAL GROUP THEORY (CONTRIBUTED) TOWARDS
HIGH-PERFORMANCE COMPUTATIONAL ALGEBRA WITH GAP 58 REIMER BEHRENDS,
ALEXANDER KONOVALOV, STEVE LINTON, FRANK LIIEBECK, AND MAX NEUNHOEEFFER
AN IMPROVEMENT OF A FUNCTION COMPUTING NORMALIZERS FOR PERMUTATION
GROUPS 62 IZUMI MIYAMOTO A GAP PACKAGE FOR COMPUTATION WITH COHERENT
CONFIGURATIONS 69 DMITRII V. PASECHNIK AND KESHAV KINI COMPUTER ALGEBRA
(INVITED) COCOALIB: A C++ LIBRARY FOR COMPUTATIONS IN COMMUTATIVE
ALGEBRA . AND BEYOND 73 JOHN ABBOTT AND ANNA M. BIGATTI LLNBOXFOUNDING
SCOPE ALLOCATION, PARALLEL BUILDING BLOCKS, AND SEPARATE COMPILATION 77
JEAN-GUILLAUME DUMAS, THIERRY GAUTIER, CLEMENT PERNET, AND B. DAVID
SAUNDERS FGB: A LIBRARY FOR COMPUTING GROEBNER BASES 84 JEAN-CHARLES
FAUGERE FAST LIBRARY FOR NUMBER THEORY: AN INTRODUCTION 88 WILLIAM B.
HART EXACT NUMERIC COMPUTATION FOR ALGEBRAIC AND GEOMETRIC COMPUTATION
(INVITED) CONTROLLED PERTURBATION FOR CERTIFIED GEOMETRIC COMPUTING WITH
FIXED-PRECISION ARITHMETIC 92 DAN HALPERIN EXACT GEOMETRIC AND ALGEBRAIC
COMPUTATIONS IN CGAL 96 MENELAOS TABLE OF CONTENTS XIII ACCURATE AND
RELIABLE COMPUTING IN FLOATING-POINT ARITHMETIC 105 SIEGFRIED M. RUMP
EXACT NUMERIC COMPUTATION FOR ALGEBRAIC AND GEOMETRIC COMPUTATION
(CONTRIBUTED) DEFERRING DAG CONSTRUCTION BY STORING SUMS OF FLOATS
SPEEDS-UP EXACT DECISION COMPUTATIONS BASED ON EXPRESSION DAGS 109 MARC
MO'RIG THE DESIGN OF CORE 2: A LIBRARY FOR EXACT NUMERIC COMPUTATION IN
GEOMETRY AND ALGEBRA 121 JIHUN YU, CHEE YAP, ZILIN DU, SYLVAIN PION, AND
HERVE BROENNIMANN FORMAL PROOF (INVITED) INTRODUCING HOL ZERO (EXTENDED
ABSTRACT) 142 MARK ADAMS EULER'S POLYHEDRON FORMULA IN MIZAR 144 JESSE
ALAMA BUILDING A LIBRARY OF MECHANIZED MATHEMATICAL PROOFS: WHY DO IT?
AND WHAT IS IT LIKE TO DO? 148 ROB D. ARTHAN LINEAR PROGRAMS FOR THE
KEPLER CONJECTURE (EXTENDED ABSTRACT) 149 THOMAS C. HALES A FORMAL PROOF
OF PICK'S THEOREM (EXTENDED ABSTRACT) 152 JOHN HARRISON FORMAL PROOF
(CONTRIBUTED) EVALUATION OF AUTOMATED THEOREM PROVING ON THE MIZAR
MATHEMATICAL LIBRARY 155 JOSEF URBAN, KRYSTOF HODER, AND ANDREI VORONKOV
GEOMETRY AND VISUALIZATION (INVITED) ON LOCAL DEFORMATIONS OF PLANAR
QUAD-MESHES 1G7 TIM HOFFMANN CONSTRUCTION OF HARMONIC SURFACES WITH
PRESCRIBED GEOMETRY 170 MATTHIAS XIV TABLE OF CONTENTS GEOMETRY AND
VISUALIZATION (CONTRIBUTED) A LIBRARY OF OPENGL-BASED MATHEMATICAL IMAGE
FILTERS 174 MARTIN VON GAGERN AND CHRISTIAN MERCAT MD-J EEP: AN
IMPLEMENTATION OF A BRANCH AND PRUNE ALGORITHM FOR DISTANCE GEOMETRY
PROBLEMS 186 ANTONIO MUCHERINO, LEO LIBERTI, AND CARIILE LAVOR TADD: A
COMPUTATIONAL FRAMEWORK FOR DATA ANALYSIS USING DISCRETE MORSE THEORY
198 JAN REININGHAUS, DAVID GUENTHER, INGRID HOTZ, STEFFEN PROHASKA, AND
HANS-CHRISTIAN HEGE GROEBNER BASES AND APPLICATIONS (INVITED)
INTRODUCTION TO NORMALIZ 2.5 209 WINFRIED BRUNS, BOGDAN ICHIM, AND
CHRISTOF SOEGER COMPUTER ALGEBRA METHODS IN TROPICAL GEOMETRY 213 THOMAS
MARKWIG GROEBNER BASES AND APPLICATIONS (CONTRIBUTED) A NEW
DESINGULARIZATION ALGORITHM FOR BINOMIAL VARIETIES IN ARBITRARY
CHARACTERISTIC 217 ROCIO BLANCO AN ALGORITHM OF COMPUTING INHOMOGENEOUS
DIFFERENTIAL EQUATIONS FOR DEFINITE INTEGRALS 221 HIROMASA NAKAYAMA AND
KENTA NISHIYAMA NEW ALGORITHMS FOR COMPUTING PRIMARY DECOMPOSITION OF
POLYNOMIAL IDEALS 233 MASAYUKI NORO AN AUTOMATED CONFLUENCE PROOF FOR AN
INFINITE REWRITE SYSTEM PARAMETRIZED OVER AN INTEGRO-DIFFERENTIAL
ALGEBRA 245 LOREDANA TEC, GEORG REGENSBURGER, MARKUS ROSENKRANZ, AND
BRUNO TABLE OF CONTENTS XV NUMBER THEORETICAL SOFTWARE (CONTRIBUTED)
ENUMERATING GALOIS REPRESENTATIONS IN SAGE 256 CRAIG CITRO AND ALEXANDRU
GHITZA NZMATH 1.0 260 SATORU TANAKA, NAOKI OGURA, KEN NAKAMULA, TETSUSHI
MATSUI, AND SHIGENORI UCHIYAMA SOFTWARE FOR OPTIMIZATION AND POLYHEDRAL
COMPUTATION (INVITED) REMOVING REDUNDANT QUADRATIC CONSTRAINTS 270 DAVID
ADJIASHVILI, MICHEL BAES, AND PHILIPP ROSTALSKI TRAVERSING SYMMETRIC
POLYHEDRAL FANS 282 ANDERS NEDERGAARD JENSEN C++ TOOLS FOR EXPLOITING
POLYHEDRAL SYMMETRIES 295 THOMAS REHN AND ACHILL SCHUERMANN IST AN
INTEGER SET LIBRARY FOR THE POLYHEDRAL MODEL 299 SVEN VERDOOLAEGE
SOFTWARE FOR OPTIMIZATION AND POLYHEDRAL COMPUTATION (CONTRIBUTED) THE
REFORMULATION-OPTIMIZATION SOFTWARE ENGINE 303 LEO LIBERTI, SONIA
CAFIERI, AND DAVID SAVOUREY GENERATING SMOOTH LATTICE POLYTOPES 315
CHRISTIAN HAASE, BENJAMIN LORENZ, AND ANDREAS PAFFENHOLZ RELIABLE
COMPUTATION (INVITED) MATHEMAGIX: TOWARDS LARGE SCALE PROGRAMMING FOR
SYMBOLIC AND CERTIFIED NUMERIC COMPUTATIONS 329 GREGOIRE LECERF COMPLEX
INCLUSION FUNCTIONS IN THE COSTLY C++ CLASS LIBRARY 333 MARKUS NEHER
STANDARDIZED INTERVAL ARITHMETIC AND INTERVAL ARITHMETIC USED IN
LIBRARIE XVI TABLE OF CONTENTS RELIABLE COMPUTATION (CONTRIBUTED)
EFFICIENT EVALUATION OF LARGE POLYNOMIALS 342 CHARLES E. LEISERSON,
LIYUN LI, MARC MORENO MAZA, AND YUZHEN XIE COMMUNICATING FUNCTIONAL
EXPRESSIONS FROM MATHEMATICA TO C-XSC . 354 EVGENIJA D. POPOVA AND
WALTER KRAEMER AUTHOR INDEX 367 |
| any_adam_object | 1 |
| author_GND | (DE-588)14223950X |
| building | Verbundindex |
| bvnumber | BV036654358 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 300f MAT 001f DAT 530f |
| ctrlnum | (OCoLC)699656726 (DE-599)DNB1005224064 |
| dewey-full | 510.285 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510.285 |
| dewey-search | 510.285 |
| dewey-sort | 3510.285 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV036654358</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20101102</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100906s2010 xx ad|| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N31</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1005224064</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642155819</subfield><subfield code="c">PB. : EUR 57.78 (freier Pr.), sfr 77.50 (freier Pr.)</subfield><subfield code="9">978-3-642-15581-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642155819</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80021567</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699656726</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1005224064</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510.285</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 300f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 001f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 530f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical software - ICMS 2010</subfield><subfield code="b">third International Congress on Mathematical Software, Kobe, Japan, September 13 - 17, 2010 ; proceedings</subfield><subfield code="c">Komei Fukuda ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 368 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6327</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2010</subfield><subfield code="z">Kobe</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fukuda, Komei</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)14223950X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Congress on Mathematical Software</subfield><subfield code="n">3</subfield><subfield code="d">2010</subfield><subfield code="c">Kōbe</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16080764-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6327</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6327</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3518864&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020573803&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020573803</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Kobe gnd-content |
| genre_facet | Konferenzschrift 2010 Kobe |
| id | DE-604.BV036654358 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:12:48Z |
| institution | BVB |
| institution_GND | (DE-588)16080764-5 |
| isbn | 9783642155819 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020573803 |
| oclc_num | 699656726 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
| physical | XVI, 368 S. Ill., graph. Darst. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Mathematical software - ICMS 2010 third International Congress on Mathematical Software, Kobe, Japan, September 13 - 17, 2010 ; proceedings Komei Fukuda ... (eds.) Berlin [u.a.] Springer 2010 XVI, 368 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6327 Software (DE-588)4055382-6 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Kobe gnd-content Mathematik (DE-588)4037944-9 s Software (DE-588)4055382-6 s DE-604 Fukuda, Komei Sonstige (DE-588)14223950X oth International Congress on Mathematical Software 3 2010 Kōbe Sonstige (DE-588)16080764-5 oth Lecture notes in computer science 6327 (DE-604)BV000000607 6327 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3518864&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020573803&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Mathematical software - ICMS 2010 third International Congress on Mathematical Software, Kobe, Japan, September 13 - 17, 2010 ; proceedings Lecture notes in computer science Software (DE-588)4055382-6 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)4055382-6 (DE-588)4037944-9 (DE-588)1071861417 |
| title | Mathematical software - ICMS 2010 third International Congress on Mathematical Software, Kobe, Japan, September 13 - 17, 2010 ; proceedings |
| title_auth | Mathematical software - ICMS 2010 third International Congress on Mathematical Software, Kobe, Japan, September 13 - 17, 2010 ; proceedings |
| title_exact_search | Mathematical software - ICMS 2010 third International Congress on Mathematical Software, Kobe, Japan, September 13 - 17, 2010 ; proceedings |
| title_full | Mathematical software - ICMS 2010 third International Congress on Mathematical Software, Kobe, Japan, September 13 - 17, 2010 ; proceedings Komei Fukuda ... (eds.) |
| title_fullStr | Mathematical software - ICMS 2010 third International Congress on Mathematical Software, Kobe, Japan, September 13 - 17, 2010 ; proceedings Komei Fukuda ... (eds.) |
| title_full_unstemmed | Mathematical software - ICMS 2010 third International Congress on Mathematical Software, Kobe, Japan, September 13 - 17, 2010 ; proceedings Komei Fukuda ... (eds.) |
| title_short | Mathematical software - ICMS 2010 |
| title_sort | mathematical software icms 2010 third international congress on mathematical software kobe japan september 13 17 2010 proceedings |
| title_sub | third International Congress on Mathematical Software, Kobe, Japan, September 13 - 17, 2010 ; proceedings |
| topic | Software (DE-588)4055382-6 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | Software Mathematik Konferenzschrift 2010 Kobe |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3518864&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020573803&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT fukudakomei mathematicalsoftwareicms2010thirdinternationalcongressonmathematicalsoftwarekobejapanseptember13172010proceedings AT internationalcongressonmathematicalsoftwarekobe mathematicalsoftwareicms2010thirdinternationalcongressonmathematicalsoftwarekobejapanseptember13172010proceedings |