Lecture Notes in Computer Science - Intelligent Computer Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642026133, 9783642026140

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-642-02614-0_3 ◽

2009 ◽

pp. 14-26 ◽

Cited By ~ 2

Author(s):

Jacques Calmet

Keyword(s):

Information Technology ◽

Mechanized Reasoning

Download Full-text

Spreadsheet Interaction with Frames: Exploring a Mathematical Practice

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-642-02614-0_28 ◽

2009 ◽

pp. 341-356 ◽

Cited By ~ 4

Author(s):

Andrea Kohlhase ◽

Michael Kohlhase

Keyword(s):

Mathematical Practice

Download Full-text

Integrating Web Services into Active Mathematical Documents

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-642-02614-0_24 ◽

2009 ◽

pp. 279-293 ◽

Cited By ~ 13

Author(s):

Jana Giceva ◽

Christoph Lange ◽

Florian Rabe

Keyword(s):

Web Services

Download Full-text

Reasoning with Generic Cases in the Arithmetic of Abstract Matrices

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-642-02614-0_15 ◽

2009 ◽

pp. 138-153 ◽

Cited By ~ 3

Author(s):

Alan P. Sexton ◽

Volker Sorge ◽

Stephen M. Watt

Download Full-text

Confidence Measures in Recognizing Handwritten Mathematical Symbols

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-642-02614-0_36 ◽

2009 ◽

pp. 460-466 ◽

Cited By ~ 2

Author(s):

Oleg Golubitsky ◽

Stephen M. Watt

Keyword(s):

Confidence Measures ◽

Mathematical Symbols

Download Full-text

A Linear Grammar Approach to Mathematical Formula Recognition from PDF

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-642-02614-0_19 ◽

2009 ◽

pp. 201-216 ◽

Cited By ~ 14

Author(s):

Josef B. Baker ◽

Alan P. Sexton ◽

Volker Sorge

Keyword(s):

Mathematical Formula ◽

Mathematical Formula Recognition ◽

Formula Recognition

Download Full-text

A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-642-02614-0_32 ◽

2009 ◽

pp. 405-421

Author(s):

Lionel Elie Mamane ◽

Herman Geuvers ◽

James McKinna

Download Full-text

The Characteristics of Writing Environments for Mathematics: Behavioral Consequences and Implications for Software Design and Usability

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-642-02614-0_26 ◽

2009 ◽

pp. 310-324 ◽

Cited By ~ 5

Author(s):

Davood G. Gozli ◽

Marco Pollanen ◽

Michael Reynolds

Keyword(s):

Software Design ◽

Behavioral Consequences ◽

Writing Environments

Download Full-text

Exploring a Quantum Theory with Graph Rewriting and Computer Algebra

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-642-02614-0_12 ◽

2009 ◽

pp. 90-105 ◽

Cited By ~ 2

Author(s):

Aleks Kissinger

Keyword(s):

Quantum Theory ◽

Computer Algebra ◽

Graph Rewriting

Download Full-text

Math Handwriting Recognition in Windows 7 and Its Benefits

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-642-02614-0_6 ◽

2009 ◽

pp. 29-30 ◽

Cited By ~ 1

Author(s):

Marko Panic

Keyword(s):

Handwriting Recognition

Download Full-text

Lecture Notes in Computer Science - Intelligent Computer MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning

Spreadsheet Interaction with Frames: Exploring a Mathematical Practice

Integrating Web Services into Active Mathematical Documents

Reasoning with Generic Cases in the Arithmetic of Abstract Matrices

Confidence Measures in Recognizing Handwritten Mathematical Symbols

A Linear Grammar Approach to Mathematical Formula Recognition from PDF

A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$

The Characteristics of Writing Environments for Mathematics: Behavioral Consequences and Implications for Software Design and Usability

Exploring a Quantum Theory with Graph Rewriting and Computer Algebra

Math Handwriting Recognition in Windows 7 and Its Benefits

Lecture Notes in Computer Science - Intelligent Computer Mathematics
Latest Publications