Mathematical Knowledge Management :5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings - Lecture Notes in Computer Science

Mathematical Knowledge Management

Mathematical Knowledge Management :5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings - Lecture Notes in Computer Science

(Author) (Author)
paperback
Published: 26 July, 2006
Standard worldwide delivery by Fri, August 7 - Wed, August 12
Order within 0
Condition: NEW
$70.78
Price includes shipping
Available 20 in stock
- +
Add to basket Wishlist This
FREE Returns within 30 days
More Details

Popular Books by Jonathan Borwein

View All Books by Jonathan Borwein
Neverending Fractions
Neverending Fractions
Jonathan Borwein
$53.61
New
Add to basket
Convex Analysis and Nonlinear Optimization
Convex Analysis and Nonlinear Optimization
Jonathan Borwein
$91.86
New
Add to basket
Multimedia Tools for Communicating Mathematics
Multimedia Tools for Communicating Mathematics
Jonathan Borwein
$243.79
New
Add to basket
Convex Analysis and Nonlinear Optimization
Convex Analysis and Nonlinear Optimization
Jonathan Borwein
$92.61
New
Add to basket
Mathematics by Experiment
Mathematics by Experiment
Jonathan Borwein
$142.49 $160.87
New
Add to basket
Techniques of Variational Analysis
Techniques of Variational Analysis
Jonathan Borwein
$119.28
New
Add to basket
The Computer as Crucible
The Computer as Crucible
Jonathan Borwein
$51.71
New
Add to basket
Techniques of Variational Analysis
Techniques of Variational Analysis
Jonathan Borwein
$73.68 $73.72
New
Add to basket
A Dictionary of Real Numbers
A Dictionary of Real Numbers
Jonathan Borwein
$73.89
New
Add to basket
Experimentelle Mathematik
Experimentelle Mathematik
Jonathan Borwein
$43.02
New
Add to basket

Description

This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham, UK, August 2006. The book presents 22 revised full papers. Coverage extends to the mathematical knowledge management at the intersection of mathematics, computer science, library science, and scientific publishing. The papers are organized in topical sections on proof representations, proof processing, knowledge extraction, knowledge representation, as well as systems and tools.
See more

More Details

Type Book
ISBN13 9783540371045
ISBN10 3540371044
Number Of Pages 295
Item Weight 1000 g
Publisher / Reseller Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Format paperback
Edition 2006 ed.
See More +