Vor Ort
Merkzettel Warenkorb
  • Produktbild: Towards Mechanized Mathematical Assistants
  • Produktbild: Towards Mechanized Mathematical Assistants
Band 4573

Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings

Aus der Reihe Lecture Notes in Artificial Intelligence

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.06.2007

Abbildungen

XIII, 410 p.

Herausgeber

Manuel Kauers + weitere

Verlag

Springer Berlin

Seitenzahl

410

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

639 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-73083-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.06.2007

Abbildungen

XIII, 410 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

410

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

639 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-73083-5

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Towards Mechanized Mathematical Assistants
  • Produktbild: Towards Mechanized Mathematical Assistants
  • 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.