381 citations · 2.1k across the 24 of their papers we have counts for
25 papers
Growing Mathlib: maintenance of a large scale mathematical library
Anne Baanen, Matthew Robert Ballard, Johan Commelin +3
The Lean mathematical library Mathlib is one of the fastest-growing libraries of formalised mathematics. We describe various strategies to manage this growth, while allowing for ch…
Automorphism Group of the Holomorph of a Cyclic Group
Kazuki Sato
We show that the holomorph of a cyclic group of order is isomorphic to its own automophism group when is twice of a power of an odd prime.
Block-and-hole graphs: Constructibility and -sparsity
Bryan Gin-ge Chen, James Cruickshank, Derek Kitson
We show that minimally 3-rigid block-and-hole graphs, with one block or one hole, are characterised as those which are constructible from by vertex splitting, and also, as th…
Universal Rigidity of Ladders on the line
Bryan Chen, Robert Connelly, Steven J. Gortler +2
In "Universal rigidity on the line, point orde" it is shown, answering a question of Jordán and Nguyen, that universal rigidity of a generic bar-joint framework in R^1 depends on m…
Topology in non-linear mechanical systems
Po-Wei Lo, Krishanu Roychowdhury, Bryan Gin-ge Chen +3
Many advancements have been made in the field of topological mechanics. The majority of the works, however, concerns the topological invariant in a linear theory. We, in this work,…
Universal rigidity on the line, point order
Bryan Chen, Robert Connelly, Anthony Nixon +1
We show that universal rigidity of a generic bar and joint framework (G,p) in the line depends on more than the ordering of the vertices. In particular, we construct examples of on…