2010/01/01 by M. B. Brown, Brown, Malcolm B., Erich Kaltofen +5
Computer Science · Mathematics · #Logic, programming, and type systems #Mathematical and Computational Methods #Polynomial and algebraic computation #Verification methods #computer algebra #computer-assisted proofs
paper · doi:10.4230/dagsemproc.09471.2
openalex publication_date 2010/01/01 · openalex created_date 2016/07/22 · openalex updated_date 2026/07/28
From November 15-20, 2009, the Dagstuhl seminar on "Computer-assisted proofs - tools, methods and applications" continued a series of previous successful seminars. Participants from 10 different countries presented recent results in verification methods, computer algebra, and other computer-assisted-proof related areas. We had lively talks and discussions, during the regular times for talks, during meals and afterwards. In the following links to abstracts and/or the presentation are given were applicable.