Let's Mother Fucking Data Base
June 16, 2026 at 9:26 PM
Let's Mother Fucking Data Base
Is there a way to make LMFDB show you subgroup *lattices* rather than subgroup *diagrams*? beta.lmfdb.org/Groups/Abstr...
LMFDB - Abstract groups
Welcome to the LMFDB, the database of L-functions, modular forms, and related objects. These pages are intended to be a modern handbook including tables, formulas, links, and references for L-function...
beta.lmfdb.org
February 17, 2025 at 10:43 PM
Is there a way to make LMFDB show you subgroup *lattices* rather than subgroup *diagrams*? beta.lmfdb.org/Groups/Abstr...
I don't know who needs this information, but the LMFDB site includes a huge database of finite groups and their properties. Here's the entry for A₅: www.lmfdb.org/Groups/Abstr.... I know there is also groupprops.subwiki.org , but that's just a wiki whereas the LMFDB was generated programmatically
🧮
🧮
July 8, 2026 at 7:48 PM
I don't know who needs this information, but the LMFDB site includes a huge database of finite groups and their properties. Here's the entry for A₅: www.lmfdb.org/Groups/Abstr.... I know there is also groupprops.subwiki.org , but that's just a wiki whereas the LMFDB was generated programmatically
🧮
🧮
The elliptic curve with LMFDB label 49.a2 hopes you have a nice Friday and a great weekend.
November 22, 2024 at 12:13 PM
The elliptic curve with LMFDB label 49.a2 hopes you have a nice Friday and a great weekend.
Recently I became an associate editor of the LMFDB, so I am a very small part of the large team behind that database (which is awesome and you should explore it!). I will also be an assoc editor of LuCaNT 2025:
www.lmfdb.org
www.lmfdb.org
LMFDB - The L-functions and modular forms database
Welcome to the LMFDB, the database of L-functions, modular forms, and related objects. These pages are intended to be a modern handbook including tables, formulas, links, and references for L-function...
www.lmfdb.org
November 27, 2024 at 4:50 PM
Recently I became an associate editor of the LMFDB, so I am a very small part of the large team behind that database (which is awesome and you should explore it!). I will also be an assoc editor of LuCaNT 2025:
www.lmfdb.org
www.lmfdb.org
There are 544,831 groups in their database! You can search by e.g. order, or number of conjugacy classes, or solvability, or so many other things. Check out their advanced search: www.lmfdb.org/Groups/Abstr...
July 8, 2026 at 7:50 PM
There are 544,831 groups in their database! You can search by e.g. order, or number of conjugacy classes, or solvability, or so many other things. Check out their advanced search: www.lmfdb.org/Groups/Abstr...
This sounds a lot like what the LMFDB dreams of doing for modular forms.
July 23, 2024 at 8:31 PM
This sounds a lot like what the LMFDB dreams of doing for modular forms.
Guessing you already know about GroupNames and LMFDB?
people.maths.bris.ac.uk/~matyd/Group...
www.lmfdb.org/Groups/Abstr...
@visualalgebra.bsky.social might have opinions....
people.maths.bris.ac.uk/~matyd/Group...
www.lmfdb.org/Groups/Abstr...
@visualalgebra.bsky.social might have opinions....
December 19, 2025 at 6:26 PM
Guessing you already know about GroupNames and LMFDB?
people.maths.bris.ac.uk/~matyd/Group...
www.lmfdb.org/Groups/Abstr...
@visualalgebra.bsky.social might have opinions....
people.maths.bris.ac.uk/~matyd/Group...
www.lmfdb.org/Groups/Abstr...
@visualalgebra.bsky.social might have opinions....
#MathSky! We (@code4math.org) have MORE talks tomorrow Mon Sept 15!!
🌟 at 9am Eastern, Accessible papers with PreTeXt
🌟 at 3pm Eastern, Intro to the LMFDB
🌟 at 4pm Eastern, Lessons from software on managing complexity
(Note the last two talks were just switched around to accommodate scheduling!)
🌟 at 9am Eastern, Accessible papers with PreTeXt
🌟 at 3pm Eastern, Intro to the LMFDB
🌟 at 4pm Eastern, Lessons from software on managing complexity
(Note the last two talks were just switched around to accommodate scheduling!)
September 15, 2025 at 1:09 AM
#MathSky! We (@code4math.org) have MORE talks tomorrow Mon Sept 15!!
🌟 at 9am Eastern, Accessible papers with PreTeXt
🌟 at 3pm Eastern, Intro to the LMFDB
🌟 at 4pm Eastern, Lessons from software on managing complexity
(Note the last two talks were just switched around to accommodate scheduling!)
🌟 at 9am Eastern, Accessible papers with PreTeXt
🌟 at 3pm Eastern, Intro to the LMFDB
🌟 at 4pm Eastern, Lessons from software on managing complexity
(Note the last two talks were just switched around to accommodate scheduling!)
oh yay! my group is hoping to sneak in to some of the talks since we're doing LMFDB-related work. hopefully we'll run into each other!
June 7, 2025 at 10:01 PM
oh yay! my group is hoping to sneak in to some of the talks since we're doing LMFDB-related work. hopefully we'll run into each other!
LMFDB is also great. beta.lmfdb.org/Groups/Abstr...
beta.lmfdb.org
June 12, 2026 at 7:33 PM
LMFDB is also great. beta.lmfdb.org/Groups/Abstr...
Today I have a brand new title! I'm for the first time Associate Editor of a research journal! (LuCaNT)
Exciting. Some of you should expect emails from me requesting referee reports soon 👀
lucant.org
Exciting. Some of you should expect emails from me requesting referee reports soon 👀
lucant.org
LMFDB, Computation, and Number Theory (LuCaNT)
This is the main website for the LuCaNT series of conferences.
lucant.org
February 5, 2025 at 6:33 PM
Today I have a brand new title! I'm for the first time Associate Editor of a research journal! (LuCaNT)
Exciting. Some of you should expect emails from me requesting referee reports soon 👀
lucant.org
Exciting. Some of you should expect emails from me requesting referee reports soon 👀
lucant.org
With a few exceptions, LMFDB is basically an improved version of GroupNames w/ lots of extra features. They even got help from GroupNames founder Tim Dokchitser in getting it off the ground. They use the same conventions for subgroup diagrams (=lattices collapsed by conjugacy classes).
![Additional acknowledgments [for LMFDB]:
This project was inspired by, and took much of its initial design ideas from Tim Dokchitser's GroupNames pages. A special thanks to Tim Dokchitser for his advice, suggestions, and code, as well as giving us permission to use some of his language for knowls on these pages.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:yxyo3tr72b3e2caxy5qcidep/bafkreideccmg3lqj5fec53noxrs7act2ttxlxivyhdisqjmtrahpelwbbm)
February 18, 2025 at 1:35 AM
With a few exceptions, LMFDB is basically an improved version of GroupNames w/ lots of extra features. They even got help from GroupNames founder Tim Dokchitser in getting it off the ground. They use the same conventions for subgroup diagrams (=lattices collapsed by conjugacy classes).
I was aware of them (LMFDB I think you showed me actually), but I needed the reminder! Thank you!
December 19, 2025 at 7:02 PM
I was aware of them (LMFDB I think you showed me actually), but I needed the reminder! Thank you!
ok I think I have it backwards, I've known about lmfdb for a long tiem--group games was the one you showed me
December 19, 2025 at 9:07 PM
ok I think I have it backwards, I've known about lmfdb for a long tiem--group games was the one you showed me
Oooh, who can I talk to to get the names:
“other dihedral group” OD_n replaced with “semiabelian group“ SA_n, and
“Diquaternion group” in for 16.13, and generalized diquaternions in there as well?
(beta.lmfdb.org/Groups/Abstr...)
“other dihedral group” OD_n replaced with “semiabelian group“ SA_n, and
“Diquaternion group” in for 16.13, and generalized diquaternions in there as well?
(beta.lmfdb.org/Groups/Abstr...)
LMFDB - Abstract group $D_4:C_2$
Welcome to the LMFDB, the database of L-functions, modular forms, and related objects. These pages are intended to be a modern handbook including tables, formulas, links, and references for L-function...
beta.lmfdb.org
November 28, 2024 at 1:50 AM
Oooh, who can I talk to to get the names:
“other dihedral group” OD_n replaced with “semiabelian group“ SA_n, and
“Diquaternion group” in for 16.13, and generalized diquaternions in there as well?
(beta.lmfdb.org/Groups/Abstr...)
“other dihedral group” OD_n replaced with “semiabelian group“ SA_n, and
“Diquaternion group” in for 16.13, and generalized diquaternions in there as well?
(beta.lmfdb.org/Groups/Abstr...)
Yes, it does! It is somewhat limited to only a few smallish group (I think I have most in my book somewhere). I'll email Sam Schiavone and David Roe from LMFDB; at the JMM they asked me if I had suggestions for it (other than OD_n --> SA_n, and adding the diquaternions DQ_n), this is a great one!
February 18, 2025 at 1:43 AM
Yes, it does! It is somewhat limited to only a few smallish group (I think I have most in my book somewhere). I'll email Sam Schiavone and David Roe from LMFDB; at the JMM they asked me if I had suggestions for it (other than OD_n --> SA_n, and adding the diquaternions DQ_n), this is a great one!
First, let me just express my excitement of seeing the term "subgroup diagram" in the wild! 😀 I'm really hoping it catches on!
Subgroup diagram: basically a subgroup lattice with the conjugacy classes collapsed into single nodes, w/ left subscripts denoting their size (à la LMFDB & GroupNames).
Subgroup diagram: basically a subgroup lattice with the conjugacy classes collapsed into single nodes, w/ left subscripts denoting their size (à la LMFDB & GroupNames).
February 18, 2025 at 1:39 AM
First, let me just express my excitement of seeing the term "subgroup diagram" in the wild! 😀 I'm really hoping it catches on!
Subgroup diagram: basically a subgroup lattice with the conjugacy classes collapsed into single nodes, w/ left subscripts denoting their size (à la LMFDB & GroupNames).
Subgroup diagram: basically a subgroup lattice with the conjugacy classes collapsed into single nodes, w/ left subscripts denoting their size (à la LMFDB & GroupNames).
Next week I am delighted to be speaking at the workshop "LMFDB, Computation, and Number Theory" at @icerm.bsky.social , Brown University, USA. #LMFDB #ComputerAlgebra #AlgebraicGeometry #NumberTheory
LMFDB, Computation, and Number Theory (LuCaNT) 2025
This will be a one-week conference broadly focused on the topics of the LMFDB (http://lmfdb.org), mathematical databases, computation, and number theory. The conference will include invited talks, presentations by authors of papers submitted to the conference and selected by the scientific committee following peer-review, as well as time for research and collaboration. We plan to publish a proceedings volume that will include all of the accepted papers.
The field of mathematical databases has emerged as an important area of research at the intersection of computer science and mathematics. It seeks to address questions that arise when organizing, storing, and providing access to mathematical knowledge in a structured manner. These databases are intended to be easily searchable and navigable, providing researchers, educators, and students with a convenient way to access mathematical content. There are many challenges in developing and maintaining mathematical databases, ranging from data quality and integration, to standardization, search design, updating and maintenance, and usability. In addition, many algorithmic and theoretical questions emerge naturally when considering systematic computations that must be done on a large scale.
icerm.brown.edu
July 4, 2025 at 8:25 AM
Next week I am delighted to be speaking at the workshop "LMFDB, Computation, and Number Theory" at @icerm.bsky.social , Brown University, USA. #LMFDB #ComputerAlgebra #AlgebraicGeometry #NumberTheory
hello my old friend beta.lmfdb.org/Groups/Abstr...
LMFDB - Abstract group $D_4$
Welcome to the LMFDB, the database of L-functions, modular forms, and related objects. These pages are intended to be a modern handbook including tables, formulas, links, and references for L-function...
beta.lmfdb.org
January 6, 2025 at 4:36 AM
hello my old friend beta.lmfdb.org/Groups/Abstr...
Part of the Contemporary Mathematics series, LuCaNT: Databases, Algorithms, and Computational Number Theory, this volume contains the proceedings of the LMFDB, Computation, and number Theory (LuCaNT) 2025 conference.
Access: https://www.ams.org/books/conm/840/
Buy: https://bookstore.ams.org/CONM/840
Access: https://www.ams.org/books/conm/840/
Buy: https://bookstore.ams.org/CONM/840
July 15, 2026 at 12:43 PM
Part of the Contemporary Mathematics series, LuCaNT: Databases, Algorithms, and Computational Number Theory, this volume contains the proceedings of the LMFDB, Computation, and number Theory (LuCaNT) 2025 conference.
Access: https://www.ams.org/books/conm/840/
Buy: https://bookstore.ams.org/CONM/840
Access: https://www.ams.org/books/conm/840/
Buy: https://bookstore.ams.org/CONM/840
Very true, but I've actually learned quite a bit about the structure of subgroups in the process of making the lattices. I can't quite articulate what, but it's definitely been insightful.
In fact, this is a *great* exercise to do! From my class.
In fact, this is a *great* exercise to do! From my class.
February 18, 2025 at 1:48 AM
Very true, but I've actually learned quite a bit about the structure of subgroups in the process of making the lattices. I can't quite articulate what, but it's definitely been insightful.
In fact, this is a *great* exercise to do! From my class.
In fact, this is a *great* exercise to do! From my class.
𝗠𝗜𝗧 𝗮𝗳𝗳𝗶𝗹𝗶𝗮𝘁𝗲𝘀 𝘄𝗶𝗻 𝗔𝗜 𝗳𝗼𝗿 𝗠𝗮𝘁𝗵 𝗴𝗿𝗮𝗻𝘁𝘀 𝘁𝗼 𝗮𝗰𝗰𝗲𝗹𝗲𝗿𝗮𝘁𝗲 𝗺𝗮𝘁𝗵𝗲𝗺𝗮𝘁𝗶𝗰𝗮𝗹 𝗱𝗶𝘀𝗰𝗼𝘃𝗲𝗿𝘆
news.mit.edu/2025/ai-for-...
Discussion @ www.sqox.com/c/?id=68c6a3...
news.mit.edu/2025/ai-for-...
Discussion @ www.sqox.com/c/?id=68c6a3...
MIT affiliates win AI for Math grants to accelerate mathematical discovery
An MIT-based team will use Renaissance Philanthropy and XTX Markets’ AI for Math grant to accelerate mathematical discovery. The team will use AI to integrate LMFDB and mathlib for automated theorem p...
news.mit.edu
September 23, 2025 at 12:01 AM
𝗠𝗜𝗧 𝗮𝗳𝗳𝗶𝗹𝗶𝗮𝘁𝗲𝘀 𝘄𝗶𝗻 𝗔𝗜 𝗳𝗼𝗿 𝗠𝗮𝘁𝗵 𝗴𝗿𝗮𝗻𝘁𝘀 𝘁𝗼 𝗮𝗰𝗰𝗲𝗹𝗲𝗿𝗮𝘁𝗲 𝗺𝗮𝘁𝗵𝗲𝗺𝗮𝘁𝗶𝗰𝗮𝗹 𝗱𝗶𝘀𝗰𝗼𝘃𝗲𝗿𝘆
news.mit.edu/2025/ai-for-...
Discussion @ www.sqox.com/c/?id=68c6a3...
news.mit.edu/2025/ai-for-...
Discussion @ www.sqox.com/c/?id=68c6a3...
arxiv.org/abs/2409.09189
/Creating a dynamic database of finite groups/
Lewis Combes, John W. Jones, Jennifer Paulhus, David Roe, Manami Roy, Sam Schiavone
www.lmfdb.org/Groups/Abstr...
/Creating a dynamic database of finite groups/
Lewis Combes, John W. Jones, Jennifer Paulhus, David Roe, Manami Roy, Sam Schiavone
www.lmfdb.org/Groups/Abstr...
Creating a dynamic database of finite groups
A database of abstract groups has been added to the L-functions and Modular Forms Database (LMFDB), available at https://www.lmfdb.org/Groups/Abstract/. We discuss the functionality of the...
arxiv.org
September 17, 2024 at 3:13 AM
arxiv.org/abs/2409.09189
/Creating a dynamic database of finite groups/
Lewis Combes, John W. Jones, Jennifer Paulhus, David Roe, Manami Roy, Sam Schiavone
www.lmfdb.org/Groups/Abstr...
/Creating a dynamic database of finite groups/
Lewis Combes, John W. Jones, Jennifer Paulhus, David Roe, Manami Roy, Sam Schiavone
www.lmfdb.org/Groups/Abstr...
これ以上の提出はベースライン超えに期限内に寄与しないと考え競技を終えることにしました。
AIへ有効な方針転換の指示を思いつけなかったことが決め手になりました。LMFDB越えを当初から目標にしていたので残念です。
AIへ有効な方針転換の指示を思いつけなかったことが決め手になりました。LMFDB越えを当初から目標にしていたので残念です。
August 10, 2026 at 10:02 AM
これ以上の提出はベースライン超えに期限内に寄与しないと考え競技を終えることにしました。
AIへ有効な方針転換の指示を思いつけなかったことが決め手になりました。LMFDB越えを当初から目標にしていたので残念です。
AIへ有効な方針転換の指示を思いつけなかったことが決め手になりました。LMFDB越えを当初から目標にしていたので残念です。