{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:35:30Z","timestamp":1725582930741},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642210457"},{"type":"electronic","value":"9783642210464"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21046-4_11","type":"book-chapter","created":{"date-parts":[[2011,5,3]],"date-time":"2011-05-03T14:57:03Z","timestamp":1304434623000},"page":"196-224","source":"Crossref","is-referenced-by-count":4,"title":["On the Heilbronn Optimal Configuration of Seven Points in the Square"],"prefix":"10.1007","author":[{"given":"Zhenbing","family":"Zeng","sequence":"first","affiliation":[]},{"given":"Liangyu","family":"Chen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"11_CR1","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1023\/A:1021231927255","volume":"19","author":"O. Aichholzer","year":"2002","unstructured":"Aichholzer, O., Aurenhammer, F., Krasser, H.: Enumerating order types for small point sets with applications. Order\u00a019(3), 265\u2013281 (2002)","journal-title":"Order"},{"issue":"1","key":"11_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.comgeo.2005.07.005","volume":"36","author":"O. Aichholzer","year":"2006","unstructured":"Aichholzer, O., Krasser, H.: Abstract order type extension and new results on the rectilinear crossing number. Computational Geometry: Theory and Applications, Special Issue on the 21st European Workshop on Computational Geometry\u00a036(1), 2\u201315 (2006)","journal-title":"Computational Geometry: Theory and Applications, Special Issue on the 21st European Workshop on Computational Geometry"},{"issue":"6","key":"11_CR3","first-page":"1","volume":"9","author":"F. Comellas","year":"2002","unstructured":"Comellas, F., Yebra, J.L.A.: New lower bounds for heilbronn numbers. Electr. J. Comb.\u00a09(6), 1\u201310 (2002)","journal-title":"Electr. J. Comb."},{"key":"11_CR4","first-page":"97","volume-title":"Combinatorics and Graph Theory 1995","author":"A.W.M. Dress","year":"1995","unstructured":"Dress, A.W.M., Yang, L., Zeng, Z.: Heilbronn problem for six points in a planar convex body. In: Combinatorics and Graph Theory 1995, vol.\u00a01 (Hefei), pp. 97\u2013118. World Sci. Publishing, Singapore (1995)"},{"issue":"3","key":"11_CR5","doi-asserted-by":"publisher","first-page":"135","DOI":"10.2307\/2687869","volume":"45","author":"M. Goldberg","year":"1972","unstructured":"Goldberg, M.: Maximizing the smallest triangle made by n points in a square. Math. Magazine\u00a045(3), 135\u2013144 (1972)","journal-title":"Math. Magazine"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Yang, L., Zeng, Z.: Heilbronn problem for seven points in a planar convex body. In: Dingzhu, D., Pardalos, P.M. (eds.) Minimax and Applications (1995)","DOI":"10.1007\/978-1-4613-3557-3_14"},{"key":"11_CR7","unstructured":"Yang, L., Zhang, J., Zeng, Z.: On exact values of heilbronn numbers for triangular regions. Tech. Rep. 91-098, Universit\u00e4t Bielefeld (1991)"},{"key":"11_CR8","unstructured":"Yang, L., Zhang, J., Zeng, Z.: On goldberg\u2019s conjecture: Computing the first several heilbronn numbers. Tech. Rep. 91-074, Universit\u00e4t Bielefeld (1991)"},{"key":"11_CR9","first-page":"503","volume":"13","author":"L. Yang","year":"1992","unstructured":"Yang, L., Zhang, J., Zeng, Z.: A conjecture on the first several heilbronn numbers and a computation. Chinese Ann. Math. Ser. A,\u00a013, 503\u2013515 (1992)","journal-title":"Chinese Ann. Math. Ser. A,"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"762","DOI":"10.1145\/1244002.1244172","volume-title":"Proceedings of the 2007 ACM Symposium on Applied Computing","author":"Z. Zeng","year":"2007","unstructured":"Zeng, Z., Shan, M.: Semi-mechanization method for an unsolved optimization problem in combinatorial geometry. In: Proceedings of the 2007 ACM Symposium on Applied Computing, pp. 762\u2013766. ACM, New York (2007)"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21046-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T06:21:12Z","timestamp":1558592472000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21046-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642210457","9783642210464"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21046-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}