What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

Source URL: mirror.clarkson.edu

TWO OR THREE THINGS I KNOW ABOUT ABELIAN VARIETIES OLIVIER DEBARRE Abstract. We discuss, mostly without proofs, classical facts about abelian varieties (proper algebraic groups defined over a field). The general theory i

Source URL: www.math.ens.fr

• Algebra
• Abstract algebra
• Algebraic geometry
• Niels Henrik Abel
• Algebraic varieties
• Homological algebra
• Abelian varieties
• Projective variety
• Divisor
• Picard group
• Sheaf
• Ample line bundle

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1084) KNOT CONTACT HOMOLOGY AND OPEN GROMOV–WITTEN THEORY Tobias Ekholm

Source URL: eta.impa.br

• Topology
• Differential topology
• Theoretical physics
• Symplectic topology
• Homology theory
• Morse theory
• Contact geometry
• Quantum field theory
• ChernSimons theory
• Floer homology
• Relative contact homology

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–98) MODEL THEORY AND ULTRAPRODUCTS Maryanthe Malliaris

Source URL: eta.impa.br

• Model theory
• Mathematics
• Mathematical logic
• Metalogic
• Non-standard analysis
• Ultraproduct
• Maryanthe Malliaris
• Ultrafilter
• Saturated model
• O-minimal theory
• Type
• Finite set

INTRODUCTION TO MORI THEORY Cours de M2 – Universit´e Paris Diderot Olivier Debarre March 11, 2016

Source URL: www.math.ens.fr

• Geometry
• Algebraic geometry
• Algebra
• Cone of curves
• Projective variety
• Divisor
• Fano variety
• Adjunction formula
• Minimal model program
• Birational geometry
• Nef line bundle
• Ample line bundle

Lecture 2, Thurs Jan 19: Probability Theory and QM Feynman said that everything about quantum mechanics could be encapsulated in the ​Double Slit Experiment. In the double-slit experiment, you shoot photons one at a ti

Source URL: www.scottaaronson.com

• Physics
• Quantum mechanics
• Quantum superposition
• Double-slit experiment
• Probability distribution
• Photon
• Introduction to quantum mechanics
• Electron
• Quantum decoherence
• Quantum computing
• Probability amplitude
• Negative probability

A Write-Based Solver for SAT Modulo the Theory of Arrays Miquel Bofill Universitat de Girona Robert Nieuwenhuis

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Mathematics
• Constraint programming
• Satisfiability modulo theories
• Boolean satisfiability problem
• Array data type
• Literal
• Matrix

representation theory and geometry Geordie Williamson University of Sydney http://www.maths.usyd.edu.au/u/geordie/ICM.pdf representations

Source URL: www.maths.usyd.edu.au

• Abstract algebra
• Algebra
• Group theory
• Representation theory
• Symmetric group
• Group representation
• Isomorphism
• Galois module

Model Based Theory Combination SMT 2007 Leonardo de Moura and Nikolaj Bjørner {leonardo, nbjorner}@microsoft.com. Microsoft Research

Source URL: www.lsi.upc.edu

• Logic
• Mathematical logic
• Theoretical computer science
• Model theory
• Logic in computer science
• Logical truth
• Philosophy of logic
• Satisfiability
• Convex function
• Universal quantification
• Boolean satisfiability problem

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–44) TOWARDS A THEORY OF DEFINABLE SETS Stephen Jackson

Source URL: eta.impa.br

• Mathematical logic
• Set theory
• Descriptive set theory
• Determinacy
• Large cardinals
• Axioms of set theory
• Axiom of determinacy
• L
• ZermeloFraenkel set theory
• Axiom of projective determinacy
• Wadge hierarchy
• Axiom of choice