Avigad, Jeremy Mathematics and the formal turn. arXiv:2311.00007 Preprint, arXiv:2311.00007 [math.HO] (2023). MSC: 03B35 68V20 68Q60 68V15 68V25 68V35 68T01 97U50 BibTeX Cite \textit{J. Avigad}, ``Mathematics and the formal turn'', Preprint, arXiv:2311.00007 [math.HO] (2023) Full Text: arXiv OA License
Pedersen, Jan B.; Welch, Peter H. The symbiosis of concurrency and verification: teaching and case studies. (English) Zbl 1382.68144 Formal Asp. Comput. 30, No. 2, 239-277 (2018). MSC: 68Q60 68Q85 97P20 PDFBibTeX XMLCite \textit{J. B. Pedersen} and \textit{P. H. Welch}, Formal Asp. Comput. 30, No. 2, 239--277 (2018; Zbl 1382.68144) Full Text: DOI
Mihăilă, Janina; Bigan, Cristin; Panduru, Valentin Mathematical modelling of noise mapping at wind turbine farms. (English) Zbl 1327.74075 Appl. Sci. 16, 48-55 (2014). MSC: 74H45 68N30 97M10 97M50 68U10 68U20 PDFBibTeX XMLCite \textit{J. Mihăilă} et al., Appl. Sci. 16, 48--55 (2014; Zbl 1327.74075) Full Text: Link
Westergaard, Michael; Fahland, Dirk; Stahl, Christian Grade/CPN: a tool and temporal logic for testing colored Petri net models in teaching. (English) Zbl 1394.68258 Koutny, Maciej (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency VIII. Berlin: Springer (ISBN 978-3-642-40464-1/pbk). Lecture Notes in Computer Science 8100. Journal Subline, 180-202 (2013). MSC: 68Q85 68Q60 68U35 97U70 PDFBibTeX XMLCite \textit{M. Westergaard} et al., Lect. Notes Comput. Sci. 8100, 180--202 (2013; Zbl 1394.68258) Full Text: DOI
Eisermann, Michael The fundamental theorem of algebra made effective: an elementary real-algebraic proof via Sturm chains. (English) Zbl 1267.26016 Am. Math. Mon. 119, No. 9, 715-752 (2012). MSC: 26C10 30C15 65H04 65G20 97I20 PDFBibTeX XMLCite \textit{M. Eisermann}, Am. Math. Mon. 119, No. 9, 715--752 (2012; Zbl 1267.26016) Full Text: DOI arXiv
Ben-Ari, Mordechai Mathematical logic for computer science. 3rd ed. (English) Zbl 1248.03001 Berlin: Springer (ISBN 978-1-4471-4128-0/pbk; 978-1-4471-4129-7/ebook). xv, 346 p. (2012). Reviewer: Damas Gruska (Bratislava) MSC: 03-01 68-01 00A06 03B05 03B10 03B35 03B44 03B70 68N17 68Q25 68Q60 68T15 97E30 97P20 PDFBibTeX XMLCite \textit{M. Ben-Ari}, Mathematical logic for computer science. 3rd ed. Berlin: Springer (2012; Zbl 1248.03001) Full Text: DOI
Backhouse, Roland Algorithmic problem solving. (English) Zbl 1260.00010 Chichester: Wiley (ISBN 978-0-470-68453-5/pbk). xiii, 414 p. (2011). Reviewer: Kim Solin (Uppsala) MSC: 00A35 97P20 97N70 68N30 68W40 97-01 68-01 PDFBibTeX XMLCite \textit{R. Backhouse}, Algorithmic problem solving. Chichester: Wiley (2011; Zbl 1260.00010)
Kormilitsyna, T. V. Numerical methods in systems of symbolic mathematics. (Russian. English summary) Zbl 1240.97007 Zh. Sredn. Mat. Obshch. 11, No. 2, 197-200 (2009). Reviewer: Pavel A. Shamanaev (Saransk) MSC: 97Q99 68N30 PDFBibTeX XMLCite \textit{T. V. Kormilitsyna}, Zh. Sredn. Mat. Obshch. 11, No. 2, 197--200 (2009; Zbl 1240.97007)
Feinerer, Ingo; Salzer, Gernot A comparison of tools for teaching formal software verification. (English) Zbl 1160.68439 Formal Asp. Comput. 21, No. 3, 293-301 (2009). MSC: 68Q60 97C80 PDFBibTeX XMLCite \textit{I. Feinerer} and \textit{G. Salzer}, Formal Asp. Comput. 21, No. 3, 293--301 (2009; Zbl 1160.68439) Full Text: DOI HAL
Wing, Jeannette M. Mathematics in computer science curricula. (English) Zbl 1073.68591 Boiten, Eerke A. (ed.) et al., Mathematics of program construction. 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8–10, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43857-2). Lect. Notes Comput. Sci. 2386, 22 (2002). MSC: 68N30 97D30 PDFBibTeX XMLCite \textit{J. M. Wing}, Lect. Notes Comput. Sci. 2386, 22 (2002; Zbl 1073.68591) Full Text: Link
Gries, David Equational logic as a tool. (English) Zbl 1496.68108 Alagar, V. S. (ed.) et al., Algebraic methodology and software technology. 4th international conference, AMAST ’95, Montreal, Canada, July 3–7, 1995. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 936, 1-17 (1995). MSC: 68N30 03B70 97P99 PDFBibTeX XMLCite \textit{D. Gries}, Lect. Notes Comput. Sci. 936, 1--17 (1995; Zbl 1496.68108) Full Text: DOI