Coverart for item
The Resource Intelligent computer mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings, Johan Jeuring...[et al.] (eds.), (electronic book)

Intelligent computer mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings, Johan Jeuring...[et al.] (eds.), (electronic book)

Label
Intelligent computer mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
Title
Intelligent computer mathematics
Title remainder
11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
Statement of responsibility
Johan Jeuring...[et al.] (eds.)
Title variation
  • AISC 2012
  • Calculemus 2012
  • DML 2012
  • MKM 2012
  • CICM 2012
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
004.01/51
Illustrations
illustrations
Index
index present
LC call number
QA76.9.M35
LC item number
A37 2012
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2012
http://bibfra.me/vocab/lite/meetingName
AISC 2012
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1965-
  • 2012
  • 2012
  • 2012
  • 2012
http://library.link/vocab/relatedWorkOrContributorName
  • Jeuring, Johan
  • Calculemus 2012
  • DML 2012
  • MKM 2012
  • CICM 2012
Series statement
  • Lecture notes in computer science,
  • Lecture notes in artificial intelligence
  • LNCS sublibrary. SL 7, Artificial intelligence
Series volume
7362.
http://library.link/vocab/subjectName
  • Computer science
  • Artificial intelligence
Label
Intelligent computer mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings, Johan Jeuring...[et al.] (eds.), (electronic book)
Instantiates
Publication
Note
International conference proceedings
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Contents
  • Extending MKM Formats at the Statement Level
  • Fulya Horozal, Michael Kohlhase and Florian Rabe
  • A Streaming Digital Ink Framework for Multi-party Collaboration
  • Rui Hu, Vadim Mazalov and Stephen M. Watt
  • Cost-Effective Integration of MKM Semantic Services into Editing Environments
  • Constantin Jucovschi
  • Understanding the Learners' Actions when Using Mathematics Learning Tools
  • Paul Libbrecht, Sandra Rebholz, Daniel Herding, Wolfgang Müller and Felix Tscheulin
  • Towards Understanding Triangle Construction Problems
  • Vesna Marinković and Predrag Janičić
  • Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar
  • A Query Language for Formal Mathematical Libraries
  • Florian Rabe
  • Abramowitz and Stegun - A Resource for Mathematical Document Analysis
  • Alan P. Sexton
  • Point-and-Write - Documenting Formal Mathematics by Reference
  • Carst Tankink, Christoph Lange and Josef Urban
  • An Essence of SSReflect
  • Iain Whiteside, David Aspinall and Gudmund Grov
  • Theory Presentation Combinators
  • Jacques Carette and Russell O'Connor
  • Jesse Alama, Lionel Mamane and Josef Urban
  • Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging
  • Jónathan Heras, María Poza and Julio Rubio
  • Towards the Formal Specification and Verification of Maple Programs
  • Muhammad Taimoor Khan and Wolfgang Schreiner
  • Formalizing Frankl's Conjecture: FC-Families
  • Filip Marić, Miodrag Živković and Bojan Vučković
  • CDCL-Based Abstract State Transition System for Coherent Logic
  • Mladen Nikolić and Predrag Janičić
  • Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases
  • David J. Wilson, Russell J. Bradford and James H. Davenport
  • Proof, Message and Certificate
  • A System for Axiomatic Programming
  • Gabriel Dos Reis
  • Reasoning on Schemata of Formulæ
  • Mnacho Echenim and Nicolas Peltier
  • Management of Change in Declarative Languages
  • Mihnea Iancu and Florian Rabe
  • MathWebSearch 0.5: Scaling an Open Formula Search Engine
  • Michael Kohlhase, Bogdan A. Matican and Corneliu-Claudiu Prodescu
  • Real Algebraic Strategies for MetiTarski Proofs
  • Grant Olney Passmore, Lawrence C. Paulson and Leonardo de Moura
  • Andrea Asperti
  • A Combinator Language for Theorem Discovery
  • Phil Scott and Jacques Fleuriot
  • DynGenPar - A Dynamic Generalized Parser for Common Mathematical Language
  • Kevin Kofler and Arnold Neumaier
  • Writing on Clouds
  • Vadim Mazalov and Stephen M. Watt
  • A Web Interface for Matita
  • Andrea Asperti and Wilmer Ricciotti
  • MaxTract: Converting PDF to LATEX\LaTeX , MathML and Text
  • Josef B. Baker, Alan P. Sexton and Volker Sorge
  • Challenges and Experiences in Managing Large-Scale Proofs
  • New Developments in Parsing Mizar
  • Czesław Bylinski and Jesse Alama
  • Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence
  • (Project Description)
  • Xiaoyu Chen, Wei Li, Jie Luo and Dongming Wang
  • Project Presentation: Algorithmic Structuring and Compression of Proofs (ASCOP)
  • Stefan Hetzl
  • On Formal Specification of Maple Programs
  • Muhammad Taimoor Khan and Wolfgang Schreiner
  • The Planetary Project: Towards eMath3.0
  • Timothy Bourke, Matthias Daum, Gerwin Klein and Rafal Kolanski
  • Michael Kohlhase
  • Tentative Experiments with Ellipsis in Mizar
  • Artur Korniłowicz
  • Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset
  • Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas and Joseph Corneli, et al.
  • The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization
  • Christoph Lange, Oliver Kutz, Till Mossakowski and Michael Grüninger
  • Isabelle/jEdit - A Prover IDE within the PIDE Framework
  • Makarius Wenzel
  • Semantic Alliance: A Framework for Semantic Allies
  • Catalin David, Constantin Jucovschi, Andrea Kohlhase and Michael Kohlhase
Control code
SPR798572175
Dimensions
unknown
Extent
1 online resource (xviii, 471 p.)
File format
unknown
Form of item
online
Isbn
9783642313738
Level of compression
unknown
Other physical details
ill.
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote
Label
Intelligent computer mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings, Johan Jeuring...[et al.] (eds.), (electronic book)
Publication
Note
International conference proceedings
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Contents
  • Extending MKM Formats at the Statement Level
  • Fulya Horozal, Michael Kohlhase and Florian Rabe
  • A Streaming Digital Ink Framework for Multi-party Collaboration
  • Rui Hu, Vadim Mazalov and Stephen M. Watt
  • Cost-Effective Integration of MKM Semantic Services into Editing Environments
  • Constantin Jucovschi
  • Understanding the Learners' Actions when Using Mathematics Learning Tools
  • Paul Libbrecht, Sandra Rebholz, Daniel Herding, Wolfgang Müller and Felix Tscheulin
  • Towards Understanding Triangle Construction Problems
  • Vesna Marinković and Predrag Janičić
  • Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar
  • A Query Language for Formal Mathematical Libraries
  • Florian Rabe
  • Abramowitz and Stegun - A Resource for Mathematical Document Analysis
  • Alan P. Sexton
  • Point-and-Write - Documenting Formal Mathematics by Reference
  • Carst Tankink, Christoph Lange and Josef Urban
  • An Essence of SSReflect
  • Iain Whiteside, David Aspinall and Gudmund Grov
  • Theory Presentation Combinators
  • Jacques Carette and Russell O'Connor
  • Jesse Alama, Lionel Mamane and Josef Urban
  • Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging
  • Jónathan Heras, María Poza and Julio Rubio
  • Towards the Formal Specification and Verification of Maple Programs
  • Muhammad Taimoor Khan and Wolfgang Schreiner
  • Formalizing Frankl's Conjecture: FC-Families
  • Filip Marić, Miodrag Živković and Bojan Vučković
  • CDCL-Based Abstract State Transition System for Coherent Logic
  • Mladen Nikolić and Predrag Janičić
  • Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases
  • David J. Wilson, Russell J. Bradford and James H. Davenport
  • Proof, Message and Certificate
  • A System for Axiomatic Programming
  • Gabriel Dos Reis
  • Reasoning on Schemata of Formulæ
  • Mnacho Echenim and Nicolas Peltier
  • Management of Change in Declarative Languages
  • Mihnea Iancu and Florian Rabe
  • MathWebSearch 0.5: Scaling an Open Formula Search Engine
  • Michael Kohlhase, Bogdan A. Matican and Corneliu-Claudiu Prodescu
  • Real Algebraic Strategies for MetiTarski Proofs
  • Grant Olney Passmore, Lawrence C. Paulson and Leonardo de Moura
  • Andrea Asperti
  • A Combinator Language for Theorem Discovery
  • Phil Scott and Jacques Fleuriot
  • DynGenPar - A Dynamic Generalized Parser for Common Mathematical Language
  • Kevin Kofler and Arnold Neumaier
  • Writing on Clouds
  • Vadim Mazalov and Stephen M. Watt
  • A Web Interface for Matita
  • Andrea Asperti and Wilmer Ricciotti
  • MaxTract: Converting PDF to LATEX\LaTeX , MathML and Text
  • Josef B. Baker, Alan P. Sexton and Volker Sorge
  • Challenges and Experiences in Managing Large-Scale Proofs
  • New Developments in Parsing Mizar
  • Czesław Bylinski and Jesse Alama
  • Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence
  • (Project Description)
  • Xiaoyu Chen, Wei Li, Jie Luo and Dongming Wang
  • Project Presentation: Algorithmic Structuring and Compression of Proofs (ASCOP)
  • Stefan Hetzl
  • On Formal Specification of Maple Programs
  • Muhammad Taimoor Khan and Wolfgang Schreiner
  • The Planetary Project: Towards eMath3.0
  • Timothy Bourke, Matthias Daum, Gerwin Klein and Rafal Kolanski
  • Michael Kohlhase
  • Tentative Experiments with Ellipsis in Mizar
  • Artur Korniłowicz
  • Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset
  • Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas and Joseph Corneli, et al.
  • The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization
  • Christoph Lange, Oliver Kutz, Till Mossakowski and Michael Grüninger
  • Isabelle/jEdit - A Prover IDE within the PIDE Framework
  • Makarius Wenzel
  • Semantic Alliance: A Framework for Semantic Allies
  • Catalin David, Constantin Jucovschi, Andrea Kohlhase and Michael Kohlhase
Control code
SPR798572175
Dimensions
unknown
Extent
1 online resource (xviii, 471 p.)
File format
unknown
Form of item
online
Isbn
9783642313738
Level of compression
unknown
Other physical details
ill.
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote

Library Locations

Processing Feedback ...