Book Chapter
Proof in C17 Algebra
Brendan Larvor
Logic, Epistemology, and the Unity of Science, 1, Volume 5, Perspectives On Mathematical Practices, Part II, Pages 119-133
Book Chapter
Individual Projects
2004, Managing Mathematical Projects — with Success!, Pages 27-71
Book Chapter
The Logic of Geometric Proof
Ron Rood
Lecture Notes in Computer Science, 2006, Volume 4045, Diagrammatic Representation and Inference, Pages 221-225
Book Chapter
A new method for asymptotic completeness
Volker Enss
Lecture Notes in Physics, 1980, Volume 116, Mathematical Problems in Theoretical Physics, Pages 45-48
Book Chapter
Confluence of Untyped Lambda Calculus via Simple Types
Silvia Ghilezan and Viktor Kunčak
Lecture Notes in Computer Science, 2001, Volume 2202, Theoretical Computer Science, Pages 38-49
Book Chapter
Some Techniques in Homotopy Theory
Graduate Texts in Mathematics, 1, Volume 243, Topological Methods in Group Theory, 1, Pages 101-123
Book Chapter
Triangles with Two Equal Angle Bisectors
O. Bottema and Reinie Erne
2008, Topics in Elementary Geometry, Pages 1-3
Book Chapter
The Geometry of Numbers
W. A. Coppel
Universitext, 2009, Number Theory, Pages 327-362
Book Chapter
Confluence by Decreasing Diagrams
Converted
Vincent van Oostrom
Lecture Notes in Computer Science, 2008, Volume 5117, Rewriting Techniques and Applications, Pages 306-320
Book Chapter
Constructing a Tetrahedron with Prescribed Heights and Widths
Lu Yang and Zhenbing Zeng
Lecture Notes in Computer Science, 2007, Volume 4869, Automated Deduction in Geometry, Pages 203-211