{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T07:58:36Z","timestamp":1726041516372},"publisher-location":"Cham","reference-count":52,"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_13","type":"book-chapter","created":{"date-parts":[[2019,8,14]],"date-time":"2019-08-14T23:07:07Z","timestamp":1565824027000},"page":"179-196","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Parametric Standard Bases and Their Applications"],"prefix":"10.1007","author":[{"given":"Amir","family":"Hashemi","sequence":"first","affiliation":[]},{"given":"Mahsa","family":"Kazemi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,7,24]]},"reference":[{"key":"13_CR1","unstructured":"Bahloul, R.: Parametric standard basis, degree bound and local Hilbert-Samuel function. \n                    ArXiv:1004.0908\n                    \n                  , pp. 1\u201324 (2010)"},{"issue":"3","key":"13_CR2","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1006\/jsco.1993.1018","volume":"15","author":"T Becker","year":"1993","unstructured":"Becker, T.: Standard bases in power series rings: uniqueness and superfluous critical pairs. J. Symb. Comput. 15(3), 251\u2013265 (1993)","journal-title":"J. Symb. Comput."},{"key":"13_CR3","unstructured":"Berkesch, C., Schreyer, F.-O.: Syzygies, finite length modules, and random curves. In: Commutative Algebra and Noncommutative Algebraic Geometry. Expository articles, vol. I, pp. 25\u201352. Cambridge University Press, Cambridge (2015)"},{"key":"13_CR4","unstructured":"Botana, F., Montes, A., Recio, T.: An algorithm for automatic discovery of algebraic loci. In: Proceeding of the ADG, pp. 53\u201359 (2012)"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/3-540-09519-5_52","volume-title":"Symbolic and Algebraic Computation","author":"B Buchberger","year":"1979","unstructured":"Buchberger, B.: A criterion for detecting unnecessary reductions in the construction of Gr\u00f6bner-bases. In: Ng, E.W. (ed.) Symbolic and Algebraic Computation. LNCS, vol. 72, pp. 3\u201321. Springer, Heidelberg (1979). \n                    https:\/\/doi.org\/10.1007\/3-540-09519-5_52"},{"issue":"3-4","key":"13_CR6","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1016\/j.jsc.2005.09.007","volume":"41","author":"Bruno Buchberger","year":"2006","unstructured":"Buchberger, B.: Bruno Buchberger\u2019s PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. J. Symb. Comput. 41, 3\u20134 (2006). Translation from the German, 475\u2013511","journal-title":"Journal of Symbolic Computation"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/11615798_3","volume-title":"Automated Deduction in Geometry","author":"X Chen","year":"2006","unstructured":"Chen, X., Li, P., Lin, L., Wang, D.: Proving geometric theorems by partitioned-Parametric Gr\u00f6bner bases. In: Hong, H., Wang, D. (eds.) ADG 2004. LNCS (LNAI), vol. 3763, pp. 34\u201343. Springer, Heidelberg (2006). \n                    https:\/\/doi.org\/10.1007\/11615798_3"},{"key":"13_CR8","volume-title":"Mechanical Geometry Theorem Proving","author":"S-C Chou","year":"1988","unstructured":"Chou, S.-C.: Mechanical Geometry Theorem Proving. D. Reidel Publishing Company, Dordrecht (1988)"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/BF02328448","volume":"2","author":"S-C Chou","year":"1986","unstructured":"Chou, S.-C., Schelter, W.F.: Proving geometry theorems with rewrite rules. J. Autom. Reasoning 2, 253\u2013273 (1986)","journal-title":"J. Autom. Reasoning"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-7091-9459-1_4","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","author":"GE Collins","year":"1998","unstructured":"Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decompostion. In: Caviness, B.F., Johnson, J.R. (eds.) GI-Fachtagung 1975. LNCS, pp. 85\u2013121. Springer, Wien: (1998). \n                    https:\/\/doi.org\/10.1007\/978-3-7091-9459-1_4"},{"key":"13_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35651-8","volume-title":"Ideals, Varieties, and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra","author":"D Cox","year":"2007","unstructured":"Cox, D., Little, J., O\u2019Shea, D.: Ideals, Varieties, and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3rd edn. Springer, New York (2007). \n                    https:\/\/doi.org\/10.1007\/978-0-387-35651-8","edition":"3"},{"key":"13_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6911-1","volume-title":"Using Algebraic Geometry","author":"DA Cox","year":"2005","unstructured":"Cox, D.A., Little, J., O\u2019Shea, D.: Using Algebraic Geometry, 2nd edn. Springer, New York (2005). \n                    https:\/\/doi.org\/10.1007\/978-1-4757-6911-1","edition":"2"},{"issue":"2","key":"13_CR13","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/s10817-009-9133-x","volume":"43","author":"G Dalzotto","year":"2009","unstructured":"Dalzotto, G., Recio, T.: On protocols for the automated discovery of theorems in elementary geometry. J. Autom. Reasoning 43(2), 203\u2013236 (2009)","journal-title":"J. Autom. Reasoning"},{"key":"13_CR14","unstructured":"Decker, W., Greuel, G.-M., Pfister, G., Sch\u00f6nemann, H.: Singular 4-1-1 \u2013 a computer algebra system for polynomial computations (2018). \n                    http:\/\/www.singular.uni-kl.de"},{"issue":"1\u20133","key":"13_CR15","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S0022-4049(99)00005-5","volume":"139","author":"J-C Faug\u00e8re","year":"1999","unstructured":"Faug\u00e8re, J.-C.: A new efficient algorithm for computing Gr\u00f6bner bases \n                    \n                      \n                    \n                    $$(F_4)$$\n                  . J. Pure Appl. Algebra 139(1\u20133), 61\u201388 (1999)","journal-title":"J. Pure Appl. Algebra"},{"key":"13_CR16","unstructured":"Faug\u00e8re, J.-C.: A new efficient algorithm for computing Gr\u00f6bner bases without reduction to zero \n                    \n                      \n                    \n                    $$(F_5)$$\n                  . In: Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation, ISSAC 2002, Lille, France, July 07\u201310, 2002, pp. 75\u201383. ACM Press, New York (2002)"},{"key":"13_CR17","unstructured":"Gazor, M., Kazemi, M.: Singularity: a maple library for local zeros of scalar smooth maps (2016)"},{"issue":"2\u20133","key":"13_CR18","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/S0747-7171(88)80048-8","volume":"6","author":"R Gebauer","year":"1988","unstructured":"Gebauer, R., M\u00f6ller, H.M.: On an installation of Buchberger\u2019s algorithm. J. Symb. Comput. 6(2\u20133), 275\u2013286 (1988)","journal-title":"J. Symb. Comput."},{"key":"13_CR19","unstructured":"Gelernter, H., Hanson, J. R., and Loveland, D. W.: Empirical explorations of the geometry-theorem proving machine. In: Proceeding of the West Joint Computer Conference (1960), pp. 143\u2013147"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Golubitsky, M., Stewart, I., Schaeffer, D.G.: Singularities and groups in bifurcation theory. vols. I, II. Springer-Verlag, New York, 1985, 1988","DOI":"10.1007\/978-1-4612-4574-2"},{"issue":"5","key":"13_CR21","first-page":"141","volume":"6","author":"P Gordan","year":"1900","unstructured":"Gordan, P.: Les invariants des formes binaires. J. Math. 6(5), 141\u2013156 (1900)","journal-title":"J. Math."},{"key":"13_CR22","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/BF01404124","volume":"15","author":"H Grauert","year":"1972","unstructured":"Grauert, H.: \u00dcber die Deformation isolierter Singularit\u00e4ten analytischer Mengen. Invent. Math. 15, 171\u2013198 (1972)","journal-title":"Invent. Math."},{"issue":"4","key":"13_CR23","doi-asserted-by":"publisher","first-page":"384","DOI":"10.3367\/UFNe.0185.201504f.0415","volume":"58","author":"AV Guglielmi","year":"2015","unstructured":"Guglielmi, A.V.: Foreshocks and aftershocks of strong earthquakes in the light of catastrophe theory. Physics-Uspekhi 58(4), 384\u2013397 (2015)","journal-title":"Physics-Uspekhi"},{"issue":"2","key":"13_CR24","doi-asserted-by":"publisher","first-page":"205","DOI":"10.2307\/1970547","volume":"79","author":"Heisuke Hironaka","year":"1964","unstructured":"Hironaka, H.: Resolution of singularities of an algebraic variety over a field of characteristic zero. I, II. Ann. Math. 79(2), 109\u2013203, 205\u2013326 (1964)","journal-title":"The Annals of Mathematics"},{"issue":"1","key":"13_CR25","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1006\/jsco.1997.0113","volume":"24","author":"M Kalkbrener","year":"1997","unstructured":"Kalkbrener, M.: On the stability of Gr\u00f6bner bases under specializations. J. Symb. Comput. 24(1), 51\u201358 (1997)","journal-title":"J. Symb. Comput."},{"key":"13_CR26","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/S0747-7171(86)80007-4","volume":"2","author":"D Kapur","year":"1986","unstructured":"Kapur, D.: Using Gr\u00f6bner bases to reason about geometry problems. J. Symb. Comput. 2, 399\u2013408 (1986)","journal-title":"J. Symb. Comput."},{"key":"13_CR27","first-page":"217","volume-title":"Principles and Practice of Constraint Programming","author":"D Kapur","year":"1995","unstructured":"Kapur, D.: An approach for solving systems of parametric polynomial equations. In: Sarawat, V., Van Hentenryck, P. (eds.) Principles and Practice of Constraint Programming, pp. 217\u2013224. MIT Press, Cambridge (1995)"},{"key":"13_CR28","doi-asserted-by":"crossref","unstructured":"Kapur, D., Sun, Y., Wang, D.: A new algorithm for computing comprehensive Gr\u00f6bner systems. In: Proceedings of the 35th International Symposium on Symbolic and Algebraic Computation, ISSAC 2010, Munich, Germany, July 25\u201328, 2010, pp. 29\u201336. Association for Computing Machinery (ACM), New York (2010)","DOI":"10.1145\/1837934.1837946"},{"key":"13_CR29","doi-asserted-by":"crossref","unstructured":"Kapur, D., Sun, Y., and Wang, D.: Computing comprehensive Gr\u00f6bner systems and comprehensive Gr\u00f6bner bases simultaneously. In: Proceedings of the 36th international symposium on symbolic and algebraic computation, ISSAC 2011, San Jose, CA, USA, June 7\u201311, 2011, pp. 193\u2013200. Association for Computing Machinery (ACM), New York (2011)","DOI":"10.1145\/1993886.1993918"},{"key":"13_CR30","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.jsc.2011.12.015","volume":"49","author":"D Kapur","year":"2013","unstructured":"Kapur, D., Sun, Y., Wang, D.: An efficient algorithm for computing a comprehensive Gr\u00f6bner system of a parametric polynomial system. J. Symb. Comput. 49, 27\u201344 (2013)","journal-title":"J. Symb. Comput."},{"key":"13_CR31","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1016\/j.jsc.2012.05.015","volume":"52","author":"D Kapur","year":"2013","unstructured":"Kapur, D., Sun, Y., Wang, D.: An efficient method for computing comprehensive Gr\u00f6bner bases. J. Symb. Comput. 52, 124\u2013142 (2013)","journal-title":"J. Symb. Comput."},{"key":"13_CR32","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1016\/S0747-7171(86)80006-2","volume":"2","author":"B Kutzler","year":"1986","unstructured":"Kutzler, B., Stifter, S.: On the application of Buchberger\u2019s algorithm to automated geometry theorem proving. J. Symb. Comput. 2, 389\u2013397 (1986)","journal-title":"J. Symb. Comput."},{"key":"13_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-12868-9_99","volume-title":"Computer Algebra","author":"D Lazard","year":"1983","unstructured":"Lazard, D.: Gr\u00f6bner bases, Gaussian elimination and resolution of systems of algebraic equations. In: van Hulzen, J.A. (ed.) EUROCAL 1983. LNCS, vol. 162, pp. 146\u2013156. Springer, Heidelberg (1983). \n                    https:\/\/doi.org\/10.1007\/3-540-12868-9_99"},{"issue":"11","key":"13_CR34","doi-asserted-by":"publisher","first-page":"1245","DOI":"10.1016\/j.jsc.2005.09.013","volume":"41","author":"M Manubens","year":"2006","unstructured":"Manubens, M., Montes, A.: Improving the DISPGB algorithm using the discriminant ideal. J. Symb. Comput. 41(11), 1245\u20131263 (2006)","journal-title":"J. Symb. Comput."},{"issue":"5","key":"13_CR35","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1016\/j.jsc.2007.07.022","volume":"44","author":"M Manubens","year":"2009","unstructured":"Manubens, M., Montes, A.: Minimal canonical comprehensive Gr\u00f6bner systems. J. Symb. Comput. 44(5), 463\u2013478 (2009)","journal-title":"J. Symb. Comput."},{"key":"13_CR36","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.jsc.2014.08.007","volume":"68","author":"MS Marais","year":"2015","unstructured":"Marais, M.S., Steenpa\u00df, A.: The classification of real singularities using Singular. I: Splitting lemma and simple singularities. J. Symb. Comput. 68, 61\u201371 (2015)","journal-title":"J. Symb. Comput."},{"key":"13_CR37","volume-title":"Singular Points of Complex Hypersurfaces","author":"JW Milnor","year":"1968","unstructured":"Milnor, J.W.: Singular Points of Complex Hypersurfaces, vol. 61. Princeton University Press, Princeton (1968)"},{"issue":"2\u20133","key":"13_CR38","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1016\/S0747-7171(88)80052-X","volume":"6","author":"HM M\u00f6ller","year":"1988","unstructured":"M\u00f6ller, H.M.: On the construction of Gr\u00f6bner bases using syzygies. J. Symb. Comput. 6(2\u20133), 345\u2013359 (1988)","journal-title":"J. Symb. Comput."},{"key":"13_CR39","doi-asserted-by":"crossref","unstructured":"M\u00f6ller, H. M., Mora, T., Traverso, C.: Gr\u00f6bner bases computation using syzygies, pp. 320\u2013328. In: Proceedings of ISSAC 1992. ACM Press, Baltimore (1992)","DOI":"10.1145\/143242.143343"},{"issue":"2","key":"13_CR40","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1006\/jsco.2001.0504","volume":"33","author":"A Montes","year":"2002","unstructured":"Montes, A.: A new algorithm for discussing Gr\u00f6bner bases with parameters. J. Symb. Comput. 33(2), 183\u2013208 (2002)","journal-title":"J. Symb. Comput."},{"key":"13_CR41","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-540-77356-6_8","volume-title":"Automated Deduction in Geometry","author":"A Montes","year":"2007","unstructured":"Montes, A., Recio, T.: Automatic discovery of geometry theorems using minimal canonical comprehensive Gr\u00f6bner systems. In: Botana, F., Recio, T. (eds.) ADG 2006. LNCS (LNAI), vol. 4869, pp. 113\u2013138. Springer, Heidelberg (2007). \n                    https:\/\/doi.org\/10.1007\/978-3-540-77356-6_8"},{"issue":"12","key":"13_CR42","doi-asserted-by":"publisher","first-page":"1391","DOI":"10.1016\/j.jsc.2010.06.017","volume":"45","author":"A Montes","year":"2010","unstructured":"Montes, A., Wibmer, M.: Gr\u00f6bner bases for polynomial systems with parameters. J. Symb. Comput. 45(12), 1391\u20131425 (2010)","journal-title":"J. Symb. Comput."},{"issue":"2","key":"13_CR43","doi-asserted-by":"publisher","first-page":"365","DOI":"10.2307\/1969640","volume":"60","author":"A Seidenberg","year":"1954","unstructured":"Seidenberg, A.: A new decision method for elementary algebra. Ann. Math. 60(2), 365\u2013374 (1954)","journal-title":"Ann. Math."},{"issue":"4","key":"13_CR44","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/S0747-7171(08)80104-6","volume":"13","author":"WY Sit","year":"1992","unstructured":"Sit, W.Y.: An algorithm for solving parametric linear systems. J. Symb. Comput. 13(4), 353\u2013394 (1992)","journal-title":"J. Symb. Comput."},{"issue":"2","key":"13_CR45","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/0167-2789(81)90012-9","volume":"2","author":"I Stewart","year":"1981","unstructured":"Stewart, I.: Applications of catastrophe theory to the physical sciences. Phys. D 2(2), 245\u2013305 (1981)","journal-title":"Phys. D"},{"key":"13_CR46","unstructured":"Suzuki, A., Sato, Y.: A simple algorithm to compute comprehensive Gr\u00f6bner bases using Gr\u00f6bner bases. In: Proceedings of the 2006 International Symposium on Symbolic and Algebraic Computation, ISSAC 2006, Genova, Italy, July 9\u201312, 2006, pp. 326\u2013331. ACM Press, New York (2006)"},{"key":"13_CR47","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-7091-9459-1_3","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","author":"A Tarski","year":"1998","unstructured":"Tarski, A.: A decision method for elementary algebra and geometry. In: Caviness, B.F., Johnson, J.R. (eds.) Quantifier Elimination and Cylindrical Algebraic Decomposition, pp. 24\u201384. Springer, Wien (1998). \n                    https:\/\/doi.org\/10.1007\/978-3-7091-9459-1_3"},{"key":"13_CR48","unstructured":"Thom, R.: Structural stability and morphogenesis: an outline of a general theory of models. Transl. from the French edition, as updated by the author Fowler, D.H. (ed.) Reprint from the 2nd Engl. ed. Addison-Wesley Publishing Company Inc, Redwood City (1989)"},{"issue":"1","key":"13_CR49","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0747-7171(92)90023-W","volume":"14","author":"V Weispfenning","year":"1992","unstructured":"Weispfenning, V.: Comprehensive Gr\u00f6bner bases. J. Symb. Comput. 14(1), 1\u201329 (1992)","journal-title":"J. Symb. Comput."},{"issue":"3\u20134","key":"13_CR50","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1016\/S0747-7171(03)00099-3","volume":"36","author":"V Weispfenning","year":"2003","unstructured":"Weispfenning, V.: Canonical comprehensive Gr\u00f6bner bases. J. Symb. Comput. 36(3\u20134), 669\u2013683 (2003)","journal-title":"J. Symb. Comput."},{"issue":"1","key":"13_CR51","first-page":"15","volume":"1","author":"F Winkler","year":"1990","unstructured":"Winkler, F.: Gr\u00f6bner bases in geometry theorem proving and simplest degeneracy conditions. Math. Pannonica 1(1), 15\u201332 (1990)","journal-title":"Math. Pannonica"},{"issue":"3","key":"13_CR52","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/s10817-016-9395-z","volume":"59","author":"J Zhou","year":"2017","unstructured":"Zhou, J., Wang, D., Sun, Y.: Automated reducible geometric theorem proving and discovery by Gr\u00f6bner basis method. J. Autom. Reasoning 59(3), 331\u2013344 (2017)","journal-title":"J. Autom. Reasoning"}],"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_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,14]],"date-time":"2019-08-14T23:08:03Z","timestamp":1565824083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-26831-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030268305","9783030268312"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-26831-2_13","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"}}]}}