˝ FOR OPRL THE KILLIP–SIMON THEOREM: SZEGO 183 Notice that our proof of Theoremalso provides an independent proof of

Source URL: math.caltech.edu

Low-density parity-check codes on Markov channels Edward A. Ratzer Cavendish Laboratory, Madingley Road, Cambridge CB3 0HE Phone: +Email:

Source URL: www.inference.phy.cam.ac.uk

• Error detection and correction
• Information theory
• Coding theory
• Discrete mathematics
• Mathematics
• Information
• Low-density parity-check code
• Noisy-channel coding theorem
• Forward error correction
• Channel
• Convolutional code
• Markov chain

Electronic Journal of Differential Equations, Monograph 09, 2009, (90 pages). ISSN: URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) THE CONTRACTION MAPPING

Source URL: ejde.math.unt.edu

• Mathematics
• Mathematical analysis
• Geometry
• Metric geometry
• Banach space
• Complete metric space
• Metric space
• Banach fixed-point theorem
• Normed vector space
• Vector space
• Contraction mapping
• Hilbert space

Consequence relations and admissible rules Rosalie Iemhoff∗ Department of Philosophy Utrecht University, The Netherlands June 10, 2016

Source URL: www.phil.uu.nl

• Logic
• Mathematical logic
• Proof theory
• Admissible rule
• Natural deduction
• Sequent
• First-order logic
• Propositional calculus
• Substructural logic
• Rule of inference
• Intuitionistic logic
• Theorem

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proving Termination by Dependency Pairs and Inductive Theorem Proving Carsten Fuhs · J¨

Source URL: www.dcs.bbk.ac.uk

• Theoretical computer science
• Logic
• Mathematical logic
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Nqthm
• Rewrite order
• Symbol

Microsoft Word - Psalm 22.doc

Source URL: dl.dropboxusercontent.com

• G
• Pseudorandom generator theorem
• Textual variants in the New Testament

Logical Methods in Computer Science Vol. 11(3:7)2015, pp. 1–33 www.lmcs-online.org Submitted May 17, 2014 Published Sep. 3, 2015

Source URL: www.lix.polytechnique.fr

• Logic
• Mathematical logic
• Proof theory
• Abstraction
• Non-classical logic
• Logic in computer science
• Philosophical logic
• Model theory
• Sequent
• CurryHoward correspondence
• Intuitionistic logic
• Cut-elimination theorem

Types in mathematical proofs Georges Gonthier Legacy •  Interactive theorem proving

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

• Mathematics
• Algebra
• Linear algebra
• Matrix theory
• Determinant
• Summation
• Leibniz formula for determinants
• Permanent

The Weierstrass subgroup of a curve has maximal rank. Martine Girard, David R. Kohel and Christophe Ritzenthaler ∗†‡ Abstract We show that the Weierstrass points of the generic curve of genus g over an algebraical

Source URL: iml.univ-mrs.fr

• Algebraic geometry
• Mathematical analysis
• Algebra
• Algebraic curves
• Elliptic curve
• Weierstrass point
• Hyperelliptic curve
• Moduli space
• Kummer surface
• StoneWeierstrass theorem