K3surfaces.com
  • 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

Documentation

  • init_emb.sage
  • main_v111_higher53_multicore_parallel.sage
2022-2024 | K3surfaces.com
by Cédric Mazet
K3surfaces.com
  • 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