Rabe, Florian; Watt, Stephen M. Extracting theory graphs from Aldor libraries. (English) Zbl 07810743 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 315-320 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{F. Rabe} and \textit{S. M. Watt}, Lect. Notes Comput. Sci. 14101, 315--320 (2023; Zbl 07810743) Full Text: DOI
Kohlhase, Michael; Rabe, Florian Experiences from exporting major proof assistant libraries. (English) Zbl 07461271 J. Autom. Reasoning 65, No. 8, 1265-1298 (2021). MSC: 68V15 PDFBibTeX XMLCite \textit{M. Kohlhase} and \textit{F. Rabe}, J. Autom. Reasoning 65, No. 8, 1265--1298 (2021; Zbl 07461271) Full Text: DOI arXiv
Rabe, Markus N.; Szegedy, Christian Towards the automatic mathematician. (English) Zbl 1510.68116 Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 25-37 (2021). Reviewer: Truong Hoang Le (Hà Nội) MSC: 68V15 68T05 68T50 68V20 PDFBibTeX XMLCite \textit{M. N. Rabe} and \textit{C. Szegedy}, Lect. Notes Comput. Sci. 12699, 25--37 (2021; Zbl 1510.68116) Full Text: DOI
Carette, Jacques; Farmer, William M.; Kohlhase, Michael; Rabe, Florian Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge. (English) Zbl 1493.68391 Math. Intell. 43, No. 1, 78-87 (2021). Reviewer: Truong Hoang Le (Hanoi) MSC: 68Vxx 00A30 00A35 01A65 01A67 PDFBibTeX XMLCite \textit{J. Carette} et al., Math. Intell. 43, No. 1, 78--87 (2021; Zbl 1493.68391) Full Text: DOI
Engbert, Ralf; Rabe, Maximilian M.; Kliegl, Reinhold; Reich, Sebastian Sequential data assimilation of the stochastic SEIR epidemic model for regional COVID-19 dynamics. (English) Zbl 1457.92163 Bull. Math. Biol. 83, No. 1, Paper No. 1, 16 p. (2021). MSC: 92D30 PDFBibTeX XMLCite \textit{R. Engbert} et al., Bull. Math. Biol. 83, No. 1, Paper No. 1, 16 p. (2021; Zbl 1457.92163) Full Text: DOI
Kohlhase, Michael; Rabe, Florian; Wenzel, Makarius Making Isabelle content accessible in knowledge representation formats. (English) Zbl 07756106 Bezem, Marc (ed.) et al., 25th international conference on types for proofs and programs. TYPES 2019, June 11–14, 2019, Oslo, Norway. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 175, Article 1, 24 p. (2020). MSC: 03B70 68N30 PDFBibTeX XMLCite \textit{M. Kohlhase} et al., LIPIcs -- Leibniz Int. Proc. Inform. 175, Article 1, 24 p. (2020; Zbl 07756106) Full Text: DOI arXiv
Kohlhase, Michael; Rabe, Florian; Sacerdoti Coen, Claudio; Schaefer, Jan Frederik Logic-independent proof search in logical frameworks (short paper). (English) Zbl 07614524 Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12166, 395-401 (2020). MSC: 68V15 PDFBibTeX XMLCite \textit{M. Kohlhase} et al., Lect. Notes Comput. Sci. 12166, 395--401 (2020; Zbl 07614524) Full Text: DOI
Marcus, Richard; Kohlhase, Michael; Rabe, Florian TGView3D: a system for 3-dimensional visualization of theory graphs. (English) Zbl 1455.68267 Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 290-296 (2020). MSC: 68V30 PDFBibTeX XMLCite \textit{R. Marcus} et al., Lect. Notes Comput. Sci. 12236, 290--296 (2020; Zbl 1455.68267) Full Text: DOI
Müller, Dennis; Rabe, Florian; Rothgang, Colin; Kohlhase, Michael Representing structural language features in formal meta-languages. (English) Zbl 1455.68268 Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 206-221 (2020). MSC: 68V30 68N15 PDFBibTeX XMLCite \textit{D. Müller} et al., Lect. Notes Comput. Sci. 12236, 206--221 (2020; Zbl 1455.68268) Full Text: DOI
Berčič, Katja; Kohlhase, Michael; Rabe, Florian Towards a heterogeneous query language for mathematical knowledge. (English) Zbl 1455.68264 Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 39-54 (2020). MSC: 68V30 68P20 PDFBibTeX XMLCite \textit{K. Berčič} et al., Lect. Notes Comput. Sci. 12236, 39--54 (2020; Zbl 1455.68264) Full Text: DOI
Seelig, Stefan A.; Rabe, Maximilian M.; Malem-Shinitski, Noa; Risse, Sarah; Reich, Sebastian; Engbert, Ralf Bayesian parameter estimation for the Swift model of eye-movement control during reading. (English) Zbl 1437.91365 J. Math. Psychol. 95, Article ID 102313, 16 p. (2020). MSC: 91E10 62P15 62F15 PDFBibTeX XMLCite \textit{S. A. Seelig} et al., J. Math. Psychol. 95, Article ID 102313, 16 p. (2020; Zbl 1437.91365) Full Text: DOI arXiv
Rabe, Florian; Müller, Dennis Structuring theories with implicit morphisms. (English) Zbl 1444.68293 Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 154-173 (2019). MSC: 68V30 PDFBibTeX XMLCite \textit{F. Rabe} and \textit{D. Müller}, Lect. Notes Comput. Sci. 11563, 154--173 (2019; Zbl 1444.68293) Full Text: DOI
Tentrup, Leander; Rabe, Markus N. Clausal abstraction for DQBF. (English) Zbl 1441.68241 Janota, Mikoláš (ed.) et al., Theory and applications of satisfiability testing – SAT 2019. 22nd international conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11628, 388-405 (2019). MSC: 68T20 68R07 PDFBibTeX XMLCite \textit{L. Tentrup} and \textit{M. N. Rabe}, Lect. Notes Comput. Sci. 11628, 388--405 (2019; Zbl 1441.68241) Full Text: DOI arXiv
Amann, Kai; Kohlhase, Michael; Rabe, Florian; Wiesing, Tom Integrating semantic mathematical documents and dynamic notebooks. (English) Zbl 1428.68355 Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 275-290 (2019). MSC: 68V35 PDFBibTeX XMLCite \textit{K. Amann} et al., Lect. Notes Comput. Sci. 11617, 275--290 (2019; Zbl 1428.68355) Full Text: DOI
Müller, Dennis; Rabe, Florian; Sacerdoti Coen, Claudio The Coq library as a theory graph. (English) Zbl 1428.68344 Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 171-186 (2019). MSC: 68V15 68V30 PDFBibTeX XMLCite \textit{D. Müller} et al., Lect. Notes Comput. Sci. 11617, 171--186 (2019; Zbl 1428.68344) Full Text: DOI
Condoluci, Andrea; Kohlhase, Michael; Müller, Dennis; Rabe, Florian; Sacerdoti Coen, Claudio; Wenzel, Makarius Relational data across mathematical libraries. (English) Zbl 1428.68352 Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 61-76 (2019). MSC: 68V30 68V35 PDFBibTeX XMLCite \textit{A. Condoluci} et al., Lect. Notes Comput. Sci. 11617, 61--76 (2019; Zbl 1428.68352) Full Text: DOI
Berčič, Katja; Kohlhase, Michael; Rabe, Florian Towards a unified mathematical data infrastructure: database and interface generation. (English) Zbl 1428.68356 Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 28-43 (2019). MSC: 68V35 PDFBibTeX XMLCite \textit{K. Berčič} et al., Lect. Notes Comput. Sci. 11617, 28--43 (2019; Zbl 1428.68356) Full Text: DOI
Merkle, Edgar C.; Furr, Daniel; Rabe-Hesketh, Sophia Bayesian comparison of latent variable models: conditional versus marginal likelihoods. (English) Zbl 1431.62551 Psychometrika 84, No. 3, 802-829 (2019). MSC: 62P15 62B10 PDFBibTeX XMLCite \textit{E. C. Merkle} et al., Psychometrika 84, No. 3, 802--829 (2019; Zbl 1431.62551) Full Text: DOI arXiv
Rabe, Markus N.; Tentrup, Leander; Rasmussen, Cameron; Seshia, Sanjit A. Understanding and extending incremental determinization for 2QBF. (English) Zbl 1511.68258 Chockler, Hana (ed.) et al., Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Part II. Cham: Springer Open. Lect. Notes Comput. Sci. 10982, 256-274 (2018). MSC: 68T20 03B70 PDFBibTeX XMLCite \textit{M. N. Rabe} et al., Lect. Notes Comput. Sci. 10982, 256--274 (2018; Zbl 1511.68258) Full Text: DOI arXiv
Jeon, Minjeong; Rijmen, Frank; Rabe-Hesketh, Sophia CFA models with a general factor and multiple sets of secondary factors. (English) Zbl 1422.62351 Psychometrika 83, No. 4, 785-808 (2018). MSC: 62P15 62J10 62H25 PDFBibTeX XMLCite \textit{M. Jeon} et al., Psychometrika 83, No. 4, 785--808 (2018; Zbl 1422.62351) Full Text: DOI
Müller, Dennis; Rabe, Florian; Kohlhase, Michael Theories as types. (English) Zbl 1511.68340 Galmiche, Didier (ed.) et al., Automated reasoning. 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10900, 575-590 (2018). MSC: 68V30 68N30 PDFBibTeX XMLCite \textit{D. Müller} et al., Lect. Notes Comput. Sci. 10900, 575--590 (2018; Zbl 1511.68340) Full Text: DOI
Müller, Dennis; Kohlhase, Michael; Rabe, Florian Automatically finding theory morphisms for knowledge management. (English) Zbl 1417.68211 Rabe, Florian (ed.) et al., Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11006, 209-224 (2018). MSC: 68T30 PDFBibTeX XMLCite \textit{D. Müller} et al., Lect. Notes Comput. Sci. 11006, 209--224 (2018; Zbl 1417.68211) Full Text: DOI
Rabe, Florian (ed.); Farmer, William M. (ed.); Passmore, Grant O. (ed.); Youssef, Abdou (ed.) Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13–17, 2018. Proceedings. (English) Zbl 1392.68030 Lecture Notes in Computer Science 11006. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-319-96811-7/pbk; 978-3-319-96812-4/ebook). xii, 287 p. (2018). MSC: 68-06 68Txx 00B25 PDFBibTeX XMLCite \textit{F. Rabe} (ed.) et al., Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13--17, 2018. Proceedings. Cham: Springer (2018; Zbl 1392.68030) Full Text: DOI
Faymonville, Peter; Finkbeiner, Bernd; Rabe, Markus N.; Tentrup, Leander Encodings of bounded synthesis. (English) Zbl 1452.68118 Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 354-370 (2017). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{P. Faymonville} et al., Lect. Notes Comput. Sci. 10205, 354--370 (2017; Zbl 1452.68118) Full Text: DOI arXiv
Mossakowski, Till; Rabe, Florian; Codescu, Mihai Canonical selection of colimits. (English) Zbl 1496.68203 James, Phillip (ed.) et al., Recent trends in algebraic development techniques. 23rd IFIP WG 1.3 international workshop, WADT 2016, Gregynog, UK, September 21–24, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10644, 170-188 (2017). MSC: 68Q65 18A30 PDFBibTeX XMLCite \textit{T. Mossakowski} et al., Lect. Notes Comput. Sci. 10644, 170--188 (2017; Zbl 1496.68203) Full Text: DOI arXiv
Wiesing, Tom; Kohlhase, Michael; Rabe, Florian Virtual theories – a uniform interface to mathematical knowledge bases. (English) Zbl 1497.68550 Blömer, Johannes (ed.) et al., Mathematical aspects of computer and information sciences. 7th international conference, MACIS 2017, Vienna, Austria, November 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10693, 243-257 (2017). MSC: 68V30 PDFBibTeX XMLCite \textit{T. Wiesing} et al., Lect. Notes Comput. Sci. 10693, 243--257 (2017; Zbl 1497.68550) Full Text: DOI
Kohlhase, Michael; De Feo, Luca; Müller, Dennis; Pfeiffer, Markus; Rabe, Florian; Thiéry, Nicolas M.; Vasilyev, Victor; Wiesing, Tom Knowledge-based interoperability for mathematical software systems. (English) Zbl 1497.68551 Blömer, Johannes (ed.) et al., Mathematical aspects of computer and information sciences. 7th international conference, MACIS 2017, Vienna, Austria, November 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10693, 195-210 (2017). MSC: 68V35 68V30 PDFBibTeX XMLCite \textit{M. Kohlhase} et al., Lect. Notes Comput. Sci. 10693, 195--210 (2017; Zbl 1497.68551) Full Text: DOI Link
de Mello Koch, Robert; Rabambi, Phumudzo; Rabe, Randle; Ramgoolam, Sanjaye Counting and construction of holomorphic primary fields in free CFT4 from rings of functions on Calabi-Yau orbifolds. (English) Zbl 1381.81125 J. High Energy Phys. 2017, No. 8, Paper No. 77, 48 p. (2017). MSC: 81T40 14J32 32Q25 PDFBibTeX XMLCite \textit{R. de Mello Koch} et al., J. High Energy Phys. 2017, No. 8, Paper No. 77, 48 p. (2017; Zbl 1381.81125) Full Text: DOI arXiv
Kohlhase, Michael; Müller, Dennis; Owre, Sam; Rabe, Florian Making PVS accessible to generic services by interpretation in a universal format. (English) Zbl 1484.68311 Ayala-Rincón, Mauricio (ed.) et al., Interactive theorem proving. 8th international conference, ITP 2017, Brasília, Brazil, September 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10499, 319-335 (2017). MSC: 68V15 68V20 68V30 PDFBibTeX XMLCite \textit{M. Kohlhase} et al., Lect. Notes Comput. Sci. 10499, 319--335 (2017; Zbl 1484.68311) Full Text: DOI
Jeon, Minjeong; Rijmen, Frank; Rabe-Hesketh, Sophia A variational maximization-maximization algorithm for generalized linear mixed models with crossed random effects. (English) Zbl 1402.62043 Psychometrika 82, No. 3, 693-716 (2017). MSC: 62F15 62J12 62P15 65C60 PDFBibTeX XMLCite \textit{M. Jeon} et al., Psychometrika 82, No. 3, 693--716 (2017; Zbl 1402.62043) Full Text: DOI
Rabe, Markus N. A resolution-style proof system for DQBF. (English) Zbl 1496.03050 Gaspers, Serge (ed.) et al., Theory and applications of satisfiability testing – SAT 2017. 20th international conference, Melbourne, VIC, Australia, August 28 – September 1, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10491, 314-325 (2017). MSC: 03B35 68V15 PDFBibTeX XMLCite \textit{M. N. Rabe}, Lect. Notes Comput. Sci. 10491, 314--325 (2017; Zbl 1496.03050) Full Text: DOI
Müller, Dennis; Gauthier, Thibault; Kaliszyk, Cezary; Kohlhase, Michael; Rabe, Florian Classification of alignments between concepts of formal mathematical systems. (English) Zbl 1367.68309 Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 83-98 (2017). MSC: 68T30 68T15 68U35 PDFBibTeX XMLCite \textit{D. Müller} et al., Lect. Notes Comput. Sci. 10383, 83--98 (2017; Zbl 1367.68309) Full Text: DOI Link
Geuvers, Herman (ed.); England, Matthew (ed.); Hasan, Osman (ed.); Rabe, Florian (ed.); Teschke, Olaf (ed.) Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. (English) Zbl 1364.68010 Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). xviii, 375 p. (2017). MSC: 68-06 68Txx 00B25 PDFBibTeX XMLCite \textit{H. Geuvers} (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17--21, 2017. Proceedings. Cham: Springer (2017; Zbl 1364.68010) Full Text: DOI
Koch, Robert de Mello; Rabambi, Phumudzo; Rabe, Randle; Ramgoolam, Sanjaye Free quantum fields in 4D and Calabi-Yau spaces. arXiv:1705.04039 Preprint, arXiv:1705.04039 [hep-th] (2017). BibTeX Cite \textit{R. de M. Koch} et al., ``Free quantum fields in 4D and Calabi-Yau spaces'', Preprint, arXiv:1705.04039 [hep-th] (2017) Full Text: DOI arXiv OA License
Kohlhase, Michael; Rabe, Florian QED reloaded: towards a pluralistic formal library of mathematical knowledge. (English) Zbl 1451.68343 J. Formaliz. Reason. 9, No. 1, 201-234 (2016). MSC: 68V30 PDFBibTeX XMLCite \textit{M. Kohlhase} and \textit{F. Rabe}, J. Formaliz. Reason. 9, No. 1, 201--234 (2016; Zbl 1451.68343) Full Text: DOI
Jeon, Minjeong; Rabe-Hesketh, Sophia An autoregressive growth model for longitudinal item analysis. (English) Zbl 1345.62150 Psychometrika 81, No. 3, 830-850 (2016). MSC: 62P15 62M10 PDFBibTeX XMLCite \textit{M. Jeon} and \textit{S. Rabe-Hesketh}, Psychometrika 81, No. 3, 830--850 (2016; Zbl 1345.62150) Full Text: DOI
Rabe, Markus N.; Seshia, Sanjit A. Incremental determinization. (English) Zbl 1475.68222 Creignou, Nadia (ed.) et al., Theory and applications of satisfiability testing – SAT 2016. 19th international conference, Bordeaux, France, July 5–8, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9710, 375-392 (2016). MSC: 68R07 68T20 PDFBibTeX XMLCite \textit{M. N. Rabe} and \textit{S. A. Seshia}, Lect. Notes Comput. Sci. 9710, 375--392 (2016; Zbl 1475.68222) Full Text: DOI Link
Dehaye, Paul-Olivier; Iancu, Mihnea; Kohlhase, Michael; Konovalov, Alexander; Lelièvre, Samuel; Müller, Dennis; Pfeiffer, Markus; Rabe, Florian; Thiéry, Nicolas M.; Wiesing, Tom Interoperability in the OpenDreamKit project: the math-in-the-middle approach. (English) Zbl 1344.68268 Kohlhase, Michael (ed.) et al., Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42546-7/pbk; 978-3-319-42547-4/ebook). Lecture Notes in Computer Science 9791. Lecture Notes in Artificial Intelligence, 117-131 (2016). MSC: 68U35 68T30 PDFBibTeX XMLCite \textit{P.-O. Dehaye} et al., Lect. Notes Comput. Sci. 9791, 117--131 (2016; Zbl 1344.68268) Full Text: DOI arXiv
Fearnley, John; Rabe, Markus N.; Schewe, Sven; Zhang, Lijun Efficient approximation of optimal control for continuous-time Markov games. (English) Zbl 1337.91015 Inf. Comput. 247, 106-129 (2016). MSC: 91A15 90C40 68Q87 93E20 PDFBibTeX XMLCite \textit{J. Fearnley} et al., Inf. Comput. 247, 106--129 (2016; Zbl 1337.91015) Full Text: DOI
Finkbeiner, Bernd; Rabe, Markus N.; Sánchez, César Algorithms for model checking HyperLTL and HyperCTL\(^*\). (English) Zbl 1381.68161 Kroening, Daniel (ed.) et al., Computer aided verification. 27th international conference, CAV 2015, San Francisco, CA, USA, July 18–24, 2015. Proceedings. Part I. Cham: Springer (ISBN 978-3-319-21689-8/pbk; 978-3-319-21690-4/ebook). Lecture Notes in Computer Science 9206, 30-48 (2015). MSC: 68Q60 03B44 68Q45 PDFBibTeX XMLCite \textit{B. Finkbeiner} et al., Lect. Notes Comput. Sci. 9206, 30--48 (2015; Zbl 1381.68161) Full Text: DOI
Badé, Rabé; Chaker, Hedia; Abdelwahed, Mohamed A finite volume method to solve the compressible Navier-Stokes system on unstructured mesh. (English) Zbl 1329.65194 Int. J. Appl. Math. 28, No. 1, 65-84 (2015). MSC: 65M08 35Q30 35Q31 PDFBibTeX XMLCite \textit{R. Badé} et al., Int. J. Appl. Math. 28, No. 1, 65--84 (2015; Zbl 1329.65194)
Kerber, Manfred (ed.); Carette, Jacques (ed.); Kaliszyk, Cezary (ed.); Rabe, Florian (ed.); Sorge, Volker (ed.) Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. (English) Zbl 1316.68015 Lecture Notes in Computer Science 9150. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-319-20614-1/pbk; 978-3-319-20615-8/ebook). xxi, 359 p. (2015). MSC: 68-06 68Txx 00B25 PDFBibTeX XMLCite \textit{M. Kerber} (ed.) et al., Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13--17, 2015, Proceedings. Cham: Springer (2015; Zbl 1316.68015) Full Text: DOI
Rabe, H.; Ran, A. C. M. A peculiar permutation phenomenon arising from the singular vector entries of a special class of Toeplitz matrices. (English) Zbl 1309.15021 Linear Algebra Appl. 459, 368-383 (2014). MSC: 15A18 15B05 PDFBibTeX XMLCite \textit{H. Rabe} and \textit{A. C. M. Ran}, Linear Algebra Appl. 459, 368--383 (2014; Zbl 1309.15021) Full Text: DOI
Horozal, Fulya; Rabe, Florian; Kohlhase, Michael Flexary operators for formalized mathematics. (English) Zbl 1304.68171 Watt, Stephen M. (ed.) et al., Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08433-6/pbk). Lecture Notes in Computer Science 8543. Lecture Notes in Artificial Intelligence, 312-327 (2014). MSC: 68T30 PDFBibTeX XMLCite \textit{F. Horozal} et al., Lect. Notes Comput. Sci. 8543, 312--327 (2014; Zbl 1304.68171) Full Text: DOI
Rabe, Hermann; Ran, André C. M. Asymptotics of the smallest singular value of a class of Toeplitz-generated matrices. II. (English) Zbl 1380.15028 Integral Equations Oper. Theory 79, No. 2, 243-253 (2014). MSC: 15B05 15A18 47B35 PDFBibTeX XMLCite \textit{H. Rabe} and \textit{A. C. M. Ran}, Integral Equations Oper. Theory 79, No. 2, 243--253 (2014; Zbl 1380.15028) Full Text: DOI
Rabe, Hermann; Ran, André C. M. Asymptotics of the smallest singular value of a class of Toeplitz-generated matrices and related finite rank perturbations. (English) Zbl 1292.15031 Integral Equations Oper. Theory 77, No. 3, 385-396 (2013). MSC: 15B05 15A18 47B35 PDFBibTeX XMLCite \textit{H. Rabe} and \textit{A. C. M. Ran}, Integral Equations Oper. Theory 77, No. 3, 385--396 (2013; Zbl 1292.15031) Full Text: DOI
Rabe, Florian; Kohlhase, Michael A scalable module system. (English) Zbl 1358.68283 Inf. Comput. 230, 1-54 (2013). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{F. Rabe} and \textit{M. Kohlhase}, Inf. Comput. 230, 1--54 (2013; Zbl 1358.68283) Full Text: DOI
Codescu, Mihai; Horozal, Fulya; Jakubauskas, Aivaras; Mossakowski, Till; Rabe, Florian Compiling logics. (English) Zbl 1394.68071 Martí-Oliet, Narciso (ed.) et al., Recent trends in algebraic development techniques. 21st international workshop, WADT 2012, Salamanca, Spain, June 7–10, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-37634-4/pbk). Lecture Notes in Computer Science 7841, 111-126 (2013). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{M. Codescu} et al., Lect. Notes Comput. Sci. 7841, 111--126 (2013; Zbl 1394.68071) Full Text: DOI
Kohlhase, Michael; Mance, Felix; Rabe, Florian A universal machine for biform theory graphs. (English) Zbl 1278.68267 Carette, Jacques (ed.) et al., Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39319-8/pbk). Lecture Notes in Computer Science 7961. Lecture Notes in Artificial Intelligence, 82-97 (2013). MSC: 68T15 68T30 68W30 PDFBibTeX XMLCite \textit{M. Kohlhase} et al., Lect. Notes Comput. Sci. 7961, 82--97 (2013; Zbl 1278.68267) Full Text: DOI arXiv
Iancu, Mihnea; Kohlhase, Michael; Rabe, Florian; Urban, Josef The Mizar Mathematical Library in OMDoc: translation and applications. (English) Zbl 1260.68375 J. Autom. Reasoning 50, No. 2, 191-202 (2013). MSC: 68T15 68T30 PDFBibTeX XMLCite \textit{M. Iancu} et al., J. Autom. Reasoning 50, No. 2, 191--202 (2013; Zbl 1260.68375) Full Text: DOI
Rabe, Markus N.; Schewe, Sven Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games. (English) Zbl 1261.90087 Theor. Comput. Sci. 467, 53-67 (2013). MSC: 90C40 90B36 91A15 PDFBibTeX XMLCite \textit{M. N. Rabe} and \textit{S. Schewe}, Theor. Comput. Sci. 467, 53--67 (2013; Zbl 1261.90087) Full Text: DOI
Schmid, Matthias; Hothorn, Torsten; Krause, Friedemann; Rabe, Christina A PAUC-based estimation technique for disease classification and biomarker selection. (English) Zbl 1296.92070 Stat. Appl. Genet. Mol. Biol. 11, No. 5, Article No. 3, 24 p. (2012). MSC: 92B15 PDFBibTeX XMLCite \textit{M. Schmid} et al., Stat. Appl. Genet. Mol. Biol. 11, No. 5, Article No. 3, 24 p. (2012; Zbl 1296.92070) Full Text: DOI Link
Kohlhase, Michael; Rabe, Florian Semantics of OpenMath and MathML3. (English) Zbl 1271.68221 Math. Comput. Sci. 6, No. 3, 235-260 (2012). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{M. Kohlhase} and \textit{F. Rabe}, Math. Comput. Sci. 6, No. 3, 235--260 (2012; Zbl 1271.68221) Full Text: DOI
Giro, Sergio; Rabe, Markus N. Verification of partial-information probabilistic systems using counterexample-guided refinements. (English) Zbl 1374.68287 Chakraborty, Supratik (ed.) et al., Automated technology for verification and analysis. 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33385-9/pbk). Lecture Notes in Computer Science 7561, 333-348 (2012). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{S. Giro} and \textit{M. N. Rabe}, Lect. Notes Comput. Sci. 7561, 333--348 (2012; Zbl 1374.68287) Full Text: DOI
Iancu, Mihnea; Rabe, Florian Management of change in declarative languages. (English) Zbl 1360.68809 Jeuring, Johan (ed.) et al., Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31373-8/pbk). Lecture Notes in Computer Science 7362. Lecture Notes in Artificial Intelligence, 326-341 (2012). MSC: 68T30 68N15 PDFBibTeX XMLCite \textit{M. Iancu} and \textit{F. Rabe}, Lect. Notes Comput. Sci. 7362, 326--341 (2012; Zbl 1360.68809) Full Text: DOI
Horozal, Fulya; Kohlhase, Michael; Rabe, Florian Extending MKM formats at the statement level. (English) Zbl 1278.68293 Jeuring, Johan (ed.) et al., Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31373-8/pbk). Lecture Notes in Computer Science 7362. Lecture Notes in Artificial Intelligence, 65-80 (2012). MSC: 68T30 PDFBibTeX XMLCite \textit{F. Horozal} et al., Lect. Notes Comput. Sci. 7362, 65--80 (2012; Zbl 1278.68293) Full Text: DOI
Dimitrova, Rayna; Finkbeiner, Bernd; Kovács, Máté; Rabe, Markus N.; Seidl, Helmut Model checking information flow in reactive systems. (English) Zbl 1326.68182 Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22–24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 169-185 (2012). MSC: 68Q60 03B44 68Q85 PDFBibTeX XMLCite \textit{R. Dimitrova} et al., Lect. Notes Comput. Sci. 7148, 169--185 (2012; Zbl 1326.68182) Full Text: DOI Link
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian; Sojakova, Kristina Towards logical frameworks in the heterogeneous tool set Hets. (English) Zbl 1278.68286 Mossakowski, Till (ed.) et al., Recent trends in algebraic development techniques. 20th international workshop, WADT 2010, Etelsen, Germany, July 1–4, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28411-3/pbk). Lecture Notes in Computer Science 7137, 139-159 (2012). MSC: 68T27 03B40 68Q65 68T15 PDFBibTeX XMLCite \textit{M. Codescu} et al., Lect. Notes Comput. Sci. 7137, 139--159 (2012; Zbl 1278.68286) Full Text: DOI
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian A proof theoretic interpretation of model theoretic hiding. (English) Zbl 1278.68202 Mossakowski, Till (ed.) et al., Recent trends in algebraic development techniques. 20th international workshop, WADT 2010, Etelsen, Germany, July 1–4, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28411-3/pbk). Lecture Notes in Computer Science 7137, 118-138 (2012). MSC: 68Q65 03B40 68T15 PDFBibTeX XMLCite \textit{M. Codescu} et al., Lect. Notes Comput. Sci. 7137, 118--138 (2012; Zbl 1278.68202) Full Text: DOI
Fearnley, John; Rabe, Markus; Schewe, Sven; Zhang, Lijun Efficient approximation of optimal control for continuous-time Markov games. (English) Zbl 1246.68165 Chakraborthy, Supraik (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2011), Mumbai, India, December 12–14, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-34-7). LIPIcs – Leibniz International Proceedings in Informatics 13, 399-410, electronic only (2011). MSC: 68Q87 91A15 68Q60 PDFBibTeX XMLCite \textit{J. Fearnley} et al., LIPIcs -- Leibniz Int. Proc. Inform. 13, 399--410 (2011; Zbl 1246.68165) Full Text: DOI arXiv
Rabe, Markus N.; Schewe, Sven Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games. (English) Zbl 1242.91016 Acta Inf. 48, No. 5-6, 291-315 (2011). Reviewer: Anna Jaskiewicz (Wrocław) MSC: 91A15 90C40 93E20 PDFBibTeX XMLCite \textit{M. N. Rabe} and \textit{S. Schewe}, Acta Inf. 48, No. 5--6, 291--315 (2011; Zbl 1242.91016) Full Text: DOI arXiv
Iancu, Mihnea; Rabe, Florian Formalising foundations of mathematics. (English) Zbl 1242.03031 Math. Struct. Comput. Sci. 21, No. 4, 883-911 (2011). Reviewer: Viorica Sofronie-Stokkermans (Koblenz) MSC: 03B35 03B30 03E30 PDFBibTeX XMLCite \textit{M. Iancu} and \textit{F. Rabe}, Math. Struct. Comput. Sci. 21, No. 4, 883--911 (2011; Zbl 1242.03031) Full Text: DOI
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian Project abstract: logic atlas and integrator (LATIN). (English) Zbl 1278.68285 Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 289-291 (2011). MSC: 68T27 PDFBibTeX XMLCite \textit{M. Codescu} et al., Lect. Notes Comput. Sci. 6824, 289--291 (2011; Zbl 1278.68285) Full Text: DOI
Horozal, Fulya; Iacob, Alin; Jucovschi, Constantin; Kohlhase, Michael; Rabe, Florian Combining source, content, presentation, narration, and relational representation. (English) Zbl 1278.68292 Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 212-227 (2011). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{F. Horozal} et al., Lect. Notes Comput. Sci. 6824, 212--227 (2011; Zbl 1278.68292) Full Text: DOI
Rabe, Florian; Kohlhase, Michael; Sacerdoti Coen, Claudio A foundational view on integration problems. (English) Zbl 1278.68289 Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 107-122 (2011). MSC: 68T27 68T15 68T30 68W30 PDFBibTeX XMLCite \textit{F. Rabe} et al., Lect. Notes Comput. Sci. 6824, 107--122 (2011; Zbl 1278.68289) Full Text: DOI arXiv
Davenport, James H. (ed.); Farmer, William M. (ed.); Urban, Josef (ed.); Rabe, Florian (ed.) Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. (English) Zbl 1218.68014 Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). xiii, 312 p. (2011). MSC: 68-06 68Txx 00B25 PDFBibTeX XMLCite \textit{J. H. Davenport} (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18--23, 2011. Proceedings. Berlin: Springer (2011; Zbl 1218.68014) Full Text: DOI
Alsafadie, Rabe; Battini, Jean-Marc; Hjiaj, Mohammed Efficient local formulation for elasto-plastic corotational thin-walled beams. (English) Zbl 1432.74105 Int. J. Numer. Methods Biomed. Eng. 27, No. 4, 498-509 (2011). MSC: 74K10 74C05 PDFBibTeX XMLCite \textit{R. Alsafadie} et al., Int. J. Numer. Methods Biomed. Eng. 27, No. 4, 498--509 (2011; Zbl 1432.74105) Full Text: DOI
Rabe, Markus; Schewe, Sven Optimal time-abstract schedulers for CTMDPs and Markov games. (English) Zbl 1456.90174 Di Pierro, Alessandra (ed.) et al., Proceedings of the eighth workshop on quantitative aspects of programming languages, Paphos, Cyprus, March 27–28, 2010. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 28, 144-158 (2010). MSC: 90C40 90B36 91A15 PDFBibTeX XMLCite \textit{M. Rabe} and \textit{S. Schewe}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 28, 144--158 (2010; Zbl 1456.90174) Full Text: Link
Alsafadie, R.; Hjiaj, M.; Battini, J.-M. Corotational mixed finite element formulation for thin-walled beams with generic cross-section. (English) Zbl 1225.74076 Comput. Methods Appl. Mech. Eng. 199, No. 49-52, 3197-3212 (2010). MSC: 74S05 74K10 PDFBibTeX XMLCite \textit{R. Alsafadie} et al., Comput. Methods Appl. Mech. Eng. 199, No. 49--52, 3197--3212 (2010; Zbl 1225.74076) Full Text: DOI
Kohlhase, Michael; Rabe, Florian; Zholudev, Vyacheslav Towards MKM in the large: modular representation and scalable software architecture. (English) Zbl 1278.68297 Autexier, Serge (ed.) et al., Intelligent computer mathematics. 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5–10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14127-0/pbk). Lecture Notes in Computer Science 6167. Lecture Notes in Artificial Intelligence, 370-384 (2010). MSC: 68T30 PDFBibTeX XMLCite \textit{M. Kohlhase} et al., Lect. Notes Comput. Sci. 6167, 370--384 (2010; Zbl 1278.68297) Full Text: DOI arXiv
Rabe, C.; Malet, J.; Feuillebois, F. Experimental investigation of water droplet binary collisions and description of outcomes with a symmetric weber number. (English) Zbl 1190.76100 Phys. Fluids 22, No. 4, Paper No. 047101, 11 p. (2010). MSC: 76-XX PDFBibTeX XMLCite \textit{C. Rabe} et al., Phys. Fluids 22, No. 4, Paper No. 047101, 11 p. (2010; Zbl 1190.76100) Full Text: DOI
Kohlhase, Michael; Müller, Christine; Rabe, Florian Notations for living mathematical documents. (English) Zbl 1166.00304 Autexier, Serge (ed.) et al., Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28–August 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85109-7/pbk). Lecture Notes in Computer Science 5144. Lecture Notes in Artificial Intelligence, 504-519 (2008). MSC: 00A35 68U15 68U35 PDFBibTeX XMLCite \textit{M. Kohlhase} et al., Lect. Notes Comput. Sci. 5144, 504--519 (2008; Zbl 1166.00304) Full Text: DOI
Mertins, K.; Friedland, R.; Rabe, M. Capacity assignment of virtual manufacturing cells by applying lot size harmonization. (English) Zbl 1081.90551 Int. J. Prod. Res. 38, No. 17, 4385-4391 (2000). MSC: 90B30 PDFBibTeX XMLCite \textit{K. Mertins} et al., Int. J. Prod. Res. 38, No. 17, 4385--4391 (2000; Zbl 1081.90551) Full Text: DOI
Mardia, K. V.; Rabe, S.; Kent, J. T. Statistics, shape and images. (English) Zbl 0836.62025 Titterington, D. M. (ed.), Complex stochastic systems and engineering. Based on the proceedings of the IMA conference held at Leeds. UK, September 1993. Oxford: Clarendon Press, Inst. Math. Appl. Conf. Ser., New Ser. 54, 85-103 (1995). MSC: 62F15 62P99 68U10 PDFBibTeX XMLCite \textit{K. V. Mardia} et al., Inst. Math. Appl. Conf. Ser., New Ser. 54, 85--103 (1995; Zbl 0836.62025)
Morton, G.; von Randow, R.; Ringwald, K. A greedy algorithm for solving a class of convex programming problems and its connection with polymatroid theory. (English) Zbl 0566.90074 Math. Program. 32, 238-241 (1985). MSC: 90C25 90C55 52Bxx PDFBibTeX XMLCite \textit{G. Morton} et al., Math. Program. 32, 238--241 (1985; Zbl 0566.90074) Full Text: DOI
Grötschel, Martin; von Randow, Rabe A property of continuous unbounded algorithms. (English) Zbl 0382.90075 Math. Program. 14, 373-377 (1978). MSC: 90C30 PDFBibTeX XMLCite \textit{M. Grötschel} and \textit{R. von Randow}, Math. Program. 14, 373--377 (1978; Zbl 0382.90075) Full Text: DOI
König, D.; Jansen, U.; Kotzurek, M.; Rabe, H. Ergebnisse von Invarianzuntersuchungen für ausgewählte Bedienungs- und Zuverlässigkeitssysteme. (German) Zbl 0357.60020 Math. Operationsforsch. Stat. 7, 523-556 (1976). MSC: 60K25 60K20 90B25 PDFBibTeX XMLCite \textit{D. König} et al., Math. Operationsforsch. Stat. 7, 523--556 (1976; Zbl 0357.60020) Full Text: DOI
Stear, Edwin B. (ed.); Mortensen, Richard E. (ed.); Rabe, Walter J. (ed.); Sorenson, Harold W. (ed.); Stubberud, Allen R. (ed.) Proceedings of the 4th symposium on nonlinear estimation theory and its applications, September 10-12, 1973, San Diego, California. (English) Zbl 0331.00034 North Hollywood, Calif.: Western Periodicals, Co. VII, 377 p. $ 47.50 (1974). MSC: 00Bxx 94-06 62-06 93-06 PDFBibTeX XML
Meyer, Werner; von Randow, R. Ein Würfelschnittproblem und Bernoullische Zahlen. (German) Zbl 0209.34402 Math. Ann. 193, 315-321 (1971). MSC: 11B68 PDFBibTeX XMLCite \textit{W. Meyer} and \textit{R. von Randow}, Math. Ann. 193, 315--321 (1971; Zbl 0209.34402) Full Text: DOI EuDML
Stone, M.; von Randow, R. Statistically inspired conditions on the group structure of invariant experiments and their relationships with other conditions on locally compact topological groups. (English) Zbl 0162.50101 Z. Wahrscheinlichkeitstheor. Verw. Geb. 10, 70-80 (1968). PDFBibTeX XMLCite \textit{M. Stone} and \textit{R. von Randow}, Z. Wahrscheinlichkeitstheor. Verw. Geb. 10, 70--80 (1968; Zbl 0162.50101) Full Text: DOI