Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Februar 2003
Genre:	EDV / Informatik
	Artificial Intelligence / C / Computational Mathematics and Numerical Analysis / Computer mathematics / computer science / Computer science—Mathematics / Data Warehousing / Database Management / database programming / Databases / Datenbanken / Formal Languages and Automata Theory / Information Retrieval / Information Storage and Retrieval / Informationsrückgewinnung, Information Retrieval / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical theory of computation / Mathematik für Informatiker / Maths for computer scientists / Numerical analysis / Numerische Mathematik / Symbolic and Algebraic Manipulation / Theoretische Informatik mehr...
ISBN:	9783540005681
EAN-Code:	9783540005681
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#2594 - Lecture Notes in Computer Science
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	760 gr
Seiten:	230
Illustration:	X, 230 p.
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Regular Contributions.- Digitisation, Representation, and Formalisation Digital Libraries of Mathematics.- MKM from Book to Computer: A Case Study.- From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls.- Managing Digital Mathematical Discourse.- NAG Library Documentation.- On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions.- Problems and Solutions for Markup for Mathematical Examples and Exercises.- An Annotated Corpus and a Grammar Model of Theorem Description.- A Query Language for a Metadata Framework about Mathematical Resources.- Information Retrieval in MML.- An Expert System for the Flexible Processing of XML -Based Mathematical Knowledge in a PROLOG-Environment.- Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge.- On the Integrity of a Repository of Formalized Mathematics.- A Theoretical Analysis of Hierarchical Proofs.- Comparing Mathematical Provers.- Translating Mizar for First Order Theorem Provers.- Invited Talk.- The Mathematical Semantic Web.