Conjecture - PDFSEARCH.IO - Document Search Engine

Conjecture
Results: 1038

#	Item
211	Scheme-based Definition and Conjecture Synthesis for Inductive Theories Omar Montano, Roy McCasland, Lucas Dixon, Alan Bundy School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Edinburg Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-11 12:19:03 Artificial intelligence Automated theorem proving Alan Bundy Automated reasoning Theorem Theory Informatics Mathematics Mathematical proof Scheme
212	615 Documenta Math. Kida’s Formula and Congruences To John Coates, for his 60th birthday Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2006-11-21 15:14:31 Algebraic number theory Galois theory Class field theory Field theory Cyclotomic fields Algebraic number field Main conjecture of Iwasawa theory Selmer group Iwasawa theory Galois module Splitting of prime ideals in Galois extensions Local class field theory
213	PERMANENT V. DETERMINANT: AN EXPONENTIAL LOWER BOUND ASSUMING SYMMETRY AND A POTENTIAL PATH TOWARDS VALIANT’S CONJECTURE J.M. LANDSBERG AND NICOLAS RESSAYRE Abstract. We initiate a study of determinantal representation Add to Reading List Source URL: www.math.tamu.edu Language: English - Date: 2015-08-24 12:48:20 Linear algebra Symmetry Lie groups Homogeneous polynomials Matrix theory Determinant Representation theory Matrix Special linear group
214	SERRE’S CONJECTURE OVER IMAGINARY QUADRATIC FIELDS By Mehmet Haluk S ¸ eng¨ Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2009-01-20 05:56:15 Algebraic number theory Conjectures Galois theory Modular forms Analytic number theory Galois module Jean-Pierre Serre Hecke operator Automorphic form Algebraic number field variste Galois RamanujanPetersson conjecture
215	Research Seminar of the GRK 1150 Homotopy and Cohomology (WS): The J-homomorphism and the Adams conjecture Organizers: Johannes Ebert; Gerald Gaudens Talk 1. (G´erald Gaudens) Introduction to K-theory and over Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2008-11-17 07:59:04 Homotopy theory Algebraic topology K-theory Algebraic geometry Cohomology J-homomorphism Adams operation Cohomology theories Topological K-theory Michael Atiyah
216	Comment. Math. Helvetici + Birkh~iuser Verlag, Basel Counterexamples to the Kneser conjecture in dimension four Add to Reading List Source URL: people.mpim-bonn.mpg.de Language: English - Date: 2012-08-01 06:52:27 Surgery theory Algebraic topology Cobordism Differential topology Diffeomorphism Fundamental group Differentiable manifold Cohomology
217	List of publications of Wolfgang L¨ uck Date: July 22, 2016 Comments: • All papers can be downloaded from my home page http://wwwmath.uni-muenster.de/reine/inst/lueck/homepages/ Add to Reading List Source URL: 131.220.77.52 Language: English - Date: 2016-07-22 11:37:21 Surgery theory Conjectures Geometric topology K-theory Differential geometry Assembly map Borel conjecture FarrellJones conjecture Topology Manifold Analytic torsion Noncommutative geometry
218	1 Documenta Math. Degenerate Cohomological Hall Algebra and Quantized Donaldson-Thomas Invariants for Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2012-02-04 16:47:26 Operator theory Main conjecture of Iwasawa theory Von Neumann algebra -ring Differential forms Spectral theory Differential forms on a Riemann surface Spectral theory of ordinary differential equations
219	1368_19-4_# Add to Reading List Source URL: www.mast.queensu.ca Language: English - Date: 2013-08-08 16:24:48 Conjectures Analytic number theory Mathematical series Bernhard Riemann Number theory Elliptic curve Abc conjecture Dirichlet series Series Riemann hypothesis Prime number theorem Wieferich prime
220	Applications of a Global Workspace Framework to Mathematical Discovery John Charnley and Simon Colton Combined Reasoning Group, Department of Computing Imperial College, United Kingdom Abstract Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-08-18 04:53:21 Statements Non-associative algebra Formal methods Group theory Quasigroup Conjecture Mathematical proof Theorem Automated theorem proving Prime number Theory Concept learning

UPDATE