Theoretical Computer Science and General Issues

Free Preview

Mathematical Software - ICMS 2010

Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings

Editors: Fukuda, K., van der Hoeven, J., Joswig, M., Takayama, N. (Eds.)

Fast conference proceedings
State of the art report
Up to date results

see more benefits

Buy this book

eBook $74.99

price for USA in USD (gross)

Buy eBook

ISBN 978-3-642-15582-6
Digitally watermarked, DRM-free
Included format: PDF
ebooks can be used on all reading devices
Immediate eBook download after purchase

Softcover $99.00

price for USA in USD

Buy Softcover

ISBN 978-3-642-15581-9
Free shipping for individuals worldwide
Online orders shipping within 2-3 days.

Table of contents (49 chapters)

Computational Discrete Geometry

Hales, Thomas C.

Pages 1-3

Preview Buy Chapter $29.95
Exploiting Structured Sparsity in Large Scale Semidefinite Programming Problems

Kojima, Masakazu

Pages 4-9

Preview Buy Chapter $29.95
Reliable and Efficient Geometric Computing

Mehlhorn, Kurt

Pages 10-11

Preview Buy Chapter $29.95
The Sage Project: Unifying Free Mathematical Software to Create a Viable Alternative to Magma, Maple, Mathematica and MATLAB

Eröcal, Burçin (et al.)

Pages 12-27

Preview Buy Chapter $29.95
Sollya: An Environment for the Development of Numerical Codes

Chevillard, Sylvain (et al.)

Pages 28-31

Preview Buy Chapter $29.95

Validated Special Functions Software

Cuyt, Annie (et al.)

Pages 32-34

Preview Buy Chapter $29.95
The Dynamic Dictionary of Mathematical Functions (DDMF)

Benoit, Alexandre (et al.)

Pages 35-41

Preview Buy Chapter $29.95
Reliable Computing with GNU MPFR

Zimmermann, Paul

Pages 42-45

Preview Buy Chapter $29.95
Simplicial Cohomology of Smooth Orbifolds in GAP

Barakat, Mohamed (et al.)

Pages 46-49

Preview Buy Chapter $29.95
Computing Polycyclic Quotients of Finitely (L-)Presented Groups via Groebner Bases

Eick, Bettina (et al.)

Pages 50-53

Preview Buy Chapter $29.95
Constructive Membership Testing in Black-Box Classical Groups

Ambrose, Sophie (et al.)

Pages 54-57

Preview Buy Chapter $29.95
Towards High-Performance Computational Algebra with GAP

Behrends, Reimer (et al.)

Pages 58-61

Preview Buy Chapter $29.95
An Improvement of a Function Computing Normalizers for Permutation Groups

Miyamoto, Izumi

Pages 62-68

Preview Buy Chapter $29.95
A GAP Package for Computation with Coherent Configurations

Pasechnik, Dmitrii V. (et al.)

Pages 69-72

Preview Buy Chapter $29.95
CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond

Abbott, John (et al.)

Pages 73-76

Preview Buy Chapter $29.95
LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation

Dumas, Jean-Guillaume (et al.)

Pages 77-83

Preview Buy Chapter $29.95
FGb: A Library for Computing Gröbner Bases

Faugère, Jean-Charles

Pages 84-87

Preview Buy Chapter $29.95
Fast Library for Number Theory: An Introduction

Hart, William B.

Pages 88-91

Preview Buy Chapter $29.95
Controlled Perturbation for Certified Geometric Computing with Fixed-Precision Arithmetic

Halperin, Dan

Pages 92-95

Preview Buy Chapter $29.95
Exact Geometric and Algebraic Computations in CGAL

Karavelas, Menelaos I.

Pages 96-99

Preview Buy Chapter $29.95
On Solving Systems of Bivariate Polynomials

Rouillier, Fabrice

Pages 100-104

Preview Buy Chapter $29.95
Accurate and Reliable Computing in Floating-Point Arithmetic

Rump, Siegfried M.

Pages 105-108

Preview Buy Chapter $29.95
Deferring Dag Construction by Storing Sums of Floats Speeds-Up Exact Decision Computations Based on Expression Dags

Mörig, Marc

Pages 109-120

Preview Buy Chapter $29.95
The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra

Yu, Jihun (et al.)

Pages 121-141

Preview Buy Chapter $29.95
Introducing HOL Zero

Adams, Mark

Pages 142-143

Preview Buy Chapter $29.95

Euler’s Polyhedron Formula in mizar

Alama, Jesse

Pages 144-147

Preview Buy Chapter $29.95
Building a Library of Mechanized Mathematical Proofs: Why Do It? and What Is It Like to Do?

Arthan, R. D.

Pages 148-148

Preview Buy Chapter $29.95
Linear Programs for the Kepler Conjecture

Hales, Thomas C.

Pages 149-151

Preview Buy Chapter $29.95
A Formal Proof of Pick’s Theorem

Harrison, John

Pages 152-154

Preview Buy Chapter $29.95
Evaluation of Automated Theorem Proving on the Mizar Mathematical Library

Urban, Josef (et al.)

Pages 155-166

Preview Buy Chapter $29.95
On Local Deformations of Planar Quad-Meshes

Hoffmann, Tim

Pages 167-169

Preview Buy Chapter $29.95
Construction of Harmonic Surfaces with Prescribed Geometry

Weber, Matthias

Pages 170-173

Preview Buy Chapter $29.95
A Library of OpenGL-Based Mathematical Image Filters

Gagern, Martin (et al.)

Pages 174-185

Preview Buy Chapter $29.95
MD-jeep: An Implementation of a Branch and Prune Algorithm for Distance Geometry Problems

Mucherino, Antonio (et al.)

Pages 186-197

Preview Buy Chapter $29.95
TADD: A Computational Framework for Data Analysis Using Discrete Morse Theory

Reininghaus, Jan (et al.)

Pages 198-208

Preview Buy Chapter $29.95
Introduction to Normaliz 2.5

Bruns, Winfried (et al.)

Pages 209-212

Preview Buy Chapter $29.95
Computer Algebra Methods in Tropical Geometry

Markwig, Thomas

Pages 213-216

Preview Buy Chapter $29.95
A New Desingularization Algorithm for Binomial Varieties in Arbitrary Characteristic

Blanco, Rocío

Pages 217-220

Preview Buy Chapter $29.95
An Algorithm of Computing Inhomogeneous Differential Equations for Definite Integrals

Nakayama, Hiromasa (et al.)

Pages 221-232

Preview Buy Chapter $29.95
New Algorithms for Computing Primary Decomposition of Polynomial Ideals

Noro, Masayuki

Pages 233-244

Preview Buy Chapter $29.95
An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra

Tec, Loredana (et al.)

Pages 245-248

Preview Buy Chapter $29.95
Operadic Gröbner Bases: An Implementation

Dotsenko, Vladimir (et al.)

Pages 249-252

Preview Buy Chapter $29.95
Magma - A Tool for Number Theory

Cannon, John (et al.)

Pages 253-255

Preview Buy Chapter $29.95
Enumerating Galois Representations in Sage

Citro, Craig (et al.)

Pages 256-259

Preview Buy Chapter $29.95
NZMATH 1.0

Tanaka, Satoru (et al.)

Pages 260-269

Preview Buy Chapter $29.95

Read this book on SpringerLink

Buy this book

eBook $74.99

price for USA in USD (gross)

Buy eBook

ISBN 978-3-642-15582-6
Digitally watermarked, DRM-free
Included format: PDF
ebooks can be used on all reading devices
Immediate eBook download after purchase

Softcover $99.00

price for USA in USD

Buy Softcover

ISBN 978-3-642-15581-9
Free shipping for individuals worldwide
Online orders shipping within 2-3 days.

Services for this Book

Download Product Flyer Access an Online Book Review Copy Download High-Resolution Cover

Recommended for you

Bibliographic Information

Bibliographic Information

Book Title

Mathematical Software - ICMS 2010

Book Subtitle

Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings

Editors

Komei Fukuda
Joris van der Hoeven
Michael Joswig
Nobuki Takayama

Series Title

Theoretical Computer Science and General Issues

Series Volume

6327

Copyright

2010

Publisher

Springer-Verlag Berlin Heidelberg

Copyright Holder

Springer-Verlag Berlin Heidelberg

eBook ISBN: 978-3-642-15582-6
DOI: 10.1007/978-3-642-15582-6
Softcover ISBN: 978-3-642-15581-9
Edition Number: 1

Number of Pages

XIV, 368

Number of Illustrations and Tables

59 b/w illustrations

Topics

Discrete Mathematics in Computer Science