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
Huang, Kangjing; Qiu, Xiaokang Bootstrapping library-based synthesis. (English) Zbl 1524.68091 Singh, Gagandeep (ed.) et al., Static analysis. 29th international symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13790, 272-298 (2022). MSC: 68N30 68N15 PDFBibTeX XMLCite \textit{K. Huang} and \textit{X. Qiu}, Lect. Notes Comput. Sci. 13790, 272--298 (2022; Zbl 1524.68091) Full Text: DOI
Avni, Guy; Kupferman, Orna Synthesis from component libraries with costs. (English) Zbl 1386.68099 Theor. Comput. Sci. 712, 50-72 (2018). MSC: 68Q60 03B44 68Q45 91A80 PDFBibTeX XMLCite \textit{G. Avni} and \textit{O. Kupferman}, Theor. Comput. Sci. 712, 50--72 (2018; Zbl 1386.68099) Full Text: DOI
Einkemmer, Lukas A resistive magnetohydrodynamics solver using modern C++ and the Boost library. (English) Zbl 1380.65470 Comput. Phys. Commun. 206, 69-77 (2016). MSC: 65Y15 76M20 76W05 65M06 76-04 PDFBibTeX XMLCite \textit{L. Einkemmer}, Comput. Phys. Commun. 206, 69--77 (2016; Zbl 1380.65470) Full Text: DOI arXiv
Schuppan, Viktor Enhancing unsatisfiable cores for LTL with information on temporal relevance. (English) Zbl 1356.68146 Theor. Comput. Sci. 655, Part B, 155-192 (2016). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{V. Schuppan}, Theor. Comput. Sci. 655, Part B, 155--192 (2016; Zbl 1356.68146) Full Text: DOI arXiv
Schuppan, Viktor Extracting unsatisfiable cores for LTL via temporal resolution. (English) Zbl 1338.68170 Acta Inf. 53, No. 3, 247-299 (2016). MSC: 68Q60 03B44 68T15 PDFBibTeX XMLCite \textit{V. Schuppan}, Acta Inf. 53, No. 3, 247--299 (2016; Zbl 1338.68170) Full Text: DOI arXiv
Kostomarov, D. P.; Zaitsev, F. S.; Shishkin, A. G.; Stepanov, S. V.; Suchkov, E. P. Automating computations in the Virtual Tokamak software system. (English. Russian original) Zbl 1267.82007 Mosc. Univ. Comput. Math. Cybern. 36, No. 4, 165-168 (2012); translation from Vestn. Mosk. Univ., Ser. XV 2012, No. 4, 7-10 (2012). MSC: 82-04 82D75 65Y05 PDFBibTeX XMLCite \textit{D. P. Kostomarov} et al., Mosc. Univ. Comput. Math. Cybern. 36, No. 4, 165--168 (2012; Zbl 1267.82007); translation from Vestn. Mosk. Univ., Ser. XV 2012, No. 4, 7--10 (2012) Full Text: DOI
Feng, Xinyu; Shao, Zhong; Guo, Yu; Dong, Yuan Certifying low-level programs with hardware interrupts and preemptive threads. (English) Zbl 1191.68176 J. Autom. Reasoning 42, No. 2-4, 301-347 (2009). MSC: 68N25 68N30 03B70 68Q60 PDFBibTeX XMLCite \textit{X. Feng} et al., J. Autom. Reasoning 42, No. 2--4, 301--347 (2009; Zbl 1191.68176) Full Text: DOI
Allen, S. F.; Bickford, M.; Constable, R. L.; Eaton, R.; Kreitz, C.; Lorigo, L.; Moran, E. Innovations in computational type theory using Nuprl. (English) Zbl 1107.68090 J. Appl. Log. 4, No. 4, 428-469 (2006). MSC: 68T15 03B35 PDFBibTeX XMLCite \textit{S. F. Allen} et al., J. Appl. Log. 4, No. 4, 428--469 (2006; Zbl 1107.68090) Full Text: DOI
Cohen, Albert; Donadio, Sébastien; Garzaran, Maria-Jesus; Herrmann, Christoph; Kiselyov, Oleg; Padua, David In search of a program generator to implement generic transformations for high-performance computing. (English) Zbl 1100.68535 Sci. Comput. Program. 62, No. 1, 25-46 (2006). MSC: 68N19 68N20 PDFBibTeX XMLCite \textit{A. Cohen} et al., Sci. Comput. Program. 62, No. 1, 25--46 (2006; Zbl 1100.68535) Full Text: DOI
Shang, H. M.; Chen, Y. S. Development and application of a pressure-based CFD parallel computing algorithm. (English) Zbl 0986.76063 Lin, C. A. (ed.) et al., Parallel computational fluid dynamics. Development and applications of parallel technology. Proceedings of the Parallel CFD ’98. Conference, Hsinchu, Taiwan, May 11-14, 1998. Amsterdam: Elsevier. 317-324 (1999). MSC: 76M20 76N15 65Y05 PDFBibTeX XMLCite \textit{H. M. Shang} and \textit{Y. S. Chen}, in: Parallel computational fluid dynamics. Development and applications of parallel technology. Proceedings of the Parallel CFD '98. Conference, Hsinchu, Taiwan, May 11--14, 1998. Amsterdam: Elsevier. 317--324 (1999; Zbl 0986.76063)
Kurapova, E. V.; Ryabko, B. Ya. Application of formal grammars for encoding information sources. (English. Russian original) Zbl 0901.94012 Probl. Inf. Transm. 31, No. 1, 23-26 (1995); translation from Probl. Peredachi Inf. 31, No. 1, 28-32 (1995). MSC: 94A29 68Q99 PDFBibTeX XMLCite \textit{E. V. Kurapova} and \textit{B. Ya. Ryabko}, Probl. Inf. Transm. 31, No. 1, 23--26 (1995; Zbl 0901.94012); translation from Probl. Peredachi Inf. 31, No. 1, 28--32 (1995)
Bruce, Kim B.; Di Cosmo, Roberto; Longo, Giuseppe Provable isomorphisms of types. (English) Zbl 0763.03011 Math. Struct. Comput. Sci. 2, No. 2, 231-247 (1992). MSC: 03B40 18D15 68P10 PDFBibTeX XMLCite \textit{K. B. Bruce} et al., Math. Struct. Comput. Sci. 2, No. 2, 231--247 (1992; Zbl 0763.03011) Full Text: DOI
Hansen, Augie Ex-C-ellent. Das Microsoft-Handbuch für den fortgeschrittenen C- Programmierer. Übersetzt von Andreas Dripke, Michael Krause und Angelika Schätzel. (German) Zbl 0656.68001 Microsoft Press. Braunschweig (FRG): Vieweg. 467 p.; DM 98.00 (1988). Reviewer: St.Meyer MSC: 68-01 68N01 68N25 68-04 PDFBibTeX XMLCite \textit{A. Hansen}, Ex-C-ellent. Das Microsoft-Handbuch für den fortgeschrittenen C- Programmierer. Übersetzt von Andreas Dripke, Michael Krause und Angelika Schätzel. Braunschweig (FRG): Vieweg (1988; Zbl 0656.68001)
Wang, Tseng-Chan; Sunseri, Richard F.; Stanford, Richard H.; Gray, Donald L.; Breckheimer, Peter J. Applications of optimization techniques to spacecraft fuel usage minimization in deep space navigation. (English) Zbl 0834.00007 Math. Eng. Ind. 1, No. 2, 97-122 (1987). MSC: 00A69 65K05 65Y99 PDFBibTeX XMLCite \textit{T.-C. Wang} et al., Math. Eng. Ind. 1, No. 2, 97--122 (1987; Zbl 0834.00007)
Mohamed, J. L. (ed.); Walsh, J. E. (ed.) Numerical algorithms. (Summer school, Manchester/Liverpool 1984). (English) Zbl 0617.65001 Manchester/Liverpool Summer Schools in Numerical Analysis. Oxford Science Publications. Oxford: Clarendon Press. XII, 356 p.; £30.00 (1986). Reviewer: E.Wagenführer MSC: 65-06 65-02 65Fxx 65Lxx 65Nxx 65Dxx 65Kxx 65C99 65R20 PDFBibTeX XML
Dunavant, D. A. High degree efficient symmetrical Gaussian quadrature rules for the triangle. (English) Zbl 0589.65021 Int. J. Numer. Methods Eng. 21, 1129-1148 (1985). Reviewer: J.N.Lyness MSC: 65D32 41A55 41A63 PDFBibTeX XMLCite \textit{D. A. Dunavant}, Int. J. Numer. Methods Eng. 21, 1129--1148 (1985; Zbl 0589.65021) Full Text: DOI
Friberg, P. O. Beam element matrices derived from Vlasov’s theory of open thin-walled elastic beams. (English) Zbl 0565.73061 Int. J. Numer. Methods Eng. 21, 1205-1228 (1985). MSC: 74S05 74H45 74S99 74-04 PDFBibTeX XMLCite \textit{P. O. Friberg}, Int. J. Numer. Methods Eng. 21, 1205--1228 (1985; Zbl 0565.73061) Full Text: DOI
Morozov, V. A. (ed.); Arushanyan, O. B. (ed.) Questions of the construction of program libraries. (Voprosy konstruirovaniya bibliotek programm). (Russian) Zbl 0658.65002 Moskva: Izdatel’stvo Moskovskogo Universiteta. 114 p. R. 0.20 (1984). MSC: 65-06 68-06 65Yxx 00Bxx 65-04 68N99 PDFBibTeX XML
Cuer, Michel; Bayer, Roger A package of routines for linear inverse problems (user and technical manual). (English) Zbl 0494.65034 Cahiers Mathématiques Montpellier 18. Montpellier: Université des Sciences et Techniques du Languedoc, U.E.R. de Mathématiques. 200 p. (1980). MSC: 65K05 86A20 86A25 86-04 90C05 PDFBibTeX XMLCite \textit{M. Cuer} and \textit{R. Bayer}, A package of routines for linear inverse problems (user and technical manual). Montpellier: Université des Sciences et Techniques du Languedoc, U.E.R. de Mathématiques (1980; Zbl 0494.65034)
Dongarra, J. J.; Bunch, J. R.; Moler, C. B.; Stewart, G. W. LINPACK, users’ guide. 2nd printing. (English) Zbl 0476.68025 Philadelphia: SIAM - Society for Industrial and Applied Mathematics. VIII, 356 p. (not consecutively paged) £10.00; DM 51.00 (1980). MSC: 68N99 68-02 15-04 PDFBibTeX XML
Proceedings of the 2nd National Conference of the ES Computer Users, Moscow 1979. (Tezisy Dokladov vtoroj Vsesoyuznoj Konferentsii Pol’zovatelej ES EVM, Moskva 1979). (Russian) Zbl 0476.68002 Moskva: Izdatel’stvo “Nauka”. 324 p. (1980). MSC: 68-06 68N99 68P05 68N25 PDFBibTeX XML
Celentano, Augusto; Della Vigna, Pierluigi; Ghezzi, Carlo; Mandrioli, Dino Separate compilation and partial specification in Pascal. (English) Zbl 0432.68016 IEEE Trans. Software Eng. 6, 320 (1980). MSC: 68N25 68P05 PDFBibTeX XMLCite \textit{A. Celentano} et al., IEEE Trans. Softw. Eng. 6, 320 (1980; Zbl 0432.68016) Full Text: DOI
Gladwell, Ian Initial value routines in the NAG library. (English) Zbl 0432.65041 ACM Trans. Math. Softw. 5, 386-400 (1979). MSC: 65L05 65-04 65-02 68W99 PDFBibTeX XMLCite \textit{I. Gladwell}, ACM Trans. Math. Softw. 5, 386--400 (1979; Zbl 0432.65041) Full Text: DOI
Shampine, Lawrence F. Better software for ODEs. (English) Zbl 0415.65039 Comput. Math. Appl. 5, 157-161 (1979). MSC: 65L05 68Q60 68Q25 PDFBibTeX XMLCite \textit{L. F. Shampine}, Comput. Math. Appl. 5, 157--161 (1979; Zbl 0415.65039) Full Text: DOI
Gill, Philip E.; Murray, Walter; Picken, Susan M.; Wright, Margaret H. The design and structure of a Fortran program library for optimization. (English) Zbl 0411.68029 ACM Trans. Math. Softw. 5, 259-283 (1979). MSC: 68N99 90Cxx PDFBibTeX XMLCite \textit{P. E. Gill} et al., ACM Trans. Math. Softw. 5, 259--283 (1979; Zbl 0411.68029) Full Text: DOI
Parlett, Beresford Progress in numerical analysis. (English) Zbl 0408.65002 SIAM Rev. 20, 443-456 (1978). MSC: 65-02 68Nxx 00A06 PDFBibTeX XMLCite \textit{B. Parlett}, SIAM Rev. 20, 443--456 (1978; Zbl 0408.65002) Full Text: DOI Link