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

Projective models

NB : An update is coming soon

Study of projective models of K3 surfaces :

  • Testing whether a class in the Néron-Severi group is ample : AmpTester

Coming soon :

  • Study of projective models with SDM theorem : PModChecker, SysFinder & SysDisplay

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