{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:57:43Z","timestamp":1740099463468,"version":"3.37.3"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030268305"},{"type":"electronic","value":"9783030268312"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-26831-2_30","type":"book-chapter","created":{"date-parts":[[2019,8,14]],"date-time":"2019-08-14T19:07:07Z","timestamp":1565809627000},"page":"458-477","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Determining the Heilbronn Configuration of Seven Points in Triangles via Symbolic Computation"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9728-1114","authenticated-orcid":false,"given":"Zhenbing","family":"Zeng","sequence":"first","affiliation":[]},{"given":"Liangyu","family":"Chen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,7,24]]},"reference":[{"issue":"2","key":"30_CR1","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1137\/S0895480100365859","volume":"14","author":"G Barequet","year":"2001","unstructured":"Barequet, G.: A lower bound for for Heilbronn\u2019s triangle problem in \n \n \n \n $$d$$\n dimensions. SIAM J. Discrete Math. 14(2), 230\u2013236 (2001)","journal-title":"SIAM J. Discrete Math."},{"issue":"1","key":"30_CR2","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/s00454-007-1323-x","volume":"38","author":"G Barequet","year":"2007","unstructured":"Barequet, G., Shaikhet, A.: The on-line Heilbronn\u2019s triangle problem in \n \n \n \n $$d$$\n dimensions. Discrete Comput. Geom. 38(1), 51\u201360 (2007)","journal-title":"Discrete Comput. Geom."},{"issue":"1","key":"30_CR3","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1137\/S0895480103435810","volume":"19","author":"P Brass","year":"2006","unstructured":"Brass, P.: An upper bound for the \n \n \n \n $$d$$\n -dimensional analogue of Heilbronn\u2019s triangle problem. SIAM J. Discrete Math. 19(1), 192\u2013195 (2006)","journal-title":"SIAM J. Discrete Math."},{"key":"30_CR4","unstructured":"Cantrell, D.: The Heilbronn problem for triangles. \n http:\/\/www2.stetson.edu\/efriedma\/heiltri\/\n \n . Accessed 5 Apr 2019"},{"issue":"4","key":"30_CR5","doi-asserted-by":"publisher","first-page":"854","DOI":"10.1007\/s10878-012-9585-5","volume":"28","author":"L Chen","year":"2014","unstructured":"Chen, L., Zeng, Z., Zhou, W.: An upper bound of Heilbronn number for eight points in triangles. J. Comb. Optim. 28(4), 854\u2013874 (2014)","journal-title":"J. Comb. Optim."},{"issue":"1","key":"30_CR6","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s10898-016-0453-1","volume":"68","author":"L Chen","year":"2017","unstructured":"Chen, L., Xu, Y., Zeng, Z.: Searching approximate global optimal Heilbronn configurations of nine points in the unit square via GPGPU computing. J. Global Optim. 68(1), 147\u2013167 (2017)","journal-title":"J. Global Optim."},{"key":"30_CR7","unstructured":"Comellas, F., Yebra, J.L.A.: New lower bounds for Heilbronn numbers. Elec. J. Comb. 9, 10 (2002). \n http:\/\/www.combinatorics.org\/Volume_9\/PDF\/v9i1r6.pdf\n \n . Accessed 5 Apr 2019"},{"key":"30_CR8","unstructured":"De Comit\u00e9, F., Delahaye, J.-P.: Automated proofs in geometry : computing upper bounds for the Heilbronn problem for triangles. \n https:\/\/arxiv.org\/pdf\/0911.4375.pdf\n \n . Accessed 5 Apr 2019"},{"key":"30_CR9","unstructured":"Dress, A., Yang, L., Zeng, Z.: Heilbronn problem for six points in a planar convex body. Combinatorics and Graph Theory 1995. vol. 1 (Hefei), pp. 97\u2013118, World Sci. Publishing, River Edge (1995)"},{"key":"30_CR10","series-title":"Nonconvex Optimization and Its Applications","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-1-4613-3557-3_13","volume-title":"Minimax and Applications","author":"A Dress","year":"1995","unstructured":"Dress, A., Yang, L., Zeng, Z.: Heilbronn problem for six points in a planar convex body. In: Du, D.Z., Pardalos, P.M. (eds.) Minimax and Applications. Nonconvex Optimization and Its Applications, vol. 4, pp. 173\u2013190. Springer, Boston (1995)"},{"key":"30_CR11","unstructured":"Friedman, E.: The Heilbronn problem for squares. \n https:\/\/www2.stetson.edu\/friedma\/heilbronn\/\n \n . Accessed 5 Apr 2019"},{"key":"30_CR12","unstructured":"Friedman, E.: The Heilbronn problem for triangles. \n https:\/\/www2.stetson.edu\/efriedma\/heiltri\/\n \n . Accessed 5 Apr 2019"},{"key":"30_CR13","unstructured":"Gavin, H., Scruggs, J.: Constrained optimization using Lagrange multipliers. \n http:\/\/people.duke.edu\/hpgavin\/cee201\/LagrangeMultipliers.pdf"},{"key":"30_CR14","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1080\/0025570X.1972.11976214","volume":"45","author":"M Goldberg","year":"1972","unstructured":"Goldberg, M.: Maximizing the smallest triangle made by points in a square. Math. Mag. 45, 135\u2013144 (1972)","journal-title":"Math. Mag."},{"key":"30_CR15","first-page":"114","volume":"XVIII","author":"M Kahle","year":"2008","unstructured":"Kahle, M.: Points in a triangle forcing small triangles. Geombinatorics XVIII, 114\u2013128 (2008). \n arxiv.org\/abs\/0811.2449v1","journal-title":"Geombinatorics"},{"key":"30_CR16","unstructured":"Karpov, P.: Notable results. \n https:\/\/inversed.ru\/Ascension.htm#results\n \n . Accessed 5 Apr 2019"},{"key":"30_CR17","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1112\/jlms\/s2-24.3.385","volume":"24","author":"J K\u00f3mlos","year":"1981","unstructured":"K\u00f3mlos, J., Pintz, J., Szemer\u00e9di, E.: On Heilbronn\u2019s triangle problem. J. London Math. Soc. 24, 385\u2013396 (1981)","journal-title":"J. London Math. Soc."},{"key":"30_CR18","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1112\/jlms\/s2-25.1.13","volume":"25","author":"J K\u00f3mlos","year":"1982","unstructured":"K\u00f3mlos, J., Pintz, J., Szemer\u00e9di, E.: A lower bound for Heilbronn\u2019s triangle problem. J. London Math. Soc. 25, 13\u201324 (1982)","journal-title":"J. London Math. Soc."},{"key":"30_CR19","unstructured":"Pegg Jr., E.: Heilbronn triangles in the unit square. Wolfram Demonstrations Project. \n http:\/\/demonstrations.wolfram.com\/HeilbronnTrianglesintheunitSquare\/\n \n . Accessed 6 Apr 2019"},{"key":"30_CR20","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1112\/jlms\/s1-26.3.198","volume":"26","author":"KF Roth","year":"1951","unstructured":"Roth, K.F.: On a problem of Heilbronn. J. London Math. Soc. 26, 198\u2013204 (1951)","journal-title":"J. London Math. Soc."},{"issue":"25","key":"30_CR21","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1112\/plms\/s3-25.2.193","volume":"3","author":"KF Roth","year":"1972","unstructured":"Roth, K.F.: On a problem of Heilbronn II. Proc. London Math Soc. 3(25), 193\u2013212 (1972)","journal-title":"Proc. London Math Soc."},{"issue":"25","key":"30_CR22","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1112\/plms\/s3-25.3.543","volume":"3","author":"KF Roth","year":"1972","unstructured":"Roth, K.F.: On a problem of Heilbronn III. Proc. London Math Soc. 3(25), 543\u2013549 (1972)","journal-title":"Proc. London Math Soc."},{"key":"30_CR23","doi-asserted-by":"crossref","unstructured":"Roth, K.F.: Estimation of the area of the smallest triangle obtained by selecting three out of \n \n \n \n $$n$$\n points in a disc of unit area. Proc. Symp. Pure Mathematics 24, AMS, Providence, 251\u2013262 (1973)","DOI":"10.1090\/pspum\/024\/0335445"},{"key":"30_CR24","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1016\/0001-8708(76)90100-6","volume":"22","author":"KF Roth","year":"1976","unstructured":"Roth, K.F.: Developments in Heilbronn\u2019s triangle problem. Adv. Math. 22, 364\u2013385 (1976)","journal-title":"Adv. Math."},{"issue":"3","key":"30_CR25","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1112\/jlms\/s2-4.3.545","volume":"s2-4","author":"Wolfgang M. Schmidt","year":"1972","unstructured":"Schmidt, W.: On a problem of Heilbronn. J. London Math. Soc. 4, 545\u2013550 (1971\/1972)","journal-title":"Journal of the London Mathematical Society"},{"key":"30_CR26","unstructured":"Sturmfels, S: Solving systems of polynomial equations. \n https:\/\/math.berkeley.edu\/bernd\/cbms.pdf\n \n . Accessed 25 May 2019"},{"key":"30_CR27","unstructured":"Tal, A.: Algorithms for Heilbronn\u2019s triangle problem. Israel Institute of Technology. Master Thesis. May 2009"},{"key":"30_CR28","unstructured":"Weisstein E.W.: Heilbronn triangle problem. From MathWorld - A Wolfram Web Resource. \n http:\/\/mathworld.wolfram.com\/HeilbronnTriangleProblem.html"},{"key":"30_CR29","series-title":"Nonconvex Optimization and Its Applications","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-1-4613-3557-3_14","volume-title":"Minimax and Applications","author":"L Yang","year":"1995","unstructured":"Yang, L., Zeng, Z.: Heilbronn problem for seven points in a planar convex body. In: Du, D.Z., Pardalos, P.M. (eds.) Minimax and Applications. Nonconvex Optimization and Its Applications, vol. 4, pp. 191\u2013218. Springer, Boston (1995)"},{"key":"30_CR30","unstructured":"Yang, L., Zhang, J., Zeng, Z.: Heilbronn problem for five points. Int\u2019l Centre Theoret. Physics preprint IC\/91\/252 (1991)"},{"key":"30_CR31","unstructured":"Yang, L., Zhang, J., Zeng, Z.: On Goldberg\u2019s conjecture: Computing the first several Heilbronn numbers. Universit\u00e4t Bielefeld, Preprint 91\u2013074 (1991)"},{"key":"30_CR32","unstructured":"Yang, L., Zhang, J., Zeng, Z.: On exact values of Heilbronn numbers for triangular regions. Universit\u00e4t Bielefeld, Preprint 91\u2013098 (1991)"},{"key":"30_CR33","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 13, 503\u2013515 (1992)","journal-title":"Chinese Ann. Math. Ser. A"},{"key":"30_CR34","first-page":"678","volume":"37","author":"L Yang","year":"1994","unstructured":"Yang, L., Zhang, J., Zeng, Z.: On the Heilbronn numbers of triangular regions. Acta Math Sinica 37, 678\u2013689 (1994)","journal-title":"Acta Math Sinica"},{"key":"30_CR35","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-642-21046-4_11","volume-title":"Automated Deduction in Geometry","author":"Z Zeng","year":"2011","unstructured":"Zeng, Z., Chen, L.: On the Heilbronn optimal configuration of seven points in the square. In: Sturm, T., Zengler, C. (eds.) ADG 2008. LNCS (LNAI), vol. 6301, pp. 196\u2013224. Springer, Heidelberg (2011). \n https:\/\/doi.org\/10.1007\/978-3-642-21046-4_11"},{"key":"30_CR36","unstructured":"Zeng, Z., Chen, L.: Heilbronn configuration of eight points in the square. Manuscript. 1\u201374"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-26831-2_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,14]],"date-time":"2019-08-14T19:09:12Z","timestamp":1565809752000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-26831-2_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030268305","9783030268312"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-26831-2_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"24 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CASC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Computer Algebra in Scientific Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Moscow","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Russia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 August 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 August 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"casc2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.casc.cs.uni-bonn.de\/2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}