Ballot theorems, old and new L. Addario-Berry∗ B.A. Reed† January 9, 2007

Source URL: cgm.cs.mcgill.ca

Improved Direct Product Theorems for Randomized Query Complexity Andrew Drucker Sept. 13, 2010

Source URL: conference.itcs.tsinghua.edu.cn

IsaCoSy: Synthesis of Inductive Theorems Moa Johansson, Lucas Dixon, and Alan Bundy University of Edinburgh Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. {moa.johansson, l.dixon, a.bundy}@ed.ac.uk

Source URL: dream.inf.ed.ac.uk

• Automated theorem proving
• Logic
• Mathematics
• Mathematical logic
• Rippling
• Theorem
• Mathematical proof
• Isabelle
• Proof assistant

Function Extraction (FX) Research for Computation of Software Behavior: 2010 Developmentand Application of Semantic Reduction Theorems for Behavior Analysis

Source URL: daly.axiom-developer.org

arXiv:1208.5073v2 [math.CO] 27 AugIncidence Theorems and Their Applications Zeev Dvir1 1

Source URL: arxiv.org

Fundamenta Informaticae–20 DOIFIIOS Press Proving Theorems by Program Transformation Fabio Fioravanti∗

Source URL: www.sci.unich.it

A Primer of Commutative Algebra James S. Milne May 30, 2009, v2.10 Abstract These notes prove the basic theorems in commutative algebra required for algebraic geometry and algebraic groups. They assume only a knowledge o

Source URL: jmilne.org

No-go theorems for functorial localic spectra of noncommutative rings Benno van den Berg, Universiteit Utrecht and Chris Heunen, University of Oxford QPL 2011, Nijmegen

Source URL: qpl.science.ru.nl

MULTIPLICATIVE ERGODIC THEOREMS AND APPLICATIONS ANTHONY QUAS Lecture notes for a minicourse given at the Universidade de S˜ ao Paulo

Source URL: www.math.uvic.ca

On support theorems for the X-Ray transform with incomplete data Aleksander Denisiuk University of Warmia and Mazury in Olsztyn, Poland Irvine, June 9, 2012

Source URL: www.math.purdue.edu