Fundamenta Informaticae–19 1 IOS Press

Source URL: www.cs.bu.edu

• Logic programming
• Type theory
• Dependently typed programming
• Programming language theory
• Automated theorem proving
• Higher-order abstract syntax
• Lambda calculus
• Substitution
• Standard ML
• Env
• Normalisation by evaluation

DISTRIBUTION OF PERIODIC TORUS ORBITS AND DUKE’S THEOREM FOR CUBIC FIELDS. M. EINSIEDLER, E. LINDENSTRAUSS, PH. MICHEL AND A. VENKATESH Abstract. We study periodic torus orbits on space of lattices. Using the action of

Source URL: www.ma.huji.ac.il

• Ergodic theory
• Diophantine approximation
• Dynamical systems
• Lie groups
• Algebraic groups
• Equidistribution theorem
• Equidistributed sequence
• Lattice
• Differential geometry of surfaces
• Torus

On interpolation in decision procedures⋆ Maria Paola Bonacina and Moa Johansson Dipartimento di Informatica, Universit` a degli Studi di Verona Strada Le Grazie 15, IVerona, Italy

Source URL: www.cse.chalmers.se

• Automated theorem proving
• Logic in computer science
• Boolean algebra
• Electronic design automation
• Formal methods
• Craig interpolation
• Boolean satisfiability problem
• Unit propagation
• Resolution
• Interpolation
• Propositional calculus
• Satisfiability modulo theories

317 Documenta Math. Cohomological Approaches to SK1 and SK2 of Central Simple Algebras

Source URL: www.math.uiuc.edu

• Conjectures
• Cohomology theories
• Homological algebra
• Algebraic geometry
• K-theory
• Norm residue isomorphism theorem
• Milnor conjecture
• Motivic cohomology
• tale cohomology
• Brauer group
• Cohomology
• Motive

Indextriangle, 190, triangle, theorem, 96, triangle, 190, 233

Source URL: www.math.washington.edu

• Elementary geometry
• Triangle geometry
• Quadrilaterals
• Polygons
• Triangles
• Absolute geometry
• Triangle
• Hyperbolic geometry
• Angle
• Perpendicular
• Rectangle
• Euclidean geometry

PYTHAGOREAN THEOREM Find the length of the side.

Source URL: math4children.com

Noname manuscript No. (will be inserted by the editor) Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette · Sascha Böhme · Lawrence C. Paulson

Source URL: people.mpi-inf.mpg.de

• Logic in computer science
• Automated theorem proving
• Formal methods
• Theoretical computer science
• Constraint programming
• Satisfiability modulo theories
• Z3
• Isabelle
• Formal verification
• Proof assistant
• Automated reasoning
• E theorem prover

UNSTABLE HOMOTOPY THEORY GRADUATE STUDENT SEMINAR SUMMER TERM 2012 Irakli Patchkoria The objective of the seminar is to discuss some structural and computational results from

Source URL: www.math.uni-bonn.de

• Homotopy theory
• Homotopy groups of spheres
• Freudenthal suspension theorem
• EHP spectral sequence
• Homotopy group
• Hurewicz theorem
• Stable homotopy theory
• Spectral sequence
• Algebraic topology
• CW complex

SIAM J. MATRIX ANAL. APPL. Vol. 27, No. 1, pp. 61–71 c 2005 Society for Industrial and Applied Mathematics 

Source URL: users.cms.caltech.edu

• Matrices
• Matrix theory
• Linear algebra
• Mathematical physics
• Order theory
• Hermitian matrix
• Eigenvalues and eigenvectors
• Matrix
• Symmetric matrix
• SchurHorn theorem
• Tridiagonal matrix
• Orthogonal matrix

CHECKLIST INFORMATION FOR PROPOSED RESOLUTION SUBMITTED BY:__________________________________________________ (School Constituent, CSNA Board, CSNA Committee) AUTHOR(s):___________________________________________________

Source URL: cnsa.memberclicks.net

• Automated theorem proving
• Resolution