polydb

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revisionBoth sides next revision
polydb [2020/09/01 14:04] – [polyDB] paffenholzpolydb [2020/09/01 14:05] – [polyDB] paffenholz
Line 5: Line 5:
   * [[user_guide:howto:polydb_tutorial|tutorial for querying the database]]   * [[user_guide:howto:polydb_tutorial|tutorial for querying the database]]
   * [[polydb:rest:intro|(Experimental) polyDB REST API]]   * [[polydb:rest:intro|(Experimental) polyDB REST API]]
-  * [[dev_corner:polydb_format|db layout and storage format]]+
  
 ====== Other data in polymake format ====== ====== Other data in polymake format ======
  • polydb.txt
  • Last modified: 2024/02/07 10:26
  • by lkastner