Conjecture

Results: 1038



#Item
501Permutations / Mathematical analysis / Partial differential equation / Mathematics / ELSV formula / Moduli theory

A SHORT PROOF OF THE λg -CONJECTURE WITHOUT GROMOV-WITTEN THEORY: HURWITZ THEORY AND THE MODULI OF CURVES I. P. GOULDEN, D. M. JACKSON AND R. VAKIL Abstract. We give a short and direct proof of Getzler and Pandharipande

Add to Reading List

Source URL: math.stanford.edu

Language: English - Date: 2008-08-17 21:54:01
502Andrews–Curtis conjecture / Nielsen transformation / Counterexample / Automated theorem proving / Conjectures / Mathematics / Combinatorial group theory

First-order theorem proving in the exploration of Andrews-Curtis conjecture Alexei Lisitsa The University of Liverpool ABSTRACT

Add to Reading List

Source URL: tinytocs.org

Language: English - Date: 2013-04-02 18:41:25
503Automated theorem proving / Mathematical logic / Logical consequence / Philosophical logic / Mathematical proof / Entailment / Sequent calculus / Conjecture / Mathematical induction / Logic / Mathematics / Proof theory

Extending the proof methods and critics of a proof planner Daniel Raggi NI VER

Add to Reading List

Source URL: www.ai4fm.org

Language: English - Date: 2013-10-30 13:19:50
504Sturmian sequence / Complexity function / Sequence / Mathematics / Combinatorics on words / Sturmian word

Some examples and counter-examples about the S-adic Conjecture

Add to Reading List

Source URL: www.cant.ulg.ac.be

Language: English - Date: 2011-06-06 00:57:00
505Complex analysis / Geometric group theory / Hyperbolic group / Metric geometry / Quasiconformal mapping / James W. Cannon / Orbifold / Geometry / Abstract algebra / Mathematics

Cannon’s conjecture, finite subdivision rules, and rational maps J. Cannon1 W. Floyd2

Add to Reading List

Source URL: www.math.vt.edu

Language: English - Date: 2007-02-25 20:34:20
506Number / Integer sequences / Analytic number theory / Additive number theory / Mathematics / Group theory / Pierre de Fermat

Number Theory Worksheet 3–Enhancing Thinking Skills Using BYOD Testing Fermat’s Conjecture using Mathway on BYOD Steve and Reta read about a famous French mathematician named Fermat. One of Fermat’s favourite conje

Add to Reading List

Source URL: www.aucklandmaths.org.nz

Language: English - Date: 2014-04-10 05:36:14
507Conjectures / Transcendental numbers / Field theory / Algebraic number theory / Riemann hypothesis / Prime number / Algebraic integer / Abc conjecture / P-adic number / Mathematics / Abstract algebra / Number theory

arXiv:1008.1274v1 [math.NT] 6 Aug[removed]ON DIVISORS OF LUCAS AND LEHMER NUMBERS C.L. STEWART Abstract. Let un be the n-th term of a Lucas sequence or a Lehmer sequence. In this article we shall establish an estimate from

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2010-08-09 20:22:33
508Geometric topology / Differential topology / Differential geometry / 3-manifolds / Poincaré conjecture / Grigori Perelman / Manifold Destiny / Henri Poincaré / Manifold / Topology / Mathematics / Geometry

VINCULUM VOLUME 44 NUMBER 1 MARCH[removed]MathSnacks by Marty Ross, Poincaré and Perelman: Burkard Polster,

Add to Reading List

Source URL: www.qedcat.com

Language: English - Date: 2009-12-04 22:22:09
509Graph coloring / Clique / Graph / Connectivity / NP-complete problems / Graph operations / Hadwiger conjecture / Graph theory / Mathematics / Theoretical computer science

Some graph theory applications to communications networks Keith Briggs

Add to Reading List

Source URL: keithbriggs.info

Language: English - Date: 2006-10-27 09:08:56
510NP-complete problems / Clique / Matching / Vertex cover / Tree / Circuit / Aanderaa–Karp–Rosenberg conjecture / Path decomposition / Graph theory / Theoretical computer science / Mathematics

SIAM J. Comput-98 DISPROVING THE SINGLE LEVEL CONJECTURE ∗

Add to Reading List

Source URL: lovelace.thi.informatik.uni-frankfurt.de

Language: English - Date: 2013-04-06 16:29:26
UPDATE