8. MKM / 16. Calculemus 2009:
Grand Bend, Canada Jacques Carette , Lucas Dixon , Claudio Sacerdoti Coen , Stephen M. Watt (Eds.):
Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings.
Lecture Notes in Computer Science 5625 Springer 2009, ISBN 978-3-642-02613-3 Joint Invited Talks
export record as
dblp key:
Rob Arthan :
Computational Logic and Continuous Mathematics, Pure and Applied.
1
export record as
dblp key:
export record as
dblp key:
Jacques Calmet :
Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning.
14-26
export record as
dblp key:
Calculemus Talks
export record as
dblp key:
export record as
dblp key:
Marko Panic :
Math Handwriting Recognition in Windows 7 and Its Benefits.
29-30
export record as
dblp key:
David Ruddy :
Assembling the Digital Mathematics Library.
31
export record as
dblp key:
John Fitch :
CAMAL 40 Years on - Is Small Still Beautiful?.
32-44
export record as
dblp key:
conf/mkm/Aranda-CorralBF09 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Aleks Kissinger :
Exploring a Quantum Theory with Graph Rewriting and Computer Algebra.
90-105
export record as
dblp key:
conf/mkm/Martin-MateosRR09 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Ekaterina Shemyakova :
Invariant Properties of Third-Order Non-hyperbolic Linear Partial Differential Operators.
154-169
export record as
dblp key:
Paul Tarau :
A Groupoid of Isomorphic Data Transformations.
170-185
export record as
dblp key:
Stephen M. Watt :
Algorithms for the Functional Decomposition of Laurent Polynomials.
186-200
MKM Talks
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Joseph B. Collins :
OpenMath Content Dictionaries for SI Quantities and Units.
247-262
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/mkm/JandhyalaKNPSS09 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
