Chudoba, Rostislav; Vořechovský, Miroslav; Aguilar, Mario; Baktheer, Abedulgader Coupled sliding-decohesion-compression model for a consistent description of monotonic and fatigue behavior of material interfaces. (English) Zbl 1507.74043 Comput. Methods Appl. Mech. Eng. 398, Article ID 115259, 30 p. (2022). MSC: 74A50 74A45 PDFBibTeX XMLCite \textit{R. Chudoba} et al., Comput. Methods Appl. Mech. Eng. 398, Article ID 115259, 30 p. (2022; Zbl 1507.74043) Full Text: DOI
Ya, Shukai; Eisenträger, Sascha; Song, Chongmin; Li, Jianbo An open-source ABAQUS implementation of the scaled boundary finite element method to study interfacial problems using polyhedral meshes. (English) Zbl 1506.74473 Comput. Methods Appl. Mech. Eng. 381, Article ID 113766, 36 p. (2021). MSC: 74S15 65M38 74A50 PDFBibTeX XMLCite \textit{S. Ya} et al., Comput. Methods Appl. Mech. Eng. 381, Article ID 113766, 36 p. (2021; Zbl 1506.74473) Full Text: DOI arXiv
Brandt, Alexander; Moir, Robert H. C.; Maza, Marc Moreno Employing C++ templates in the design of a computer algebra library. (English) Zbl 1503.68306 Bigatti, Anna Maria (ed.) et al., Mathematical software – ICMS 2020. 7th international conference, Braunschweig, Germany, July 13–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12097, 342-352 (2020). MSC: 68W30 68-04 68U35 68V35 PDFBibTeX XMLCite \textit{A. Brandt} et al., Lect. Notes Comput. Sci. 12097, 342--352 (2020; Zbl 1503.68306) Full Text: DOI
Chrapary, Hagen; Dalitz, Wolfgang Software products, software versions, archiving of software, and swMATH. (English) Zbl 1395.68323 Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 123-127 (2018). MSC: 68U35 PDFBibTeX XMLCite \textit{H. Chrapary} and \textit{W. Dalitz}, Lect. Notes Comput. Sci. 10931, 123--127 (2018; Zbl 1395.68323) Full Text: DOI
Aguerre, Horacio J.; Márquez Damián, Santiago; Gimenez, Juan M.; Nigro, Norberto M. Development of a parallelised fluid solver for problems with mesh interfaces and deforming domains. (English) Zbl 1390.76390 Comput. Fluids 168, 110-129 (2018). MSC: 76M12 65Y05 76V05 PDFBibTeX XMLCite \textit{H. J. Aguerre} et al., Comput. Fluids 168, 110--129 (2018; Zbl 1390.76390) Full Text: DOI
Abel, Andreas; Adelsberger, Stephan; Setzer, Anton Interactive programming in Agda – objects and graphical user interfaces. (English) Zbl 1418.68031 J. Funct. Program. 27, Paper No. e8, 54 p. (2017). MSC: 68N18 68T15 68U35 PDFBibTeX XMLCite \textit{A. Abel} et al., J. Funct. Program. 27, Paper No. e8, 54 p. (2017; Zbl 1418.68031) Full Text: DOI
Cohl, Howard S.; Schubotz, Moritz; Youssef, Abdou; Greiner-Petter, André; Gerhard, Jürgen; Saunders, Bonita V.; McClain, Marjorie A.; Bang, Joon; Chen, Kevin Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems. (English) Zbl 1367.68333 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, 115-131 (2017). MSC: 68U15 68U35 68W30 PDFBibTeX XMLCite \textit{H. S. Cohl} et al., Lect. Notes Comput. Sci. 10383, 115--131 (2017; Zbl 1367.68333) Full Text: DOI arXiv
Kohlhase, Michael; Sperber, Wolfram Software citations, information systems, and beyond. (English) Zbl 1367.68336 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, 99-114 (2017). MSC: 68U35 PDFBibTeX XMLCite \textit{M. Kohlhase} and \textit{W. Sperber}, Lect. Notes Comput. Sci. 10383, 99--114 (2017; Zbl 1367.68336) Full Text: DOI
Ion, Patrick D. F.; Watt, Stephen M. The global digital mathematics library and the international mathematical knowledge trust. (English) Zbl 1367.68335 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, 56-69 (2017). MSC: 68U35 PDFBibTeX XMLCite \textit{P. D. F. Ion} and \textit{S. M. Watt}, Lect. Notes Comput. Sci. 10383, 56--69 (2017; Zbl 1367.68335) Full Text: DOI
Carter, Nathan C.; Monks, Kenneth G. A web-based toolkit for mathematical word processing applications with semantics. (English) Zbl 1367.68332 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, 272-291 (2017). MSC: 68U15 68U35 PDFBibTeX XMLCite \textit{N. C. Carter} and \textit{K. G. Monks}, Lect. Notes Comput. Sci. 10383, 272--291 (2017; Zbl 1367.68332) Full Text: DOI
Prokhorenko, Victor; Choo, Kim-Kwang Raymond; Ashman, Helen Context-oriented web application protection model. (English) Zbl 1410.68042 Appl. Math. Comput. 285, 59-78 (2016). MSC: 68M11 68U35 PDFBibTeX XMLCite \textit{V. Prokhorenko} et al., Appl. Math. Comput. 285, 59--78 (2016; Zbl 1410.68042) Full Text: DOI
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
Müller, Fabian; Teschke, Olaf Progress of self-archiving within the DML corpus, with a view toward community dynamics. (English) Zbl 1344.68269 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, 63-74 (2016). MSC: 68U35 01A60 01A61 01A65 01A67 01A80 PDFBibTeX XMLCite \textit{F. Müller} and \textit{O. Teschke}, Lect. Notes Comput. Sci. 9791, 63--74 (2016; Zbl 1344.68269) Full Text: DOI
del Razo, M. J.; Morofuji, Y.; Meabon, J. S.; Huber, B. R.; Peskind, E. R.; Banks, W. A.; Mourad, P. D.; LeVeque, R. J.; Cook, D. G. Computational and in vitro studies of blast-induced blood-brain barrier disruption. (English) Zbl 1400.92177 SIAM J. Sci. Comput. 38, No. 3, B347-B374 (2016). MSC: 92C37 92-08 35Q92 PDFBibTeX XMLCite \textit{M. J. del Razo} et al., SIAM J. Sci. Comput. 38, No. 3, B347--B374 (2016; Zbl 1400.92177) Full Text: DOI arXiv
Schubotz, Moritz; Wicke, Gabriel Mathoid: robust, scalable, fast and accessible math rendering for Wikipedia. (English) Zbl 1304.68200 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, 224-235 (2014). MSC: 68U35 68U15 PDFBibTeX XMLCite \textit{M. Schubotz} and \textit{G. Wicke}, Lect. Notes Comput. Sci. 8543, 224--235 (2014; Zbl 1304.68200) Full Text: DOI arXiv