Joint Mathematics Meetings AMS Special Session
Current as of Saturday, January 16, 2016 03:30:10
Joint Mathematics Meetings
Washington State Convention Center and the Sheraton Seattle Hotel, Seattle, WA
January 69, 2016 (Wednesday  Saturday)
Meeting #1116
Associate secretaries:
Michel L Lapidus, AMS lapidus@math.ucr.edu, lapidus@mathserv.ucr.edu
Gerard A. Venema, MAA venema@calvin.edu
AMS Special Session on Mathematical Information in the Digital Age of Science

Wednesday January 6, 2016, 8:00 a.m.10:50 a.m.
AMS Special Session on Mathematical Information in the Digital Age of Science, I
Room 603, Washington State Convention Center
Organizers:
Patrick Ion, University of Michigan, Ann Arbor pion@umich.edu
Olaf Teschke, zbMATH, Berlin
Stephen Watt, University of Western Ontario

8:00 a.m.
How should mathematical knowledge be organized?
W Timothy Gowers*, University of Cambridge, UK
(1116001711) 
9:00 a.m.
The User's Guide Project: giving experiential context to research papers.
Luke Wolcott*, Lawrence University
(1116002361) 
9:30 a.m.
Enhanced Guides to the Mathematical Literature.
Edward Dunne*, AMS / Mathematical Reviews
(1116002424) 
10:00 a.m.
Quantity and quality of mathematical information drawn from the literature: experiences from building and connecting EuDML and zbMATH.
Olaf Teschke*, FIZ Karlsruhe/zbMATH
(1116682153) 
10:30 a.m.
Evolving Math Web Standards from a Usability Perspective.
Peter Krautzberger*, MathJax Consortium & American Mathematical Society
Davide Cervone, MathJax Consortium & Union College, NY
Volker Sorge, MathJax Consortium & Birmingham University, UK
(1116001947)

8:00 a.m.

Wednesday January 6, 2016, 2:15 p.m.6:05 p.m.
AMS Special Session on Mathematical Information in the Digital Age of Science, II
Room 603, Washington State Convention Center
Organizers:
Patrick Ion, University of Michigan, Ann Arbor pion@umich.edu
Olaf Teschke, zbMATH, Berlin
Stephen Watt, University of Western Ontario

2:15 p.m.
Embracing the dislocations as well as the gifts of the internet.
David Mumford*, Brown University
(1116001751) 
3:15 p.m.
Ensuring access and reproducibility: where do we go from here?
Henry Cohn*, Microsoft Research New England
(1116001867) 
3:45 p.m.
A publishers view on various aspects of handling digital scientific information.
Mario Aigner*, Springer International Publishing
(1116002256) 
4:15 p.m.
Linked Data, Annotations and the Future of Mathematics Libraries.
Timothy W. Cole*, University of Illinois at UrbanaChampaign
(1116001884) 
4:45 p.m.
Mathematics publishing in an academic library context.
David Ruddy*, Cornell University
(1116001626) 
5:15 p.m.
The Search for Convex Pentagons that Tile the Plane: Challenges in Computation and Dissemination.
Casey Mann*, University of Washington Bothell
Jennifer McLoudMann, University of Washington Bothell
David Von Derau, University of Washington Bothell
(1116522200) 
5:45 p.m.
Nontextual information infrastructure for mathematics at the German National Library of Science and Technology.
Elena Demidova, Forschungszentrum L3S
Peter Löwe, German National Library of Science and Technology
Margret Plank, German National Library of Science and Technology
Mila Runnwerth*, German National Library of Science and Technology
(1116002385)

2:15 p.m.

Thursday January 7, 2016, 8:00 a.m.11:50 a.m.
AMS Special Session on Mathematical Information in the Digital Age of Science, III
Room 603, Washington State Convention Center
Organizers:
Patrick Ion, University of Michigan, Ann Arbor pion@umich.edu
Olaf Teschke, zbMATH, Berlin
Stephen Watt, University of Western Ontario

8:00 a.m.
Formal Proof.
Thomas C Hales*, University of Pittsburgh
(1116032373) 
9:00 a.m.
Theorema: A Tool for Formalizing Mathematics.
Wolfgang Windsteiger*, Research Institute for Symbolic Computation, Johannes Kepler University, A4040 Linz, Austria
Bruno Buchberger, Research Institute for Symbolic Computation, Johannes Kepler University, A4040 Linz, Austria
(1116682342) 
9:30 a.m.
From the nLab to the HoTT Book.
Michael Shulman*, University of San Diego
(1116001673) 
10:00 a.m.
30 Years of Digitizing Mathematical Knowledge with Maple.
Edgardo ChebTerrab*, Maplesoft
Laurent Bernardin, Maplesoft
(1116002335) 
10:30 a.m.
Orthogonal Polynomial Seeding for the Digital Repository of Mathematical Formulae.
Howard S. Cohl*, Applied and Computational Mathematics Division, National National Institute of Standards and Technology
Moritz Schubotz, Database Systems and Information Management Group, Technische Universität
Marjorie A. McClain, Applied and Computational Mathematics Division, National Institute of Standards and Technology
Bonita V. Saunders, Applied and Computational Mathematics Division, National Institute of Standards and Technology
Cherry Y. Zou, Poolesville High School
Azeem S. Mohammed, Poolesville High School
(1116681495) 
11:00 a.m.
Recent developments in computable mathematical data: Special functions, function spaces, and the semantic representation of mathematics using Mathematica and Wolfram$\vert$ Alpha.
Eric W Weisstein*, WolframAlpha
Michael Trott, WolframAlpha
(1116681176) 
11:30 a.m.
Assembling the World's Mathematical Knowledge.
Stephen M. Watt*, University of Waterloo
(1116682021)

8:00 a.m.