Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 25.06.2026 auf fremdsprachige Bücher online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel & eBooks. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Geschenkkarten, Versandkosten und Services.
Produktbild: Mathematical Software - ICMS 2010
Band 6327

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

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.08.2010

Herausgeber

Komei Fukuda + weitere

Verlag

Springer Berlin

Seitenzahl

368

Maße (L/B/H)

24/15,8/2 cm

Gewicht

580 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-15581-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.08.2010

Herausgeber

Verlag

Springer Berlin

Seitenzahl

368

Maße (L/B/H)

24/15,8/2 cm

Gewicht

580 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-15581-9

Herstelleradresse

Springer-Verlag GmbH
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Url: www.springer.com
Telephone: +49 6221 3454301
Fax: +49 30 8214091

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Mathematical Software - ICMS 2010
  • 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.