Mathematical Software – ICMS 2010 (Record no. 112673)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 07316nam a22006135i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-642-15582-6 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20140220084546.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 100910s2010 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783642155826 |
| -- | 978-3-642-15582-6 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-642-15582-6 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.9.M35 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | PBD |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UYAM |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM018000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | MAT008000 |
| Source | bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.0151 |
| Edition number | 23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Fukuda, Komei. |
| Relator term | editor. |
| 245 10 - TITLE STATEMENT | |
| Title | Mathematical Software – ICMS 2010 |
| Medium | [electronic resource] : |
| Remainder of title | Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings / |
| Statement of responsibility, etc | edited by Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama. |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg, |
| -- | 2010. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XIV, 368p. 59 illus. |
| Other physical details | online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, |
| International Standard Serial Number | 0302-9743 ; |
| Volume number/sequential designation | 6327 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Plenary -- Computational Discrete Geometry -- Exploiting Structured Sparsity in Large Scale Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying Free Mathematical Software to Create a Viable Alternative to Magma, Maple, Mathematica and MATLAB -- Computation of Special Functions (Invited) -- Sollya: An Environment for the Development of Numerical Codes -- Validated Special Functions Software -- The Dynamic Dictionary of Mathematical Functions (DDMF) -- Reliable Computing with GNU MPFR -- Computational Group Theory (Invited) -- Simplicial Cohomology of Smooth Orbifolds in GAP -- Computing Polycyclic Quotients of Finitely (L-)Presented Groups via Groebner Bases -- Constructive Membership Testing in Black-Box Classical Groups -- Computational Group Theory (Contributed) -- Towards High-Performance Computational Algebra with GAP -- An Improvement of a Function Computing Normalizers for Permutation Groups -- A GAP Package for Computation with Coherent Configurations -- Computer Algebra (Invited) -- CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond -- LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation -- FGb: A Library for Computing Gröbner Bases -- Fast Library for Number Theory: An Introduction -- Exact Numeric Computation for Algebraic and Geometric Computation (Invited) -- Controlled Perturbation for Certified Geometric Computing with Fixed-Precision Arithmetic -- Exact Geometric and Algebraic Computations in CGAL -- On Solving Systems of Bivariate Polynomials -- Accurate and Reliable Computing in Floating-Point Arithmetic -- 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 -- The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra -- Formal Proof (Invited) -- Introducing HOL Zero -- Euler’s Polyhedron Formula in mizar -- Building a Library of Mechanized Mathematical Proofs: Why Do It? and What Is It Like to Do? -- Linear Programs for the Kepler Conjecture -- A Formal Proof of Pick’s Theorem -- Formal Proof (Contributed) -- Evaluation of Automated Theorem Proving on the Mizar Mathematical Library -- Geometry and Visualization (Invited) -- On Local Deformations of Planar Quad-Meshes -- Construction of Harmonic Surfaces with Prescribed Geometry -- Geometry and Visualization (Contributed) -- A Library of OpenGL-Based Mathematical Image Filters -- MD-jeep: An Implementation of a Branch and Prune Algorithm for Distance Geometry Problems -- TADD: A Computational Framework for Data Analysis Using Discrete Morse Theory -- Groebner Bases and Applications (Invited) -- to Normaliz 2.5 -- Computer Algebra Methods in Tropical Geometry -- Groebner Bases and Applications (Contributed) -- A New Desingularization Algorithm for Binomial Varieties in Arbitrary Characteristic -- An Algorithm of Computing Inhomogeneous Differential Equations for Definite Integrals -- New Algorithms for Computing Primary Decomposition of Polynomial Ideals -- An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra -- Operadic Gröbner Bases: An Implementation -- Number Theoretical Software (Invited) -- Magma - A Tool for Number Theory -- Number Theoretical Software (Contributed) -- Enumerating Galois Representations in Sage -- NZMATH 1.0 -- Software for Optimization and Polyhedral Computation (Invited) -- Removing Redundant Quadratic Constraints -- Traversing Symmetric Polyhedral Fans -- C++ Tools for Exploiting Polyhedral Symmetries -- isl: An Integer Set Library for the Polyhedral Model -- Software for Optimization and Polyhedral Computation (Contributed) -- The Reformulation-Optimization Software Engine -- Generating Smooth Lattice Polytopes -- Reliable Computation (Invited) -- Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations -- Complex Inclusion Functions in the CoStLy C++ Class Library -- Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries -- Reliable Computation (Contributed) -- Efficient Evaluation of Large Polynomials -- Communicating Functional Expressions from Mathematica to C-XSC. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | 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 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Information theory. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer software. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Electronic data processing. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computational complexity. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Discrete Mathematics in Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Math Applications in Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Numeric Computing. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software Engineering/Programming and Operating Systems. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Algorithm Analysis and Problem Complexity. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Theory of Computation. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Hoeven, Joris van der. |
| Relator term | editor. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Joswig, Michael. |
| Relator term | editor. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Takayama, Nobuki. |
| Relator term | editor. |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783642155819 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Lecture Notes in Computer Science, |
| -- | 0302-9743 ; |
| Volume number/sequential designation | 6327 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1007/978-3-642-15582-6 |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
No items available.