feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    UID:
    b3kat_BV043360405
    Format: 1 Online-Ressource (VI, 159 S.)
    ISBN: 9783764385163
    Series Statement: Mathematik kompakt
    In: 2
    Additional Edition: Erscheint auch als Druckausgabe ISBN 978-3-7643-8515-6
    Language: German
    Subjects: Mathematics
    RVK:
    RVK:
    RVK:
    Author information: Kügler, Philipp 1975-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    UID:
    b3kat_BV043360568
    Format: 1 Online-Ressource
    ISBN: 9783764384357
    Series Statement: Mathematik kompakt
    In: 1
    Additional Edition: Erscheint auch als Druckausgabe ISBN 978-3-7643-8434-0
    Language: German
    Subjects: Mathematics
    RVK:
    Author information: Kügler, Philipp 1975-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    UID:
    b3kat_BV023074361
    Format: VI, 159 S. , graph. Darst.
    ISBN: 9783764385156
    Series Statement: Mathematik kompakt
    In: 2
    Additional Edition: Erscheint auch als Online-Ausgabe ISBN 978-3-7643-8516-3
    Language: German
    Subjects: Mathematics
    RVK:
    RVK:
    RVK:
    Author information: Kügler, Philipp 1975-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    b3kat_BV023074350
    Format: XII, 160 S. , graph. Darst.
    ISBN: 9783764384340
    Series Statement: Mathematik kompakt
    In: 1
    Language: German
    Subjects: Mathematics
    RVK:
    Author information: Kügler, Philipp 1975-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    UID:
    almahu_9947364206002882
    Format: XIII, 410 p. , online resource.
    ISBN: 9783540730866
    Series Statement: Lecture Notes in Computer Science, 4573
    Content: This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS). MKM 2007 was the sixth International Conference on Mathematical Knowledge Management, an emerging interdisciplinary ?eld of research in the intersection of mathematics, computer science, library s- ence, and scienti?c publishing. Both conferences aimed to provide mechanized mathematical assistants. Although the two conferences have separate communities and separate foci, there is a signi?cant overlap in the interests in building mechanized mathem- ical assistants. For this reason it was decided to collocate the two events in 2007 for the ?rst time, at RISC in Hagenberg, Austria. The number and quality of the submissions show that this was a good decision. While the proceedings are shared, the submission process was separate. The responsibility for acc- tance/rejection rests completely with the two separate Program Committees. By this collocation we made a contribution against the fragmentation of communities which work on di?erent aspects of di?erent independent branches, traditional branches (e.g., computer algebra and theorem proving), as well as newly emerging ones (on user interfaces, knowledge management, theory exp- ration, etc.). This will also facilitate the development of integrated mechanized mathematical assistants that will be routinely used by mathematicians, c- puter scientists, and engineers in their every-day business.
    Note: Contributions to Calculemus 2007 -- Executing in Common Lisp, Proving in ACL2 -- A Rational Reconstruction of a System for Experimental Mathematics -- Context Aware Calculation and Deduction -- Towards Constructive Homological Algebra in Type Theory -- What Might “Understand a Function” Mean? -- Biform Theories in Chiron -- Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic -- Certified Computer Algebra on Top of an Interactive Theorem Prover -- Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators -- Rule-Based Simplification in Vector-Product Spaces -- Contributions to MKM 2007 -- Mathematics and Scientific Markup -- The On-Line Encyclopedia of Integer Sequences -- First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems -- Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case -- A Framework for Interactive Proof -- Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems -- Mizar Course in Logic and Set Theory -- Using Formal Concept Analysis in Mathematical Discovery -- Cooperative Repositories for Formal Proofs -- Revisions as an Essential Tool to Maintain Mathematical Repositories -- The Layers of Logiweb -- Formal Representation of Mathematics in a Dependently Typed Set Theory -- Restoring Natural Language as a Computerised Mathematics Input Method -- Narrative Structure of Mathematical Texts -- Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch -- Alternative Aggregates in Mizar -- An Approach to Mathematical Search Through Query Formulation and Data Normalization -- Extended Formula Normalization for ?-Retrieval and Sharing of Mathematical Knowledge -- Towards Mathematical Knowledge Management for Electrical Engineering -- Spurious Disambiguation Error Detection -- Methods of Relevance Ranking and Hit-content Generation in Math Search.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540730835
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    UID:
    almahu_9947364465302882
    Format: XVI, 384 p. 100 illus. , online resource.
    ISBN: 9783642393204
    Series Statement: Lecture Notes in Computer Science, 7961
    Content: This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of  CICM 2013, the Conferences on Intelligent Computer Mathematics. The 7 revised full papers out of 18 submissions for MKM 2013, 5 revised full papers out of 12 submissions for Calculemus 2013,  6 revised full papers out of 8 submissions for DML 2013, and 12 revised full papers out of 16 submissions for Systems and Project track presented together with 3 invited talks were carefully reviewed and selected, resulting in 33 papers from a total of 73 submissions.
    Note: Calculemus -- The Rooster and the Butterflies -- Optimising Problem Formulation for Cylindrical Algebraic Decomposition -- The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation -- Certification of Bounds of Non-linear Functions: The Templates Method -- Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy -- A Universal Machine for Biform Theory Graphs -- MKM -- Mathematical Practice, Crowdsourcing, and Social Machines -- Automated Reasoning Service for HOL Light -- Understanding Branch Cuts of Expressions -- Formal Mathematics on Display: A Wiki for Flyspeck -- Determining Points on Handwritten Mathematical Symbols -- Capturing Hiproofs in HOL Light -- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory -- Students’ Comparison of Their Trigonometric Answers with the Answers of a Computer Algebra System -- DML -- Mathematics and the World Wide Web -- Structural Similarity Search for Mathematics Retrieval -- Towards Machine-Actionable Modules of a Digital Mathematics Library: The Example of DML-CZ -- A Hybrid Approach for Semantic Enrichment of MathML Mathematical Expressions -- Three Years of DLMF: Web, Math and Search -- Escaping the Trap of Too Precise Topic Queries -- Using MathML to Represent Units of Measurement for Improved Ontology Alignment -- Systems and Projects -- A Web Interface for Isabelle: The Next Generation -- The ForMaRE Project – Formal Mathematical Reasoning in Economics -- LATExml 2012 – A Year of LATExml -- The MMT API: A Generic MKM System -- Math-Net.Ru as a Digital Archive of the Russian Mathematical Knowledge from the XIX Century to Today -- A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and Envelopes -- ML4PG in Computer Algebra Verification -- Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems -- The Web Geometry Laboratory Project -- swMATH – A New Information Service for Mathematical Software -- Software for Evaluating Relevance of Steps in Algebraic Transformations -- The DeLiVerMATH Project: Text Analysis in Mathematics.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783642393198
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    Book
    Book
    Basel ; Berlin : Springer-Verlag
    Show associated volumes
    UID:
    kobvindex_ZLB15496508
    Format: 24 cm
    Series Statement: Mathematik kompakt
    Language: German
    Keywords: Lineare Algebra ; Analysis ; Algorithmus ; Lehrbuch ; Lehrbuch ; Lehrbuch
    Author information: Kügler, Philipp
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    Online Resource
    Online Resource
    Basel : Birkhäuser Basel
    UID:
    gbv_1650840055
    Format: Online-Ressource (XII, 160S, digital)
    ISBN: 9783764384357
    Series Statement: Mathematik Kompakt
    Content: Grundbegriffe und Grundfragen einer algorithmischen Mathematik -- Zahlbereiche -- Vektoren -- Univariate Polynome.
    Content: Gegenstand des Buches sind Algorithmen zur Lösung gängiger Fragestellungen der Analysis und der Linearen Algebra. Die Gliederung erfolgt anhand der mathematischen Objekte, die in den vorgestellten Methoden die zentrale Rolle spielen. So stehen im vorliegenden Buch Zahlen, Vektoren und univariate Polynome im Mittelpunkt, während in einem nachfolgenden Band auf Algorithmen zu Matrizen, Funktionen und multivariaten Polynomen eingegangen wird. Nach einer Wiederholung der mathematischen Grundlagen stehen Entwicklung und Computerrealisierung der Lösungsmethoden im Vordergrund. Der Leser erfährt, wie die jeweiligen mathematischen Objekte am Computer mit Hilfe von Datenstrukturen dargestellt werden können, und wie die damit verbundenen elementaren Rechenoperationen ausgeführt werden können, etwa die Addition rationaler Zahlen oder die Multiplikation zweier Polynome. Umfangreichere Problemstellungen werden hinsichtlich ihrer Lösbarkeit und ihrer Sensitivität gegenüber Störungen der Eingangsdaten untersucht. Darauf basierend werden Algorithmen zu deren Lösung hergeleitet und in Form von Pseudocode sowie anhand von Beispielen präsentiert. Die Diskussion der Algorithmen wird hinsichtlich des Aufwands, mit dem die Berechnung einer Lösung am Computer verbunden ist, sowie der Rechenfehler, die durch Diskretisierung, vorzeitigen Abbruch, Rundung und/oder fehlerhafte Eingangsdaten entstehen können, geführt. Tatsächliche Implementierungen in Mathematica und/oder Matlab der im Buch beschriebenen Algorithmen stehen als Download zur Verfügung.
    Note: Includes bibliographical references and index
    Additional Edition: ISBN 9783764384340
    Additional Edition: Buchausg. u.d.T. Kügler, Philipp, 1975 - Algorithmische Methoden ; [1]: Zahlen, Vektoren, Polynome Basel : Birkhäuser, 2009 ISBN 9783764384340
    Additional Edition: Erscheint auch als Druck-Ausgabe Kügler, Philipp, 1975 - Algorithmische Methoden ; [1]: Zahlen, Vektoren, Polynome Basel [u.a.] : Birkhäuser, 2009 ISBN 3764384344
    Additional Edition: ISBN 9783764384340
    Language: German
    Subjects: Computer Science , Mathematics
    RVK:
    RVK:
    RVK:
    RVK:
    RVK:
    Keywords: Lineare Algebra ; Algorithmus ; Analysis ; Algorithmus ; Algorithmische Zahlentheorie ; Vektor ; Polynomerweiterung ; Lehrbuch
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Kügler, Philipp 1975-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    UID:
    gbv_585598789
    ISBN: 9783764384340
    Series Statement: Mathematik kompakt
    Language: German
    Keywords: Algorithmische Zahlentheorie ; Vektor ; Polynomerweiterung
    Author information: Kügler, Philipp 1975-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    UID:
    gbv_1652962328
    Format: Online-Ressource (XVI, 384 p. 100 illus, online resource)
    ISBN: 9783642393204
    Series Statement: Lecture Notes in Computer Science 7961
    Content: This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the Conferences on Intelligent Computer Mathematics. The 7 revised full papers out of 18 submissions for MKM 2013, 5 revised full papers out of 12 submissions for Calculemus 2013, 6 revised full papers out of 8 submissions for DML 2013, and 12 revised full papers out of 16 submissions for Systems and Project track presented together with 3 invited talks were carefully reviewed and selected, resulting in 33 papers from a total of 73 submissions
    Note: Literaturangaben
    Additional Edition: ISBN 9783642393198
    Additional Edition: Erscheint auch als Druck-Ausgabe Intelligent computer mathematics Heidelberg : Springer, 2013 ISBN 3642393195
    Additional Edition: ISBN 9783642393198
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Computeralgebra ; Automatisches Beweisverfahren ; Mathematik ; Wissensmanagement ; Konferenzschrift ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages