Proof technology in mathematics research and teaching. (2019)

• Record Type: Book
• Further Information: Note: Edited by Gila Hanna, David A. Reid, Michael de Villiers, editors.
• Editors: Hanna, G (Gila), 1934-; Reid, David A (David Alexander), 1963-; De Villiers, Michael D
• Contents: Proposed Table of Contents I Challenges and promises of proof technology 1. Gila, Michael, and David: Intro 2. Freek Wiedijk: Machine proving 3. Paolo Oliva: Proof Theory -- proof translations and interpretations 4. Alison Pease: A systematic automated realisation of Lakatos' theory 5. Maria Paola Bonacina: Automated reasoning II Teaching proving with technology – high-school and undergraduate levels 1. Mikio Miyazaki: Web-based learning – proving in geometry (math ed) 2. John Olive: 3. Tina Rapke and Kitty Yan: Using cut-the-knot site to teach proof 4. Keith Jones et al. 5. A. Mariotti: 6. III Computer-assisted proof 1. Ulrich Kortenkamp or someone who is an expert with Cinderellla 2. Zoltán Kovács: Theorem proving with Geogebra (math ed) 3. Heinz Schumann: ? 4. Nicolas Balacheff: Something about his lab work relevant to proving 5. Chantal Keller: 6. IV Automated proof and Human-machine collaboration on proof Stephanie Dick: History of automated proof 2. Jeremy Avigad: Machine proving; artificial intelligence; state of the art 3. Mateja Jamnik: Inductive theorem proving, heuristic guidance, proof planning (AI) 4. Ursula Martin: Massive mathematical collaboration: producing novel proofs 5. Frédéric Blanqui: 6. More?.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2019
• Extent: 1 online resource (viii, 379 pages), illustrations (some color)
• Subjects: 511.3/6; Proof theory -- Study and teaching; Electronic books; Electronic books
• Languages: English
• ISBNs: 9783030284831; 3030284832
• Related ISBNs: 9783030284824
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed October 10, 2019).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.