Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Fukuda, Komei (Επιμελητής έκδοσης), Hoeven, Joris van der (Επιμελητής έκδοσης), Joswig, Michael (Επιμελητής έκδοσης), Takayama, Nobuki (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Σειρά:Lecture Notes in Computer Science, 6327
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 06590nam a22006015i 4500
001 978-3-642-15582-6
003 DE-He213
005 20151204153909.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 
040 |d GrThAP 
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 
245 1 0 |a Mathematical Software – ICMS 2010  |h [electronic resource] :  |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. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg,  |c 2010. 
300 |a XIV, 368 p. 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,  |x 0302-9743 ;  |v 6327 
505 0 |a 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. 
650 0 |a Computer science. 
650 0 |a Software engineering. 
650 0 |a Computers. 
650 0 |a Algorithms. 
650 0 |a Numerical analysis. 
650 0 |a Computer science  |x Mathematics. 
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 Fukuda, Komei.  |e editor. 
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,  |x 0302-9743 ;  |v 6327 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-15582-6  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (Springer-11645)