Explore >> Select a destination
|
You are here 
|
11011110.github.io | ||
| | | | |
jamesgregson.blogspot.com
|
|
| | | | | Dual Contouring is a method for meshing implicit surfaces, or surfaces which are defined as the level-set of scalar function. Conceptually... | |
| | | | |
blog.42yeah.is
|
|
| | | | | ||
| | | | |
www.code-spot.co.za
|
|
| | | | | I have had to manipulate a lot of images in my life to look nice with brands where no designer was available to do the job. I wanted an algorithm to make this easier for a long time, and recently I... | |
| | | | |
siddhartha-gadgil.github.io
|
|
| | | [AI summary] The text discusses a formalization in Lean 4 of a mathematical result related to the group P and the unit conjecture. It outlines the construction of the group P as a metabelian group with a specific action and cocycle, the proof of its torsion freeness, and the use of decidable equality and enumeration to verify properties. The formalization also includes the construction of the group ring and the verification of Gardam's disproof of the unit conjecture by demonstrating the existence of a non-trivial unit in the group ring over the field F₂. | ||
