All in the XL Family: Theory and Practice Bo-Yin Yang1,
and Jiun-Ming Chen2 1 Department of Mathematics, Tamkang University, Tamsui, Taiwan

Source URL: precision.moscito.org

• Mathematics
• Algebra
• Monomial
• Generating function
• Equation solving
• Grbner basis

SMT Beyond DPLL(T): A New Approach to Theory Solvers and Theory Combination by Dejan Jovanovi´c

Source URL: csl.sri.com

• Theoretical computer science
• Mathematical logic
• Mathematics
• Formal methods
• Logic in computer science
• Computability theory
• Electronic design automation
• NP-complete problems
• Satisfiability modulo theories
• Solver
• Entscheidungsproblem
• Decidability

Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener

Source URL: www.logic.at

• Mathematical logic
• Logic
• Mathematics
• Axioms of set theory
• 1Q
• Axiom

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: www.cl.cam.ac.uk

Theory Learning and Logical Rule Induction with Neural Theorem Proving Andres Campero 1 Aldo Pareja 2 Tim Klinger 2 Josh Tenenbaum 1 Sebastian Riedel 3 1. Introduction A hallmark of human cognition is the ability to con

Source URL: uclmr.github.io

• Logic
• Reasoning
• Inductive reasoning
• Predicate logic
• Mathematical logic
• Predicate
• Propositional calculus
• Inference
• Universal quantification
• Axiom

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1058) K -THEORY AND ACTIONS ON EUCLIDEAN RETRACTS Arthur Bartels

Source URL: eta.impa.br

• Topology
• Geometry
• Mathematics
• Surgery theory
• Conjectures
• Geometric topology
• Geometric group theory
• K-theory
• FarrellJones conjecture
• Amenable group
• BaumConnes conjecture
• Asymptotic dimension

Lecture 29, Thurs May 4: Experimental Realizations of QC In this course, we’ve had 28 lectures about the theory of quantum computing and information. So it behooves us to take one lecture to survey the current state of

Source URL: www.scottaaronson.com

• Quantum information science
• Theoretical computer science
• Quantum mechanics
• Quantum computing
• Superconducting quantum computing
• Qubit
• Quantum simulator
• Quantum teleportation
• Quantum algorithm
• Trapped ion quantum computer
• Quantum supremacy
• D-Wave Systems

Cohomological field theory calculations Rahul Pandharipande February 2018 Abstract Cohomological field theories (CohFTs) were defined in the mid 1990s by Kontsevich and Manin to capture the formal properties of the virtu

Source URL: eta.impa.br

• Geometry
• Algebra
• Abstract algebra
• Moduli theory
• String theory
• Symplectic topology
• Algebraic geometry
• GromovWitten invariant
• Quantum cohomology
• Moduli of algebraic curves
• Stable map
• Orbifold

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: isabelle.in.tum.de

Replications of implicit theory of mind tasks with varying representational demands

Source URL: saxelab.mit.edu

• Cognitive science
• Neuropsychology
• Theory of mind
• Cognition
• Memory
• Child development