Commits · master · alg / square-in-circle-proofs

Apr 17, 2020
- IVARP version. · 4a62bb69
  Phillip Keldenich authored 4 years ago
  
  4a62bb69
- IVARP license. · 3f67fc7d
  Phillip Keldenich authored 4 years ago
  
  3f67fc7d
- Added license comments. · 62916ff2
  Phillip Keldenich authored 4 years ago
  
  62916ff2
- ivarp version. · c0aa927e
  Phillip Keldenich authored 4 years ago
  
  c0aa927e
- Added license file. · fb577257
  Phillip Keldenich authored 4 years ago
  
  fb577257
Feb 26, 2020
- Ported to newer ivarp version. · bf8bf13e
  Phillip Keldenich authored 5 years ago
  
  bf8bf13e
Dec 05, 2019
- Minor fix. · 3278a0e6
  Phillip Keldenich authored 5 years ago
  
  3278a0e6
- Update README.md · 078c7fdc
  Phillip Keldenich authored 5 years ago
  
  078c7fdc
Dec 04, 2019
- Update README.md · 0f8bcfe4
  Phillip Keldenich authored 5 years ago
  
  0f8bcfe4
- Update README.md · 8ec91f95
  Phillip Keldenich authored 5 years ago
  
  8ec91f95
- Update .gitmodules · 6ab008df
  Phillip Keldenich authored 5 years ago
  
  6ab008df
- Update README.md · 4b9f4d91
  Phillip Keldenich authored 5 years ago
  
  4b9f4d91
- Add README.md · 492ce708
  Phillip Keldenich authored 5 years ago
  
  492ce708
- Fixed all lemma numbers. · 18161b15
  Phillip Keldenich authored 5 years ago
  
  18161b15
Dec 03, 2019
- lemma18_proof. · 7b9bbf35
  Phillip Keldenich authored 5 years ago
  
  7b9bbf35
- Moved stuff into multiple compilation units since compilation uses considerable time and memory. · d6195c12
  Phillip Keldenich authored 5 years ago
  
  d6195c12
- Merge branch 'master' of ibrgit:/alg/square-in-circle-proofs · 3c592ea0
  Phillip Keldenich authored 5 years ago
  
  3c592ea0
- Removed lemma 9; removed max(0,...) from r(.). Updated ivarp. · 9b0a4564
  Phillip Keldenich authored 5 years ago
  
  9b0a4564
Dec 02, 2019
- Update to ivarp. · 7911cefb
  Phillip Keldenich authored 5 years ago
  
  7911cefb
Nov 29, 2019
- Proof for lemmas 3 and 9; 9 is tight though. · 647558b4
  Phillip Keldenich authored 5 years ago
  
  647558b4
Nov 28, 2019
- Fixed function definitions. · 6d76cf6b
  Phillip Keldenich authored 5 years ago
  
  6d76cf6b
- Fixes (compilation issues on older GCC). · 6aaa79b2
  Phillip Keldenich authored 5 years ago
  
  6aaa79b2
- Proof of lemma 22. All proofs should now be done. · e9c47bc7
  Phillip Keldenich authored 5 years ago
  
  e9c47bc7
Nov 27, 2019
- Changed progress observer; the long-running proof is commented-out for now. · c20a21a6
  Phillip Keldenich authored 5 years ago
  
  c20a21a6
- Updated ivarp · cf5456e9
  Phillip Keldenich authored 5 years ago
  
  cf5456e9
- Header names made uniform. · fefbd6f6
  Phillip Keldenich authored 5 years ago
  
  fefbd6f6
- Changes to ivarp; lemmas 20 and 21. · 7b60a668
  Phillip Keldenich authored 5 years ago
  
  7b60a668
Nov 26, 2019
- Comments in ivarp. · 0e3d64e5
  Phillip Keldenich authored 5 years ago
  
  0e3d64e5
- Updated ivarp · fca97992
  Phillip Keldenich authored 5 years ago
  
  fca97992
- Not yet really working code for lemma 20. · 0fd60044
  Phillip Keldenich authored 5 years ago
  
  0fd60044
- Updated ivarp with CriticalPrinter. Added proofs for lemma 19. · 0d7b5316
  Phillip Keldenich authored 5 years ago
  
  0d7b5316
- WIP on lemma 19. · d0b5c2e7
  Phillip Keldenich authored 5 years ago
  
  d0b5c2e7
- New version of ivarp; proofs for lemma 18. · 20b0b93a
  Phillip Keldenich authored 5 years ago
  
  20b0b93a
Nov 25, 2019
- IVARP update. · 4efe3b7e
  Phillip Keldenich authored 5 years ago
  
  4efe3b7e
- Updated IVARP. · d07130d4
  Phillip Keldenich authored 5 years ago
  
  d07130d4
- Added ivarp as submodule. · b36979d5
  Phillip Keldenich authored 5 years ago
  
  b36979d5