RefacteFind your way
Site map
Current work at Refacte, with full earlier studies, research, and dated editions kept in the Tensorgami archive.
Current Refacte
- Home
- Refactor — the practice
- Mechanism calculi
- Current expositions
- Essays
- About Henry Shin
- Interests
- Cube patterns
Mechanism calculi
- Cancel walks against cycles
- Remove the tree, retain the circuits
- Make a hidden cubic appear
- Classify compatible couplings
- Construct every tensor chain
- Cancel the unwanted edge sets
- Split a cyclic tuple into motion and remainder
- Calculate the missing components
- Eliminate one integration variable
Further worked refactors
- Find the quantity that moves on its own
- A subgroup becomes a machine
- A determinant that counts trees
- Make first order exact
- How far can a change of coordinates go?
Current expositions and problems
- When a Formal Logarithm Fails
- A Weighting Argument for Pointwise Convergence to Convergence in Measure
- IBM Ponder This July 2010
- Divisibility of Separated Polynomials
- Extracting the First Prime Greater than m
- A Note on Disjoint Decompositions of [0,1) into Closed Sets
- Lebesgue's Criterion for Riemann Integrability
- Products Preserve Riemann Integrability
- Selected Problems in Discrete Mathematics and Analysis
Essays
Tensorgami archive
Full earlier studies, research records, and fixed editions. Their established pages, downloads, and citations remain available.
- Search the archive
- Archived reading guide
- Preserved research papers
- Dated editions and citation guide
- All fixed releases on GitHub
Full studies and companions
- Fourier, Symmetry, and Reconstruction
- What a Boundary Map Can Prove
- What a Derivative Retains
- Quotients, Refinement, and Reconstruction
- Six Elements, One Comparison
- A Galois-Theoretic and Frobenius-Descent Viewpoint on a Polynomial Composition Law
- Normality, Coherent Extension, Tensor Operations, and Affineness