Mathematical Software - ICMS 2014: 4th International Conference, Seoul, South Korea, August 5-9, 2014 ; proceedings
Gespeichert in:
Körperschaft: | |
---|---|
Weitere Verfasser: | |
Format: | Elektronisch Tagungsbericht E-Book |
Sprache: | English |
Veröffentlicht: |
Berlin [u.a.]
Springer
2014
|
Schriftenreihe: | Lecture Notes in Computer Science
8592 |
Schlagworte: | |
Online-Zugang: | DE-634 DE-Aug4 DE-M347 DE-92 DE-859 DE-861 DE-91 DE-384 DE-473 DE-703 DE-20 DE-706 DE-29 DE-739 Volltext Inhaltsverzeichnis Abstract |
Beschreibung: | 1 Online-Ressource (XXXI, 735 S.) graph. Darst. |
ISBN: | 3662441985 9783662441992 |
DOI: | 10.1007/978-3-662-44199-2 |
Internformat
MARC
LEADER | 00000nam a22000008cb4500 | ||
---|---|---|---|
001 | BV042023141 | ||
003 | DE-604 | ||
005 | 20211014 | ||
007 | cr|uuu---uuuuu | ||
008 | 140813s2014 gw d||| o|||| 10||| eng d | ||
020 | |a 3662441985 |9 3-662-44198-5 | ||
020 | |a 9783662441992 |c Online |9 978-3-662-44199-2 | ||
024 | 7 | |a 10.1007/978-3-662-44199-2 |2 doi | |
035 | |a (OCoLC)889719876 | ||
035 | |a (DE-599)BVBBV042023141 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
044 | |a gw |c XA-DE-BE | ||
049 | |a DE-473 |a DE-20 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-M347 |a DE-703 |a DE-29 |a DE-92 |a DE-Aug4 |a DE-859 |a DE-861 |a DE-634 | ||
082 | 0 | |a 004.0151 | |
084 | |a DAT 300f |2 stub | ||
084 | |a 004 |2 sdnb | ||
084 | |a MAT 001f |2 stub | ||
084 | |a DAT 530f |2 stub | ||
111 | 2 | |a ICMS |n 4 |d 2014 |c Seoul |j Verfasser |0 (DE-588)1054157634 |4 aut | |
245 | 1 | 0 | |a Mathematical Software - ICMS 2014 |b 4th International Conference, Seoul, South Korea, August 5-9, 2014 ; proceedings |
263 | |a 201408 | ||
264 | 1 | |a Berlin [u.a.] |b Springer |c 2014 | |
300 | |a 1 Online-Ressource (XXXI, 735 S.) |b graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 1 | |a Lecture Notes in Computer Science |v 8592 | |
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 2014 |z Seoul |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 Hong, Hoon |0 (DE-588)130882488 |4 edt | |
776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 978-3-662-44198-5 |
830 | 0 | |a Lecture Notes in Computer Science |v 8592 |w (DE-604)BV014880109 |9 8592 | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-44199-2 |x Verlag |3 Volltext |
856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027464769&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027464769&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
912 | |a ZDB-2-LNC | ||
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027464769 | |
966 | e | |u https://doi.org/10.1007/978-3-662-44199-2 |l DE-634 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-662-44199-2 |l DE-Aug4 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-662-44199-2 |l DE-M347 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-662-44199-2 |l DE-92 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-662-44199-2 |l DE-859 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-662-44199-2 |l DE-861 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-662-44199-2 |l DE-91 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-662-44199-2 |l DE-384 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-662-44199-2 |l DE-473 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-662-44199-2 |l DE-703 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-662-44199-2 |l DE-20 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-662-44199-2 |l DE-706 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-662-44199-2 |l DE-29 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-662-44199-2 |l DE-739 |p ZDB-2-LNC |x Verlag |3 Volltext |
Datensatz im Suchindex
_version_ | 1820875583529156608 |
---|---|
adam_text |
MATHEMATICAL SOFTWARE – ICMS 2014
/
: 2014
TABLE OF CONTENTS / INHALTSVERZEICHNIS
EXPERIMENTAL COMPUTATION AND VISUAL THEOREMS
SOFT MATH MATH SOFT
FLYSPECKING FLYSPECK
SYMBOLIC COMPUTING PACKAGE FOR MATHEMATICA FOR VERSATILE MANIPULATION OF
MATHEMATICAL EXPRESSIONS
REPRESENTING, ARCHIVING, AND SEARCHING THE SPACE OF MATHEMATICAL
KNOWLEDGE
EARLY EXAMPLES OF SOFTWARE IN MATHEMATICAL KNOWLEDGE MANAGEMENT
DISCOURSE-LEVEL PARALLEL MARKUP AND MEANING ADOPTION IN FLEXIFORMAL
THEORY GRAPHS
COMPLEXITY ANALYSIS OF THE BIVARIATE BUCHBERGER ALGORITHM IN THEOREMA
THEOREMA 2.0: A SYSTEM FOR MATHEMATICAL THEORY EXPLORATION
NEW APPROACHES IN BLACK BOX GROUP THEORY
A GAP PACKAGE FOR COMPUTING WITH REAL SEMISIMPLE LIE ALGEBRAS
BACTERIAL GENOMICS AND COMPUTATIONAL GROUP THEORY: THE BIOGAP PACKAGE
FOR GAP
SGPDEC: CASCADE (DE)COMPOSITIONS OF FINITE TRANSFORMATION SEMIGROUPS AND
PERMUTATION GROUPS
APPROXIMATING GENERATORS FOR INTEGRAL ARITHMETIC GROUPS
SOFTWARE FOR GROUPS: THEORY AND PRACTICE
COMPUTATION OF GENUS 0 BELYI FUNCTIONS
ON COMPUTATION OF THE FIRST BAUES–WIRSCHING COHOMOLOGY OF A
FREELY-GENERATED SMALL CATEGORY
CODES OVER A NON CHAIN RING WITH SOME APPLICATIONS
ON THE WEIGHT ENUMERATORS OF THE PROJECTIONS OF THE 2-ADIC GOLAY CODE OF
LENGTH 24 TO Z2E
COMPUTER BASED RECONSTRUCTION OF BINARY EXTREMAL SELF-DUAL CODES OF
LENGTH 32
MAGMA IMPLEMENTATION OF DECODING ALGORITHMS FOR GENERAL ALGEBRAIC
GEOMETRY CODES
REVERSIBLE CODES AND APPLICATIONS TO DNA
JAVAPLEX: A RESEARCH SOFTWARE PACKAGE FOR PERSISTENT (CO)HOMOLOGY
PHAT – PERSISTENT HOMOLOGY ALGORITHMS TOOLBOX
COMPUTING PERSISTENCE MODULES ON COMMUTATIVE LADDERS OF FINITE TYPE
HEURISTICS FOR SPHERE RECOGNITION
CAPD::REDHOM V2 - HOMOLOGY SOFTWARE BASED ON REDUCTION ALGORITHMS
THE GUDHI LIBRARY: SIMPLICIAL COMPLEXES AND PERSISTENT HOMOLOGY
BERTINI REAL: SOFTWARE FOR ONE- AND TWO-DIMENSIONAL REAL ALGEBRAIC SETS
HOM4PS-3: A PARALLEL NUMERICAL SOLVER FOR SYSTEMS OF POLYNOMIAL
EQUATIONS BASED ON POLYHEDRAL HOMOTOPY CONTINUATION METHODS
GEOMETRY CGAL – RELIABLE GEOMETRIC COMPUTING FOR ACADEMIA AND INDUSTRY
IMPLEMENTING THE L∞ SEGMENT VORONOI DIAGRAM IN CGAL AND APPLYING IN
VLSI PATTERN ANALYSIS
BULL! - THE MOLECULAR GEOMETRY ENGINE BASED ON VORONOI DIAGRAM,
QUASI-TRIANGULATION, AND BETA-COMPLEX
INTEGRATING CIRCUMRADIUS AND AREA FORMULAE FOR CYCLIC PENTAGONS
COMPUTER AIDED GEOMETRY
THE SUSTAINABILITY OF DIGITAL EDUCATIONAL RESOURCES
A TOUCH-OPERATION-BASED DYNAMIC GEOMETRY SYSTEM: DESIGN AND
IMPLEMENTATION
OPENGEO: AN OPEN GEOMETRIC KNOWLEDGE BASE
ON COMPUTING A CELL DECOMPOSITION OF A REAL SURFACE CONTAINING
INFINITELY MANY SINGULARITIES
ROBUSTLY AND EFFICIENTLY COMPUTING ALGEBRAIC CURVES AND SURFACES
COMPUTING THE ORTHOGONAL PROJECTION OF RATIONAL CURVES ONTO RATIONAL
PARAMETERIZED SURFACE BY SYMBOLIC METHODS
ISOTOPIC APPROXIMATION OF ALGEBRAIC CURVES
ISOTOPIC ARRANGEMENT OF SIMPLE CURVES: AN EXACT NUMERICAL APPROACH BASED
ON SUBDIVISION
REAL QUANTIFIER ELIMINATION IN THE REGULARCHAINS LIBRARY
SOFTWARE FOR QUANTIFIER ELIMINATION IN PROPOSITIONAL LOGIC
QUANTIFIER ELIMINATION FOR LINEAR MODULAR CONSTRAINTS
SKOLEMIZATION MODULO THEORIES
INCREMENTAL QBF SOLVING BY DEPQBF
NLCERTIFY: A TOOL FOR FORMAL NONLINEAR OPTIMIZATION
DEVELOPING LINEAR ALGEBRA PACKAGES ON RISA/ASIR FOR EIGENPROBLEMS
MATHEMATICAL SOFTWARE FOR MODIFIED BESSEL FUNCTIONS
BETASCP2: A PROGRAM FOR THE OPTIMAL PREDICTION OF SIDE-CHAINS IN
PROTEINS
COMPUTATION OF AN IMPROVED LOWER BOUND TO GIUGA’S PRIMALITY CONJECTURE
AN EXTENSION AND EFFICIENT CALCULATION OF THE HORNER’S RULE FOR
MATRICES
WHAT IS NEW IN COCOA?
MAXIMIZING LIKELIHOOD FUNCTION FOR PARAMETER ESTIMATION IN POINT CLOUDS
VIA GROEBNER BASIS
GROEBNER BASIS IN GEODESY AND GEOINFORMATICS
GROEBNER BASES IN THEOREMA
EFFECTIVE COMPUTATION OF RADICAL OF IDEALS AND ITS APPLICATION TO
INVARIANT THEORY
GENERIC AND PARALLEL GROEBNER BASES IN JAS
APPLICATION OF GROEBNER BASIS METHODOLOGY TO NONLINEAR MECHANICS
PROBLEMS
SOFTWARE FOR DISCUSSING PARAMETRIC POLYNOMIAL SYSTEMS: THE GROEBNER
COVER
AN ALGORITHM FOR COMPUTING STANDARD BASES BY CHANGE OF ORDERING VIA
ALGEBRAIC LOCAL COHOMOLOGY
VERIFICATION OF GROEBNER BASIS CANDIDATES
CYLINDRICAL ALGEBRAIC DECOMPOSITION IN THE REGULARCHAINS LIBRARY
HIERARCHICAL COMPREHENSIVE TRIANGULAR DECOMPOSITION
A PACKAGE FOR PARAMETRIC MATRIX COMPUTATIONS
CHOOSING A VARIABLE ORDERING FOR TRUTH-TABLE INVARIANT CYLINDRICAL
ALGEBRAIC DECOMPOSITION BY INCREMENTAL TRIANGULAR DECOMPOSITION
USING THE REGULAR CHAINS LIBRARY TO BUILD CYLINDRICAL ALGEBRAIC
DECOMPOSITIONS BY PROJECTING AND LIFTING
AN IMPROVEMENT OF ROSENFELD-GROEBNER ALGORITHM
DOING ALGEBRAIC GEOMETRY WITH THE REGULARCHAINS LIBRARY
ON MULTIVARIATE BIRKHOFF RATIONAL INTERPOLATION
COMPUTING MOORE-PENROSE INVERSES OF ORE POLYNOMIAL MATRICES
SOFTWARE USING THE GR¨OBNER COVER FOR GEOMETRICAL LOCI COMPUTATION AND
CLASSIFICATION
USING MAPLE’S REGULARCHAINS LIBRARY TO AUTOMATICALLY CLASSIFY PLANE
GEOMETRIC LOCI
SOLVING PARAMETRIC POLYNOMIAL SYSTEMS BY REALCOMPREHENSIVETRIANGULARIZE
QE SOFTWARE BASED ON COMPREHENSIVE GROEBNER SYSTEMS
SYNRAC: A TOLBOX FOR SOLVING REAL ALGEBRAIC CONSTRAINTS.-AN ALGORITHM
FOR COMPUTING TJURINA STRATIFICATIONS OF Μ-CONSTANT DEFORMATIONS BY
USING LOCAL COHOMOLOGY CLASSES WITH PARAMETERS
AN IMPLEMENTATION METHOD OF BOOLEAN GROEBNER BASES AND COMPREHENSIVE
BOOLEAN GR¨OBNER BASES ON GENERAL COMPUTER ALGEBRA SYSTEMS
A METHOD TO DETERMINE IF TWO PARAMETRIC POLYNOMIAL SYSTEMS ARE EQUAL
AN IMPLEMENTATION METHOD OF A CAS WITH A HANDWRITING INTERFACE ON TABLET
DEVICES
NEW WAY OF EXPLANATION OF THE STOCHASTIC INTERPRETATION OF WAVE
FUNCTIONS AND ITS TEACHING MATERIALS USING KETPIC
IFSGEN4LATEX: INTERACTIVE GRAPHICAL USER INTERFACE FOR GENERATION AND
VISUALIZATION OF ITERATED FUNCTION SYSTEMS IN LATEX
GNU TEXMACS TOWARDS A SCIENTIFIC OFFICE SUITE
COMPUTER SOFTWARE PROGRAM FOR REPRESENTATION AND VISUALIZATION OF
FREE-FORM CURVES THROUGH BIO-INSPIRED OPTIMIZATION TECHNIQUES
ON SOME ATTEMPTS TO VERIFY THE EFFECT OF USING HIGH-QUALITY GRAPHICS IN
MATHEMATICS EDUCATION
MATH WEB SEARCH INTERFACES AND THE GENERATION GAP OF MATHEMATICIANS
PRACTICE WITH COMPUTER ALGEBRA SYSTEMS IN MATHEMATICS EDUCATION AND
TEACHER TRAINING COURSES
DEVELOPMENT OF VISUAL AID MATERIALS IN TEACHING THE BIVARIATE NORMAL
DISTRIBUTIONS
CREATING INTERACTIVE GRAPHICS FOR MATHEMATICS EDUCATION UTILIZING KETPIC
A TABLET-COMPATIBLE WEB-INTERFACE FOR MATHEMATICAL COLLABORATION
DEVELOPMENT AND EVALUATION OF A WEB-BASED DRILL SYSTEM TO MASTER BASIC
MATH FORMULAE USING A NEW INTERACTIVE MATH INPUT METHOD
GENERATING DATA OF MATHEMATICAL FIGURES FOR 3D PRINTERS WITH KETPIC AND
EDUCATIONAL IMPACT OF THE PRINTED MODELS
A TOUCH-BASED MATHEMATICAL EXPRESSION EDITOR
ESTABLISHMENT OF KETPIC PROGRAMMING STYLES FOR DRAWING
INTEGRATION OF LIBNORMALIZ IN COCOALIB AND COCOA 5
ELEMENTS OF DESIGN FOR CONTAINERS AND SOLUTIONS IN THE LINBOX LIBRARY
RECENT DEVELOPMENTS IN NORMALIZ
THE BASIC POLYNOMIAL ALGEBRA SUBPROGRAMS
FUNCTION INTERVAL ARITHMETIC
GENERATING OPTIMIZED SPARSE MATRIX VECTOR PRODUCT OVER FINITE FIELDS
SWMATH – AN INFORMATION SERVICE FOR MATHEMATICAL SOFTWARE
MATHLIBRE: MODIFIABLE DESKTOP ENVIRONMENT FOR MATHEMATICS
SOFTWARE PACKAGES FOR HOLONOMIC GRADIENT METHOD
METALIBM: A MATHEMATICAL FUNCTIONS CODE GENERATOR
FROM CALCULUS TO ALGORITHMS WITHOUT ERRORS
DENSE ARITHMETIC OVER FINITE FIELDS WITH THE CUMODP LIBRARY
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
MATHEMATICAL SOFTWARE – ICMS 2014
/
: 2014
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE 4TH INTERNATIONAL
CONFERENCE ON MATHEMATICAL SOFTWARE, ICMS 2014, HELD IN SEOUL, SOUTH
KOREA, IN AUGUST 2014. THE 108 PAPERS INCLUDED IN THIS VOLUME WERE
CAREFULLY REVIEWED AND SELECTED FROM 150 SUBMISSIONS. THE PAPERS ARE
ORGANIZED IN TOPICAL SECTIONS NAMED: INVITED; EXPLORATION; GROUP;
CODING; TOPOLOGY; ALGEBRAIC; GEOMETRY; SURFACES; REASONING; SPECIAL;
GROEBNER; TRIANGULAR; PARAMETRIC; INTERFACES AND GENERAL
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
any_adam_object | 1 |
author2 | Hong, Hoon |
author2_role | edt |
author2_variant | h h hh |
author_GND | (DE-588)130882488 |
author_corporate | ICMS Seoul |
author_corporate_role | aut |
author_facet | Hong, Hoon ICMS Seoul |
author_sort | ICMS Seoul |
building | Verbundindex |
bvnumber | BV042023141 |
classification_rvk | SS 4800 |
classification_tum | DAT 300f MAT 001f DAT 530f |
collection | ZDB-2-LNC |
ctrlnum | (OCoLC)889719876 (DE-599)BVBBV042023141 |
dewey-full | 004.0151 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 004 - Computer science |
dewey-raw | 004.0151 |
dewey-search | 004.0151 |
dewey-sort | 14.0151 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik Mathematik |
doi_str_mv | 10.1007/978-3-662-44199-2 |
format | Electronic Conference Proceeding eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008cb4500</leader><controlfield tag="001">BV042023141</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20211014</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">140813s2014 gw d||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3662441985</subfield><subfield code="9">3-662-44198-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662441992</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-44199-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-44199-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)889719876</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042023141</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</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">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="111" ind1="2" ind2=" "><subfield code="a">ICMS</subfield><subfield code="n">4</subfield><subfield code="d">2014</subfield><subfield code="c">Seoul</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1054157634</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical Software - ICMS 2014</subfield><subfield code="b">4th International Conference, Seoul, South Korea, August 5-9, 2014 ; proceedings</subfield></datafield><datafield tag="263" ind1=" " ind2=" "><subfield code="a">201408</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXXI, 735 S.)</subfield><subfield code="b">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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">8592</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">2014</subfield><subfield code="z">Seoul</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">Hong, Hoon</subfield><subfield code="0">(DE-588)130882488</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-3-662-44198-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">8592</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8592</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-44199-2</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=027464769&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=027464769&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027464769</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44199-2</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44199-2</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44199-2</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44199-2</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44199-2</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44199-2</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44199-2</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44199-2</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44199-2</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44199-2</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44199-2</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44199-2</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44199-2</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44199-2</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 2014 Seoul gnd-content |
genre_facet | Konferenzschrift 2014 Seoul |
id | DE-604.BV042023141 |
illustrated | Illustrated |
indexdate | 2025-01-10T15:17:56Z |
institution | BVB |
institution_GND | (DE-588)1054157634 |
isbn | 3662441985 9783662441992 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027464769 |
oclc_num | 889719876 |
open_access_boolean | |
owner | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-861 DE-634 |
owner_facet | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-861 DE-634 |
physical | 1 Online-Ressource (XXXI, 735 S.) graph. Darst. |
psigel | ZDB-2-LNC |
publishDate | 2014 |
publishDateSearch | 2014 |
publishDateSort | 2014 |
publisher | Springer |
record_format | marc |
series | Lecture Notes in Computer Science |
series2 | Lecture Notes in Computer Science |
spelling | ICMS 4 2014 Seoul Verfasser (DE-588)1054157634 aut Mathematical Software - ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014 ; proceedings 201408 Berlin [u.a.] Springer 2014 1 Online-Ressource (XXXI, 735 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 8592 Software (DE-588)4055382-6 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2014 Seoul gnd-content Mathematik (DE-588)4037944-9 s Software (DE-588)4055382-6 s DE-604 Hong, Hoon (DE-588)130882488 edt Erscheint auch als Druck-Ausgabe, Paperback 978-3-662-44198-5 Lecture Notes in Computer Science 8592 (DE-604)BV014880109 8592 https://doi.org/10.1007/978-3-662-44199-2 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027464769&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027464769&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
spellingShingle | Mathematical Software - ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014 ; 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 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014 ; proceedings |
title_auth | Mathematical Software - ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014 ; proceedings |
title_exact_search | Mathematical Software - ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014 ; proceedings |
title_full | Mathematical Software - ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014 ; proceedings |
title_fullStr | Mathematical Software - ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014 ; proceedings |
title_full_unstemmed | Mathematical Software - ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014 ; proceedings |
title_short | Mathematical Software - ICMS 2014 |
title_sort | mathematical software icms 2014 4th international conference seoul south korea august 5 9 2014 proceedings |
title_sub | 4th International Conference, Seoul, South Korea, August 5-9, 2014 ; proceedings |
topic | Software (DE-588)4055382-6 gnd Mathematik (DE-588)4037944-9 gnd |
topic_facet | Software Mathematik Konferenzschrift 2014 Seoul |
url | https://doi.org/10.1007/978-3-662-44199-2 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027464769&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027464769&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV014880109 |
work_keys_str_mv | AT icmsseoul mathematicalsoftwareicms20144thinternationalconferenceseoulsouthkoreaaugust592014proceedings AT honghoon mathematicalsoftwareicms20144thinternationalconferenceseoulsouthkoreaaugust592014proceedings |