{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,10]],"date-time":"2026-05-10T10:22:12Z","timestamp":1778408532122,"version":"3.51.4"},"publisher-location":"Cham","reference-count":50,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031147876","type":"print"},{"value":"9783031147883","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-14788-3_13","type":"book-chapter","created":{"date-parts":[[2022,8,10]],"date-time":"2022-08-10T14:24:42Z","timestamp":1660141482000},"page":"225-245","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On Boundary Conditions Parametrized by\u00a0Analytic Functions"],"prefix":"10.1007","author":[{"given":"Markus","family":"Lange-Hegermann","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Robertz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,8,11]]},"reference":[{"issue":"10","key":"13_CR1","doi-asserted-by":"publisher","first-page":"1233","DOI":"10.1016\/j.jsc.2011.12.043","volume":"47","author":"T B\u00e4chler","year":"2012","unstructured":"B\u00e4chler, T., Gerdt, V., Lange-Hegermann, M., Robertz, D.: Algorithmic Thomas decomposition of algebraic and differential systems. J. Symb. Comput. 47(10), 1233\u20131266 (2012)","journal-title":"J. Symb. Comput."},{"key":"13_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9096-9","volume-title":"Reproducing Kernel Hilbert Spaces in Probability and Statistics","author":"A Berlinet","year":"2004","unstructured":"Berlinet, A., Thomas-Agnan, C.: Reproducing Kernel Hilbert Spaces in Probability and Statistics. Kluwer, Boston (2004)"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Berns, F., Lange-Hegermann, M., Beecks, C.: Towards Gaussian processes for automatic and interpretable anomaly detection in industry 4.0. In: Proceedings of the International Conference on Innovative Intelligent Industrial Production and Logistics - IN4PL (2020)","DOI":"10.5220\/0010130300870092"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Bogachev, V.I.: Gaussian Measures. Mathematical Surveys and Monographs, vol. 62. American Mathematical Society, Providence (1998)","DOI":"10.1090\/surv\/062"},{"issue":"5","key":"13_CR5","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/s00200-005-0188-6","volume":"16","author":"F Chyzak","year":"2005","unstructured":"Chyzak, F., Quadrat, A., Robertz, D.: Effective algorithms for parametrizing linear control systems over Ore algebras. Appl. Algebra Eng. Commun. Comput. 16(5), 319\u2013376 (2005)","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"key":"13_CR6","volume-title":"Stationary and Related Stochastic Processes","author":"H Cram\u00e9r","year":"2004","unstructured":"Cram\u00e9r, H., Leadbetter, M.R.: Stationary and Related Stochastic Processes. Dover Publications Inc., Mineola (2004)"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Ehrenpreis, L.: Solution of some problems of division. I. Division by a polynomial of derivation. Am. J. Math. 76, 883\u2013903 (1954)","DOI":"10.2307\/2372662"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/j.cpc.2018.07.025","volume":"234","author":"VP Gerdt","year":"2019","unstructured":"Gerdt, V.P., Lange-Hegermann, M., Robertz, D.: The MAPLE package TDDS for computing Thomas decompositions of systems of nonlinear PDEs. Comput. Phys. Commun. 234, 202\u2013215 (2019)","journal-title":"Comput. Phys. Commun."},{"key":"13_CR9","unstructured":"Graepel, T.: Solving noisy linear operator equations by Gaussian processes: application to ordinary and partial differential equations. In: Proceedings of the Twentieth International Conference on International Conference on Machine Learning, pp. 234\u2013241 (2003)"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Gulian, M., Frankel, A., Swiler, L.: Gaussian process regression constrained by boundary value problems. Comput. Methods Appl. Mech. Eng. 388, Paper No. 114117, 18 (2022)","DOI":"10.1016\/j.cma.2021.114117"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Honkela, A., et al.: Genome-wide modeling of transcription kinetics reveals patterns of RNA production delays. In: Proceedings of the National Academy of Sciences (2015)","DOI":"10.1073\/pnas.1420404112"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Jacobson, N.: The Theory of Rings. American Mathematical Society Mathematical Surveys, vol. II. American Mathematical Society (1943)","DOI":"10.1090\/surv\/002"},{"key":"13_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511790423","volume-title":"Probability Theory","author":"ET Jaynes","year":"2003","unstructured":"Jaynes, E.T.: Probability Theory. Cambridge University Press, Cambridge (2003)"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Jidling, C., et al.: Probabilistic modelling and reconstruction of strain. Nucl. Instrum. Methods Phys. Res. Sect. B Beam Interact. Mater. Atoms 436, 141\u2013155 (2018)","DOI":"10.1016\/j.nimb.2018.08.051"},{"key":"13_CR15","unstructured":"Jidling, C., Wahlstr\u00f6m, N., Wills, A., Sch\u00f6n, T.B.: Linearly constrained gaussian processes. In: Advances in Neural Information Processing Systems (2017)"},{"key":"13_CR16","unstructured":"John, D., Heuveline, V., Schober, M.: GOODE: a Gaussian off-the-shelf ordinary differential equation solver. In: Proceedings of the 36th International Conference on Machine Learning (2019)"},{"key":"13_CR17","unstructured":"Lange-Hegermann, M.: Counting solutions of differential equations. Ph.D. thesis, RWTH Aachen (2014)"},{"key":"13_CR18","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/978-3-319-70566-8_18","volume-title":"Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory","author":"M Lange-Hegermann","year":"2017","unstructured":"Lange-Hegermann, M.: The differential dimension polynomial for characterizable differential ideals. In: B\u00f6ckle, G., Decker, W., Malle, G. (eds.) Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory, pp. 443\u2013453. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-70566-8_18"},{"key":"13_CR19","unstructured":"Lange-Hegermann, M.: Algorithmic linearly constrained Gaussian processes. In: Advances in Neural Information Processing Systems (2018)"},{"issue":"2","key":"13_CR20","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/s10208-018-9378-z","volume":"18","author":"M Lange-Hegermann","year":"2018","unstructured":"Lange-Hegermann, M.: The differential counting polynomial. Found. Comput. Math. 18(2), 291\u2013308 (2018)","journal-title":"Found. Comput. Math."},{"key":"13_CR21","unstructured":"Lange-Hegermann, M.: Linearly constrained Gaussian processes with boundary conditions. In: International Conference on Artificial Intelligence and Statistics. PMLR (2021)"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Lange-Hegermann, M., Robertz, D.: Thomas decompositions of parametric nonlinear control systems. IFAC Proc. Vol. 46(2), 296\u2013301 (2013)","DOI":"10.3182\/20130204-3-FR-2033.00099"},{"key":"13_CR23","series-title":"Advances in Delays and Dynamics","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-030-38356-5_4","volume-title":"Algebraic and Symbolic Computation Methods in Dynamical Systems","author":"M Lange-Hegermann","year":"2020","unstructured":"Lange-Hegermann, M., Robertz, D.: Thomas decomposition and nonlinear control systems. In: Quadrat, A., Zerz, E. (eds.) Algebraic and Symbolic Computation Methods in Dynamical Systems. ADD, vol. 9, pp. 117\u2013146. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-38356-5_4"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Lange-Hegermann, M., Robertz, D., Seiler, W.M., Sei\u00df, M.: Singularities of algebraic differential equations. Adv. Appl. Math. 131, Paper No. 102266, 56 (2021)","DOI":"10.1016\/j.aam.2021.102266"},{"key":"13_CR25","unstructured":"Mac\u00eado, I., Castro, R.: Learning divergence-free and curl-free vector fields with matrix-valued kernels. Instituto Nacional de Matematica Pura e Aplicada, Brasil, Technical report (2008)"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Malgrange, B.: Existence et approximation des solutions des \u00e9quations aux d\u00e9riv\u00e9es partielles et des \u00e9quations de convolution (1955\/56). http:\/\/aif.cedram.org\/item?id=AIF_1955__6__271_0","DOI":"10.5802\/aif.65"},{"key":"13_CR27","unstructured":"Malgrange, B.: Division des distributions. S\u00e9minaire Schwartz (1959)"},{"key":"13_CR28","series-title":"Graduate Studies in Mathematics","doi-asserted-by":"crossref","DOI":"10.1090\/gsm\/030","volume-title":"Noncommutative Noetherian Rings","author":"JC McConnell","year":"2001","unstructured":"McConnell, J.C., Robson, J.C.: Noncommutative Noetherian Rings. Graduate Studies in Mathematics, vol. 30. American Mathematical Society, Providence (2001)"},{"key":"13_CR29","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-1-4612-0745-0_2","volume-title":"Bayesian Learning for Neural Networks","author":"RM Neal","year":"1996","unstructured":"Neal, R.M.: Priors for infinite networks. In: Neal, R.M. (ed.) Bayesian Learning for Neural Networks, pp. 29\u201353. Springer, New York (1996). https:\/\/doi.org\/10.1007\/978-1-4612-0745-0_2"},{"key":"13_CR30","unstructured":"Nicholson, J., Kiessler, P., Brown, D.A.: A kernel-based approach for modelling Gaussian processes with functional information. arXiv preprint arXiv:2201.11023 (2022)"},{"issue":"1\u20132","key":"13_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00046908","volume":"20","author":"U Oberst","year":"1990","unstructured":"Oberst, U.: Multidimensional constant linear systems. Acta Appl. Math. 20(1\u20132), 1\u2013175 (1990)","journal-title":"Acta Appl. Math."},{"key":"13_CR32","unstructured":"Quadrat, A.: Syst\u00e8mes et Structures - Une approche de la th\u00e9orie math\u00e9matique des syst\u00e8mes par l\u2019analyse alg\u00e9brique constructive. Habilitation thesis, Universit\u00e9 de Nice (Sophia Antipolis), France, April 2010"},{"key":"13_CR33","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/s10440-012-9791-2","volume":"127","author":"A Quadrat","year":"2013","unstructured":"Quadrat, A.: Grade filtration of linear functional systems. Acta Appl. Math. 127, 27\u201386 (2013)","journal-title":"Acta Appl. Math."},{"key":"13_CR34","volume-title":"Gaussian Processes for Machine Learning","author":"CE Rasmussen","year":"2006","unstructured":"Rasmussen, C.E., Williams, C.K.I.: Gaussian Processes for Machine Learning. MIT Press, Cambridge (2006)"},{"key":"13_CR35","doi-asserted-by":"crossref","unstructured":"Regensburger, G., Rosenkranz, M., Middeke, J.: A skew polynomial approach to integro-differential operators. In: ISSAC 2009\u2013Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, pp. 287\u2013294. ACM, New York (2009)","DOI":"10.1145\/1576702.1576742"},{"key":"13_CR36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11445-3","volume-title":"Formal Algorithmic Elimination for PDEs","author":"D Robertz","year":"2014","unstructured":"Robertz, D.: Formal Algorithmic Elimination for PDEs. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11445-3"},{"issue":"2","key":"13_CR37","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/s11045-014-0280-9","volume":"26","author":"D Robertz","year":"2014","unstructured":"Robertz, D.: Recent progress in an algebraic analysis approach to linear systems. Multidimension. Syst. Signal Process. 26(2), 349\u2013388 (2014). https:\/\/doi.org\/10.1007\/s11045-014-0280-9","journal-title":"Multidimension. Syst. Signal Process."},{"issue":"8","key":"13_CR38","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1016\/j.jsc.2007.11.007","volume":"43","author":"M Rosenkranz","year":"2008","unstructured":"Rosenkranz, M., Regensburger, G.: Solving and factoring boundary problems for linear ordinary differential equations in differential algebras. J. Symb. Comput. 43(8), 515\u2013544 (2008)","journal-title":"J. Symb. Comput."},{"key":"13_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-21738-8_20","volume-title":"Artificial Neural Networks and Machine Learning \u2013 ICANN 2011","author":"S S\u00e4rkk\u00e4","year":"2011","unstructured":"S\u00e4rkk\u00e4, S.: Linear operators and stochastic partial differential equations in Gaussian process regression. In: Honkela, T., Duch, W., Girolami, M., Kaski, S. (eds.) ICANN 2011. LNCS, vol. 6792, pp. 151\u2013158. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21738-8_20"},{"issue":"3","key":"13_CR40","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1080\/15326349.2012.699756","volume":"28","author":"M Scheuerer","year":"2012","unstructured":"Scheuerer, M., Schlather, M.: Covariance models for divergence-free and curl-free random vector fields. Stoch. Models 28(3), 433\u2013451 (2012)","journal-title":"Stoch. Models"},{"key":"13_CR41","unstructured":"Simon-Gabriel, C.J., Sch\u00f6lkopf, B.: Kernel distribution embeddings: universal kernels, characteristic kernels and kernel metrics on distributions. J. Mach. Learn. Res. 19, Paper No. 44, 29 (2018)"},{"key":"13_CR42","unstructured":"Solin, A., Kok, M.: Know your boundaries: constraining Gaussian processes by variational harmonic features. In: Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics (2019)"},{"issue":"4","key":"13_CR43","doi-asserted-by":"publisher","first-page":"1112","DOI":"10.1109\/TRO.2018.2830326","volume":"34","author":"A Solin","year":"2018","unstructured":"Solin, A., Kok, M., Wahlstr\u00f6m, N., Sch\u00f6n, T.B., S\u00e4rkk\u00e4, S.: Modeling and interpolation of the ambient magnetic field by Gaussian processes. IEEE Trans. Robot. 34(4), 1112\u20131127 (2018)","journal-title":"IEEE Trans. Robot."},{"issue":"2","key":"13_CR44","first-page":"621","volume":"28","author":"MHY Tan","year":"2018","unstructured":"Tan, M.H.Y.: Gaussian process modeling with boundary information. Statist. Sinica 28(2), 621\u2013648 (2018)","journal-title":"Statist. Sinica"},{"key":"13_CR45","unstructured":"Thewes, S., Lange-Hegermann, M., Reuber, C., Beck, R.: Advanced Gaussian process modeling techniques. In: Design of Experiments (DoE) in Powertrain Development (2015)"},{"key":"13_CR46","series-title":"Ergebnisse der Mathematik und ihrer Grenzgebiete","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-59320-2","volume-title":"Id\u00e9aux de fonctions diff\u00e9rentiables","author":"JC Tougeron","year":"1972","unstructured":"Tougeron, J.C.: Id\u00e9aux de fonctions diff\u00e9rentiables. Ergebnisse der Mathematik und ihrer Grenzgebiete, Springer, Heidelberg (1972). https:\/\/doi.org\/10.1007\/978-3-662-59320-2"},{"key":"13_CR47","doi-asserted-by":"crossref","unstructured":"Wahlstr\u00f6m, N., Kok, M., Sch\u00f6n, T.B., Gustafsson, F.: Modeling magnetic fields using Gaussian processes. In: Proceedings of the 38th International Conference on Acoustics, Speech, and Signal Processing (ICASSP) (2013)","DOI":"10.1109\/ICASSP.2013.6638313"},{"key":"13_CR48","doi-asserted-by":"publisher","first-page":"635","DOI":"10.2307\/2372203","volume":"70","author":"H Whitney","year":"1948","unstructured":"Whitney, H.: On ideals of differentiable functions. Am. J. Math. 70, 635\u2013658 (1948)","journal-title":"Am. J. Math."},{"issue":"6","key":"13_CR49","doi-asserted-by":"publisher","first-page":"2037","DOI":"10.1080\/00927870903015226","volume":"38","author":"E Zerz","year":"2010","unstructured":"Zerz, E., Seiler, W.M., Hausdorf, M.: On the inverse syzygy problem. Commun. Algebra 38(6), 2037\u20132047 (2010)","journal-title":"Commun. Algebra"},{"key":"13_CR50","unstructured":"Zimmer, C., Meister, M., Nguyen-Tuong, D.: Safe active learning for time-series modeling with Gaussian processes. In: Advances in Neural Information Processing Systems (2018)"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-14788-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,11]],"date-time":"2022-08-11T23:16:45Z","timestamp":1660259805000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-14788-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031147876","9783031147883"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-14788-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"11 August 2022","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":"Gebze","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Turkey","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 August 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 August 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"casc2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/casc-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"32","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"63% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.25","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5.1","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}