Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings > Software Engineering for Mathematics
Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings |
Jacques Carette; Lucas Dixon; Claudio Sacerdoti Coen; Stephen Watt
Springer Berlin Heidelberg
Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings
Software Engineering for Mathematics
Authors

Georges Gonthier

ARI Id

1664713671563_2873473

Access

Not Available Free

Pages

27-27

DOI

10.1007/978-3-642-02614-0_4

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-642-02614-0_4

Table of Contents of Book
Showing 1 to 20 of 42 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Computational Logic and Continuous Mathematics, Pure and Applied
Rob Arthan
1-1
Math-Literate Computers
Dorothea Blostein
2-13
Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning
Jacques Calmet
14-26
Software Engineering for Mathematics
Georges Gonthier
27-27
Some Traditional Mathematical Knowledge Management
Patrick D. F. Ion
28-28
Math Handwriting Recognition in Windows 7 and Its Benefits
Marko Panic
29-30
Assembling the Digital Mathematics Library
David Ruddy
31-31
CAMAL 40 Years on – Is Small Still Beautiful?
John Fitch
32-44
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations
Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; M. Magdalena Fernández-Lebrón
45-58
Combining Coq and Gappa for Certifying Floating-Point Programs
Sylvie Boldo; Jean-Christophe Filliâtre; Guillaume Melquiond
59-74
A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy
Russell Bradford; James H. Davenport; Christopher J. Sangwin
75-89
Exploring a Quantum Theory with Graph Rewriting and Computer Algebra
Aleks Kissinger
90-105
ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System
Francisco-Jesus Martín-Mateos; Julio Rubio; Jose-Luis Ruiz-Reina
106-121
Combined Decision Techniques for the Existential Theory of the Reals
Grant Olney Passmore; Paul B. Jackson
122-137
Reasoning with Generic Cases in the Arithmetic of Abstract Matrices
Alan P. Sexton; Volker Sorge; Stephen M. Watt
138-153
Invariant Properties of Third-Order Non-hyperbolic Linear Partial Differential Operators
Ekaterina Shemyakova
154-169
A Groupoid of Isomorphic Data Transformations
Paul Tarau
170-185
Algorithms for the Functional Decomposition of Laurent Polynomials
Stephen M. Watt
186-200
A Linear Grammar Approach to Mathematical Formula Recognition from PDF
Josef B. Baker; Alan P. Sexton; Volker Sorge
201-216
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 42 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings