Experimental Mathematics, Volume 31, Issue 2 (2022)

Browse this journal
Sample our Mathematics & Statistics journals, sign in here to start your FREE access for 14 days

Experimental Mathematics, Volume 31, Issue 2 (2022)

See all volumes and issues
Vol 33, 2024 Vol 32, 2023 Volume 31, 2022 Vol 30, 2021 Vol 29, 2020 Vol 28, 2019 Vol 27, 2018 Vol 26, 2017 Vol 25, 2016 Vol 24, 2015 Vol 23, 2014 Vol 22, 2013 Vol 21, 2012 Vol 20, 2011 Vol 19, 2010 Vol 18, 2009 Vol 17, 2008 Vol 16, 2007 Vol 15, 2006 Vol 14, 2005 Vol 13, 2004 Vol 12, 2003 Vol 11, 2002 Vol 10, 2001 Vol 9, 2000 Vol 8, 1999 Vol 7, 1998 Vol 6, 1997 Vol 5, 1996 Vol 4, 1995 Vol 3, 1994 Vol 2, 1993 Vol 1, 1992
Download citations Download PDFs Download issue

Special Issue Interactive Theorem Provers

Introduction
Foreword to: Special Issue on Interactive Theorem Provers
Alex Kontorovich
Pages: 347-348
Published online: 25 Jun 2022
CitationforForeword to: Special Issue on Interactive Theorem Provers | Full Text | References | PDF (229 KB) | EPUB
  • 1713 Views
  • 0 CrossRef citations
  • 0Altmetric
Free Access
Article
Liquid Tensor Experiment
Peter Scholze
Pages: 349-354
Published online: 20 Jun 2021
AbstractforLiquid Tensor Experiment | Full Text | References | PDF (588.8 KB) | EPUB
  • 643 Views
  • 2 CrossRef citations
  • 0Altmetric
Article
Schemes in Lean
Kevin Buzzard, Chris Hughes, Kenny Lau, Amelia Livingston, Ramon Fernández Mir & Scott Morrison
Pages: 355-363
Published online: 25 Nov 2021
AbstractforSchemes in Lean | Full Text | References | PDF (844.3 KB) | EPUB
  • 5852 Views
  • 1 CrossRef citations
  • 0Altmetric
Open Access
Article
Simple Type Theory is not too Simple: Grothendieck’s Schemes Without Dependent Types
Anthony Bordg, Lawrence Paulson & Wenda Li
Pages: 364-382
Published online: 25 Apr 2022
AbstractforSimple Type Theory is not too Simple: Grothendieck’s Schemes Without Dependent Types | Full Text | References | PDF (1.8 MB) | EPUB
  • 1726 Views
  • 2 CrossRef citations
  • 0Altmetric
Open Access
Article
Formalizing Ordinal Partition Relations Using Isabelle/HOL
Mirna Džamonja, Angeliki Koutsoukou-Argyraki & Lawrence C. Paulson
Pages: 383-400
Published online: 11 Oct 2021
AbstractforFormalizing Ordinal Partition Relations Using Isabelle/HOL | Full Text | References | PDF (1.8 MB) | EPUB
  • 1158 Views
  • 3 CrossRef citations
  • 0Altmetric
Open Access
Article
Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL
Angeliki Koutsoukou-Argyraki, Wenda Li & Lawrence C. Paulson
Pages: 401-412
Published online: 21 Oct 2021
AbstractforIrrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL | Full Text | References | PDF (1.3 MB) | EPUB
  • 982 Views
  • 0 CrossRef citations
  • 0Altmetric
Open Access
Article
Formalizing Galois Theory
Thomas Browning & Patrick Lutz
Pages: 413-424
Published online: 16 Oct 2021
AbstractforFormalizing Galois Theory | Full Text | References | PDF (1,000.1 KB) | EPUB
  • 175 Views
  • 0 CrossRef citations
  • 0Altmetric

Articles

Article
On Integers that are Covering Numbers of Groups
Martino Garonzi, Luise-Charlotte Kappe & Eric Swartz
Pages: 425-443
Published online: 12 Jul 2019
AbstractforOn Integers that are Covering Numbers of Groups | Full Text | References | PDF (1.6 MB) | EPUB | Supplemental
  • 121 Views
  • 5 CrossRef citations
  • 0Altmetric
Article
The Reidemeister Spectra of Low Dimensional Almost-Crystallographic Groups
Sam Tertooy
Pages: 444-455
Published online: 11 Jul 2019
AbstractforThe Reidemeister Spectra of Low Dimensional Almost-Crystallographic Groups | Full Text | References | PDF (930.6 KB) | EPUB
  • 88 Views
  • 1 CrossRef citations
  • 0Altmetric
Article
The Fuglede Conjecture Holds in
Philipp Birklbauer
Pages: 456-460
Published online: 12 Jul 2019
AbstractforThe Fuglede Conjecture Holds in | Full Text | References | PDF (464.5 KB) | EPUB
  • 62 Views
  • 5 CrossRef citations
  • 0Altmetric
Article
Topological Prismatoids and Small Simplicial Spheres of Large Diameter
Francisco Criado & Francisco Santos
Pages: 461-473
Published online: 22 Jul 2019
AbstractforTopological Prismatoids and Small Simplicial Spheres of Large Diameter | Full Text | References | PDF (1.3 MB) | EPUB
  • 119 Views
  • 3 CrossRef citations
  • 0Altmetric
Article
The Optimal Packing of Eight Points in the Real Projective Plane
Dustin G. Mixon & Hans Parshall
Pages: 474-485
Published online: 27 Jul 2019
AbstractforThe Optimal Packing of Eight Points in the Real Projective Plane | Full Text | References | PDF (2.4 MB) | EPUB | Supplemental
  • 97 Views
  • 1 CrossRef citations
  • 0Altmetric
Article
Extremal Cylinder Configurations II: Configuration O6
Oleg Ogievetsky & Senya Shlosman
Pages: 486-496
Published online: 22 Jul 2019
AbstractforExtremal Cylinder Configurations II: Configuration O6 | Full Text | References | PDF (1.3 MB) | EPUB
  • 64 Views
  • 4 CrossRef citations
  • 0Altmetric
Article
Asymptotic Sign Coherence Conjecture
Michael Gekhtman & Tomoki Nakanishi
Pages: 497-505
Published online: 21 Aug 2019
AbstractforAsymptotic Sign Coherence Conjecture | Full Text | References | PDF (788.8 KB) | EPUB
  • 85 Views
  • 1 CrossRef citations
  • 0Altmetric
Article
Real Inflection Points of Real Linear Series on an Elliptic Curve
Ethan Cotterill & Cristhian Garay López
Pages: 506-517
Published online: 26 Aug 2019
AbstractforReal Inflection Points of Real Linear Series on an Elliptic Curve | Full Text | References | PDF (1.4 MB) | EPUB
  • 65 Views
  • 0 CrossRef citations
  • 0Altmetric
Article
Serre’s Constant of Elliptic Curves Over the Rationals
Harris B. Daniels & Enrique González-Jiménez
Pages: 518-536
Published online: 02 Dec 2019
AbstractforSerre’s Constant of Elliptic Curves Over the Rationals | Full Text | References | PDF (1.5 MB) | EPUB
  • 95 Views
  • 1 CrossRef citations
  • 0Altmetric
Article
An Investigation Into the Cyclically Presented Groups with Length Three Positive Relators
Esamaldeen Mohamed & Gerald Williams
Pages: 537-551
Published online: 25 Sep 2019
AbstractforAn Investigation Into the Cyclically Presented Groups with Length Three Positive Relators | Full Text | References | PDF (1.2 MB) | EPUB
  • 63 Views
  • 2 CrossRef citations
  • 0Altmetric
Article
A Markov Chain Sampler for Plane Curves
Harrison Chapman & Andrew Rechnitzer
Pages: 552-582
Published online: 23 Sep 2019
AbstractforA Markov Chain Sampler for Plane Curves | Full Text | References | PDF (5.2 MB) | EPUB
  • 107 Views
  • 0 CrossRef citations
  • 0Altmetric
Article
The Graph Curvature Calculator and the Curvatures of Cubic Graphs
David Cushing, Riikka Kangaslampi, Valtteri Lipiäinen, Shiping Liu & George W. Stagg
Pages: 583-595
Published online: 14 Sep 2019
AbstractforThe Graph Curvature Calculator and the Curvatures of Cubic Graphs | Full Text | References | PDF (2 MB) | EPUB
  • 447 Views
  • 6 CrossRef citations
  • 0Altmetric
Article
Cyclotomic Coincidences
Carl Pomerance & Simon Rubinstein-Salzedo
Pages: 596-605
Published online: 17 Sep 2019
AbstractforCyclotomic Coincidences | Full Text | References | PDF (793.4 KB) | EPUB
  • 70 Views
  • 1 CrossRef citations
  • 0Altmetric
Article
On Two Truncated Quintuple Series Theorems
Mircea Merca
Pages: 606-610
Published online: 17 Sep 2019
AbstractforOn Two Truncated Quintuple Series Theorems | Full Text | References | PDF (558.8 KB) | EPUB
  • 112 Views
  • 4 CrossRef citations
  • 0Altmetric
Article
Generalized Samuel Multiplicities of Monomial Ideals and Volumes
Rüdiger Achilles & Mirella Manaresi
Pages: 611-620
Published online: 07 Nov 2019
AbstractforGeneralized Samuel Multiplicities of Monomial Ideals and Volumes | Full Text | References | PDF (2 MB) | EPUB
  • 85 Views
  • 0 CrossRef citations
  • 0Altmetric
Article
Non-Existence and Finiteness Results for Teichmüller Curves in Prym Loci
Erwan Lanneau & Martin Möller
Pages: 621-636
Published online: 16 Oct 2019
AbstractforNon-Existence and Finiteness Results for Teichmüller Curves in Prym Loci | Full Text | References | PDF (1.4 MB) | EPUB
  • 74 Views
  • 0 CrossRef citations
  • 0Altmetric
Article
On the Structure and Slopes of Drinfeld Cusp Forms
Andrea Bandini & Maria Valentino
Pages: 637-651
Published online: 25 Nov 2019
AbstractforOn the Structure and Slopes of Drinfeld Cusp Forms | Full Text | References | PDF (1.4 MB) | EPUB
  • 146 Views
  • 5 CrossRef citations
  • 0Altmetric
Article
On q-Deformed Real Numbers
Sophie Morier-Genoud & Valentin Ovsienko
Pages: 652-660
Published online: 08 Oct 2019
AbstractforOn q-Deformed Real Numbers | Full Text | References | PDF (889.4 KB) | EPUB
  • 255 Views
  • 6 CrossRef citations
  • 0Altmetric
Article
Four Lines and a Rectangle
Richard Evan Schwartz
Pages: 661-668
Published online: 18 Mar 2020
AbstractforFour Lines and a Rectangle | Full Text | References | PDF (812.7 KB) | EPUB
  • 88 Views
  • 3 CrossRef citations
  • 0Altmetric
Article
Note on the Cyclotomic Polynomial Topologically
Aleksandra Kostić, Nela Milošević & Zoran Z. Petrović
Pages: 669-675
Published online: 01 Nov 2019
AbstractforNote on the Cyclotomic Polynomial Topologically | Full Text | References | PDF (600 KB) | EPUB
  • 81 Views
  • 0 CrossRef citations
  • 0Altmetric
Article
Computer-Aided Study of Double Extensions of Restricted Lie Superalgebras Preserving the Nondegenerate Closed 2-Forms in Characteristic 2
Sofiane Bouarroudj, Dimitry Leites & Jin Shang
Pages: 676-688
Published online: 18 Nov 2019
AbstractforComputer-Aided Study of Double Extensions of Restricted Lie Superalgebras Preserving the Nondegenerate Closed 2-Forms in Characteristic 2 | Full Text | References | PDF (1.3 MB) | EPUB
  • 94 Views
  • 6 CrossRef citations
  • 0Altmetric
Article
An Explicit Abelian Surface with Maximal Galois Action
Quinn Greicius & Aaron Landesman
Pages: 689-693
Published online: 25 Nov 2019
AbstractforAn Explicit Abelian Surface with Maximal Galois Action | Full Text | References | PDF (497 KB) | EPUB
  • 127 Views
  • 0 CrossRef citations
  • 0Altmetric
Article
Applications of Integer Semi-Infinite Programing to the Integer Chebyshev Problem
Kevin G. Hare & Philip W. Hodges
Pages: 694-700
Published online: 26 Nov 2019
AbstractforApplications of Integer Semi-Infinite Programing to the Integer Chebyshev Problem | Full Text | References | PDF (610.4 KB) | EPUB
  • 86 Views
  • 0 CrossRef citations
  • 0Altmetric

Explore articles

Explore the most recently published articles

Eckardt Points on a Cubic Threefold
Gloire Grâce Bockondas et al.
Article | Published online: 22 Jul 2024
Learn2Extend: Extending Sequences by Retaining their Statistical Properties with Mixture Models
Dimitris Vartziotis et al.
Article | Published online: 24 Jun 2024
An Exploration of Degeneracy in Abelian Varieties of Fermat Type
Heidi Goodson
Article | Published online: 24 Jun 2024
A New Orbit Closure in Genus 8?
Vincent Delecroix et al.
Article | Published online: 22 Jun 2024
View all latest articles