Home
Thesis
Defense
Procedures
Erratum
Figures
Solutions
Automorphisms
Preliminary steps & Requirements
Borcherds’ method’s Scope
Embedding Update
Running the Borcherds’ Method
Parallelism
Efficient Cong. Testing, Pool
BM & Paral – PT. 1
BM & Paral – PT. 2
BM & Network deployment
Projective models
More
Shimada’s LP Problem
CUDA & RX580
CUDA & Sage
Mertens’ approach
Remarks
Examples
1988, Wehler K3
2003, Wehler K3
2016, Wehler K3
2013, Shimada K3
2021, Diag. Case 7
2022, K. Lee | Part 1
2022, K. Lee | Part 2
Cloud
Results
Downloads
Documentation
References
Lattices Table
Home
Thesis
Defense
Procedures
Erratum
Figures
Solutions
Automorphisms
Preliminary steps & Requirements
Borcherds’ method’s Scope
Embedding Update
Running the Borcherds’ Method
Parallelism
Efficient Cong. Testing, Pool
BM & Paral – PT. 1
BM & Paral – PT. 2
BM & Network deployment
Projective models
More
Shimada’s LP Problem
CUDA & RX580
CUDA & Sage
Mertens’ approach
Remarks
Examples
1988, Wehler K3
2003, Wehler K3
2016, Wehler K3
2013, Shimada K3
2021, Diag. Case 7
2022, K. Lee | Part 1
2022, K. Lee | Part 2
Cloud
Results
Downloads
Documentation
References
