On the "Section Conjecture" in anabelian geometry by Koenigsmann, J

“…It disproves both conjectures for the field of real or p-adic algebraic numbers. …”

Graphical calculi and their conjecture synthesis by Miller-Bakewell, H

“…The initial aim for this was Conjecture Synthesis; the algorithmic process of creating theorems. …”

On the KŁR conjecture in random graphs by Conlon, D, Gowers, W, Samotij, W, Schacht, M

“…We prove a variant of this conjecture which is sufficient for most known applications to random graphs. …”

Alperin's conjecture for algebraic groups by Roehrle, G, Rouquier, R

“…We prove analogues for reductive algebraic groups of some results for finite groups due to Knörr and Robinson from 'Some remarks on a conjecture of Alperin', J. London Math. Soc (2) 39 (1989), 48-60, which play a central rôle in their reformulation of Alperin's conjecture for finite groups. © 2007. …”

Proving the Herman-Protocol Conjecture by Bruna, M, Grigore, R, Kiefer, S, Ouaknine, J, Worrell, J

“…In this paper, we prove McIver and Morgan's conjecture and establish that h = 4/27 is indeed optimal.…”

On the Skolem problem and the Skolem conjecture by Lipton, RJ, Luca, L, Nieuwveld, J, Ouaknine, J, Purser, D, Worrell, J

“…</p> <p>Second, assuming the Skolem Conjecture (a central hypothesis in Diophantine analysis, also known as the Exponential Local-Global Principle), we show that the Skolem Problem for LRS of order 5 is decidable, and exhibit a concrete procedure for solving it.…”

On a conjecture of Cox and Katz by Szendroi, B

Proof of the Kalai-Meshulam conjecture by Chudnovsky, M, Scott, A, Seymour, P, Spirkl, S

“…We prove this conjecture.</p>…”

LERF and the Lubotzky-Sarnak conjecture by Lackenby, M, Long, D, Reid, A

“…This is used to show that, if in addition the fundamental group of the manifold is LERF, then it satisfies the Lubotzky-Sarnak conjecture.…”

Social change : explorations, diagnoses, and conjectures / by Zollschan, George K., Hirsch, Walter

Proof, logic and conjecture : the mathematician's toolbox / by 267708 Wolf, Robert S

Nonlinear multiple regression : conjectures and considerations / by 307430 Donnelly, William A.

Conjectures and refutations : the growth of scientific knowledge / by Popper, Karl Raimund, Sir, 1902-

Conjecture and proof : an introduction to mathematical thinking / by 487474 Schwartz, Diane Driscoll

Facts, conjectures, and improvements for simulated annealing / by Salamon, Peter, 1950-, Sibani, Paolo, 1954-, Frost, Richard, 1955-

A Reduction of the Graph Reconstruction Conjecture by Monikandan S., Balakumar J.

“…A graph is said to be reconstructible if it is determined up to isomor- phism from the collection of all its one-vertex deleted unlabeled subgraphs. Reconstruction Conjecture (RC) asserts that all graphs on at least three vertices are reconstructible. …”
Get full text

A FORMAL PROOF OF THE KEPLER CONJECTURE by THOMAS HALES, MARK ADAMS, GERTRUD BAUER, TAT DAT DANG, JOHN HARRISON, LE TRUONG HOANG, CEZARY KALISZYK, VICTOR MAGRON, SEAN MCLAUGHLIN, TAT THANG NGUYEN, QUANG TRUONG NGUYEN, TOBIAS NIPKOW, STEVEN OBUA, JOSEPH PLESO, JASON RUTE, ALEXEY SOLOVYEV, THI HOAI AN TA, NAM TRUNG TRAN, THI DIEP TRIEU, JOSEF URBAN, KY VU, ROLAND ZUMKELLER

“…This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. …”
Get full text

Alperin weight conjecture and related developments by Zhicheng Feng, Jiping Zhang

Subjects: “…Alperin weight conjecture…”
Get full text

Empowering Polynomial Theory Conjectures with Spreadsheets by Chris Petersdinh, Jonah Beaumont

“…These activities were designed to use a constructivist approach involving student experimentation and conjectures.…”
Get full text

The equivalence of several conjectures on independence of $\ell$ by Remy van Dobben de Bruyn

“…We consider several conjectures on the independence of $\ell$ of the \'etale cohomology of (singular, open) varieties over $\bar{\mathbf F}_p$. …”
Get full text