Mohanamuraly, P.; Hascoët, L.; Müller, J.-D. Seeding and adjoining zero-halo partitioned parallel scientific codes. (English) Zbl 1446.90002 Optim. Methods Softw. 35, No. 3, 618-637 (2020). MSC: 90-04 90C52 PDF BibTeX XML Cite \textit{P. Mohanamuraly} et al., Optim. Methods Softw. 35, No. 3, 618--637 (2020; Zbl 1446.90002) Full Text: DOI
Maddison, James R.; Goldberg, Daniel N.; Goddard, Benjamin D. Automated calculation of higher order partial differential equation constrained derivative information. (English) Zbl 07105504 SIAM J. Sci. Comput. 41, No. 5, C417-C445 (2019). MSC: 65M32 65M60 68N20 35 PDF BibTeX XML Cite \textit{J. R. Maddison} et al., SIAM J. Sci. Comput. 41, No. 5, C417--C445 (2019; Zbl 07105504) Full Text: DOI
Farrell, P. E.; Hake, J. E.; Funke, S. W.; Rognes, M. E. Automated adjoints of coupled PDE-ODE systems. (English) Zbl 1420.65077 SIAM J. Sci. Comput. 41, No. 3, C219-C244 (2019). MSC: 65L06 65M60 65M32 35Q92 PDF BibTeX XML Cite \textit{P. E. Farrell} et al., SIAM J. Sci. Comput. 41, No. 3, C219--C244 (2019; Zbl 1420.65077) Full Text: DOI
Caramia, G.; Dadone, A. A general use adjoint formulation for compressible and incompressible inviscid fluid dynamic optimization. (English) Zbl 1411.76003 Comput. Fluids 179, 289-300 (2019). MSC: 76-04 76H05 PDF BibTeX XML Cite \textit{G. Caramia} and \textit{A. Dadone}, Comput. Fluids 179, 289--300 (2019; Zbl 1411.76003) Full Text: DOI
Banović, Mladen; Mykhaskiv, Orest; Auriemma, Salvatore; Walther, Andrea; Legrand, Herve; Müller, Jens-Dominik Algorithmic differentiation of the Open CASCADE technology CAD kernel and its coupling with an adjoint CFD solver. (English) Zbl 1408.90321 Optim. Methods Softw. 33, No. 4-6, 813-828 (2018). MSC: 90C90 65D17 68W30 76-04 PDF BibTeX XML Cite \textit{M. Banović} et al., Optim. Methods Softw. 33, No. 4--6, 813--828 (2018; Zbl 1408.90321) Full Text: DOI
Zhou, Beckett Y.; Ryong Koh, Seong; Gauger, Nicolas R.; Meinke, Matthias; Schöder, Wolfgang A discrete adjoint framework for trailing-edge noise minimization via porous material. (English) Zbl 1410.76419 Comput. Fluids 172, 97-108 (2018). MSC: 76Q05 76-04 76S05 PDF BibTeX XML Cite \textit{B. Y. Zhou} et al., Comput. Fluids 172, 97--108 (2018; Zbl 1410.76419) Full Text: DOI
He, Ping; Mader, Charles A.; Martins, Joaquim R. R. A.; Maki, Kevin J. An aerodynamic design optimization framework using a discrete adjoint approach with OpenFOAM. (English) Zbl 1390.76007 Comput. Fluids 168, 285-303 (2018). MSC: 76-04 65Y15 76D55 PDF BibTeX XML Cite \textit{P. He} et al., Comput. Fluids 168, 285--303 (2018; Zbl 1390.76007) Full Text: DOI
Böhm, Janko; Decker, Wolfram; Laplagne, Santiago; Pfister, Gerhard Local to global algorithms for the Gorenstein adjoint ideal of a curve. (English) Zbl 1402.14076 Böckle, Gebhard (ed.) et al., Algorithmic and experimental methods in algebra, geometry, and number theory. Cham: Springer (ISBN 978-3-319-70565-1/hbk; 978-3-319-70566-8/ebook). 51-96 (2017). MSC: 14Q05 14H20 14H50 68W10 14-04 13P10 PDF BibTeX XML Cite \textit{J. Böhm} et al., in: Algorithmic and experimental methods in algebra, geometry, and number theory. Cham: Springer. 51--96 (2017; Zbl 1402.14076) Full Text: DOI
Koch, J. R. L.; Papoutsis-Kiachagias, E. M.; Giannakoglou, K. C. Transition from adjoint level set topology to shape optimization for 2D fluid mechanics. (English) Zbl 1390.76057 Comput. Fluids 150, 123-138 (2017). MSC: 76D05 49Q10 74P15 76-04 PDF BibTeX XML Cite \textit{J. R. L. Koch} et al., Comput. Fluids 150, 123--138 (2017; Zbl 1390.76057) Full Text: DOI
Brooksbank, Peter A.; Maglione, Joshua; Wilson, James B. A fast isomorphism test for groups whose Lie algebra has genus 2. (English) Zbl 1406.20008 J. Algebra 473, 545-590 (2017). MSC: 20B40 20-04 20D45 20D15 15A22 PDF BibTeX XML Cite \textit{P. A. Brooksbank} et al., J. Algebra 473, 545--590 (2017; Zbl 1406.20008) Full Text: DOI
Olesen, T. Z.; Vlasii, N. D.; Wiese, U.-J. From doubled Chern-Simons-Maxwell lattice gauge theory to extensions of the toric code. (English) Zbl 1360.81101 Ann. Phys. 361, 303-329 (2015). MSC: 81P45 81T25 81T13 81Q70 81P70 PDF BibTeX XML Cite \textit{T. Z. Olesen} et al., Ann. Phys. 361, 303--329 (2015; Zbl 1360.81101) Full Text: DOI
Maddison, J. R.; Farrell, P. E. Rapid development and adjoining of transient finite element models. (English) Zbl 1423.76257 Comput. Methods Appl. Mech. Eng. 276, 95-121 (2014). MSC: 76M10 65M60 65Y15 76D05 PDF BibTeX XML Cite \textit{J. R. Maddison} and \textit{P. E. Farrell}, Comput. Methods Appl. Mech. Eng. 276, 95--121 (2014; Zbl 1423.76257) Full Text: DOI
Hogan, Robin J. Fast reverse-mode automatic differentiation using expression templates in C++. (English) Zbl 1369.65037 ACM Trans. Math. Softw. 40, No. 4, Article No. 26, 16 p. (2014). MSC: 65D25 PDF BibTeX XML Cite \textit{R. J. Hogan}, ACM Trans. Math. Softw. 40, No. 4, Article No. 26, 16 p. (2014; Zbl 1369.65037) Full Text: DOI
Farrell, P. E.; Cotter, C. J.; Funke, S. W. A framework for the automation of generalized stability theory. (English) Zbl 1292.34048 SIAM J. Sci. Comput. 36, No. 1, C25-C48 (2014). MSC: 34D20 34D10 34D15 35B20 35B35 74S05 PDF BibTeX XML Cite \textit{P. E. Farrell} et al., SIAM J. Sci. Comput. 36, No. 1, C25--C48 (2014; Zbl 1292.34048) Full Text: DOI
Cabada, Alberto Green’s functions in the theory of ordinary differential equations. (English) Zbl 1303.34001 SpringerBriefs in Mathematics. New York, NY: Springer (ISBN 978-1-4614-9505-5/pbk; 978-1-4614-9506-2/ebook). xiv, 168 p. (2014). Reviewer: Luis Sanchez (Lisboa) MSC: 34-02 34B27 34-04 34B18 34A30 PDF BibTeX XML Cite \textit{A. Cabada}, Green's functions in the theory of ordinary differential equations. New York, NY: Springer (2014; Zbl 1303.34001) Full Text: DOI
Farrell, P. E.; Ham, D. A.; Funke, S. W.; Rognes, M. E. Automated derivation of the adjoint of high-level transient finite element programs. (English) Zbl 1362.65103 SIAM J. Sci. Comput. 35, No. 4, C369-C393 (2013). MSC: 65M60 49M29 65Y15 68N20 PDF BibTeX XML Cite \textit{P. E. Farrell} et al., SIAM J. Sci. Comput. 35, No. 4, C369--C393 (2013; Zbl 1362.65103) Full Text: DOI
Villard, Gilles Kaltofen’s division-free determinant algorithm differentiated for matrix adjoint computation. (English) Zbl 1220.15004 J. Symb. Comput. 46, No. 7, 773-790 (2011). MSC: 15-04 PDF BibTeX XML Cite \textit{G. Villard}, J. Symb. Comput. 46, No. 7, 773--790 (2011; Zbl 1220.15004) Full Text: DOI
Hanrot, Guillaume; Martin, Bruno; Tenenbaum, Gérald Friable Turan-Kubilius constants: a numerical study. (Constantes de Turán-Kubilius friables: une étude numérique.) (French. English summary) Zbl 1276.11152 Exp. Math. 19, No. 3, 345-361 (2010). Reviewer: Jonas Šiaulys (Vilnius) MSC: 11N25 11N37 11-04 47-04 47B38 PDF BibTeX XML Cite \textit{G. Hanrot} et al., Exp. Math. 19, No. 3, 345--361 (2010; Zbl 1276.11152) Full Text: DOI Euclid
Naumann, Uwe DAG reversal is NP-complete. (English) Zbl 1192.68490 J. Discrete Algorithms 7, No. 4, 402-410 (2009). MSC: 68R10 PDF BibTeX XML Cite \textit{U. Naumann}, J. Discrete Algorithms 7, No. 4, 402--410 (2009; Zbl 1192.68490) Full Text: DOI
Naumann, Uwe Call tree reversal is NP-complete. (English) Zbl 1152.65070 Bischof, Christian H. (ed.) et al., Advances in automatic differentiation. Selected papers based on the presentations at the 5th international conference on automatic differentiation, Bonn, Germany, August 11–15, 2008. Berlin: Springer (ISBN 978-3-540-68935-5/pbk). Lecture Notes in Computational Science and Engineering 64, 13-22 (2008). MSC: 65K05 90C27 68P20 65D25 68W30 PDF BibTeX XML Cite \textit{U. Naumann}, Lect. Notes Comput. Sci. Eng. 64, 13--22 (2008; Zbl 1152.65070)
Cheviakov, Alexei F. GeM software package for computation of symmetries and conservation laws of differential equations. (English) Zbl 1196.34045 Comput. Phys. Commun. 176, No. 1, 48-61 (2007). MSC: 34C14 34-04 35-04 35A30 35L65 65Y15 PDF BibTeX XML Cite \textit{A. F. Cheviakov}, Comput. Phys. Commun. 176, No. 1, 48--61 (2007; Zbl 1196.34045) Full Text: DOI
Xiao, Ying; Xue, Ming; Martin, William; Gao, Jidong Development of an adjoint for a complex atmospheric model, the ARPS, using TAF. (English) Zbl 1270.86009 Bücker, Martin (ed.) et al., Automatic differentiation: Applications, theory, and implementations. Selected papers based on the presentation at the 4th international conference on automatic differentiation (AD), Chicago, IL, USA, July 20–23, 2004. Berlin: Springer (ISBN 3-540-28403-6/pbk). Lecture Notes in Computational Science and Engineering 50, 263-273 (2006). MSC: 86A10 86-08 PDF BibTeX XML Cite \textit{Y. Xiao} et al., Lect. Notes Comput. Sci. Eng. 50, 263--273 (2006; Zbl 1270.86009)
Hascoët, Laurent; Araya-Polo, Mauricio The adjoint data-flow analyses: formalization, properties, and applications. (English) Zbl 1270.65089 Bücker, Martin (ed.) et al., Automatic differentiation: Applications, theory, and implementations. Selected papers based on the presentation at the 4th international conference on automatic differentiation (AD), Chicago, IL, USA, July 20–23, 2004. Berlin: Springer (ISBN 3-540-28403-6/pbk). Lecture Notes in Computational Science and Engineering 50, 135-146 (2006). MSC: 65Y99 54D25 PDF BibTeX XML Cite \textit{L. Hascoët} and \textit{M. Araya-Polo}, Lect. Notes Comput. Sci. Eng. 50, 135--146 (2006; Zbl 1270.65089)
Faure, Christèle Adjoining strategies for multi-layered programs. (English) Zbl 1057.68142 Optim. Methods Softw. 17, No. 1, 129-164 (2002). MSC: 68W30 65D25 PDF BibTeX XML Cite \textit{C. Faure}, Optim. Methods Softw. 17, No. 1, 129--164 (2002; Zbl 1057.68142) Full Text: DOI
Greuel, G.-M.; Lossen, C.; Schulze, M. Three algorithms in algebraic geometry, coding theory and singularity theory. (English) Zbl 1005.14022 Ciliberto, Ciro (ed.) et al., Applications of algebraic geometry to coding theory, physics and computation. Proceedings of the NATO advanced research workshop, Eilat, Israel, February 25-March 1, 2001. Dordrecht: Kluwer Academic Publishers. NATO Sci. Ser. II, Math. Phys. Chem. 36, 161-194 (2001). MSC: 14Q99 14G50 14H20 32S99 94B27 14-04 68W30 PDF BibTeX XML Cite \textit{G. M. Greuel} et al., NATO Sci. Ser. II, Math. Phys. Chem. 36, 161--194 (2001; Zbl 1005.14022)
Alp, Murat Induced \(\text{Cat}^1\)-groups. (English) Zbl 0997.20048 Turk. J. Math. 25, No. 2, 245-261 (2001). Reviewer: Dimitru Busneag (Craiova) MSC: 20J15 18D35 57M07 20C05 20-04 PDF BibTeX XML Cite \textit{M. Alp}, Turk. J. Math. 25, No. 2, 245--261 (2001; Zbl 0997.20048)
Hiraoka, Yoshio Numerical calculation of twisted adjoint \(L\)-values attached to modular forms. (English) Zbl 0972.11042 Exp. Math. 9, No. 1, 67-73 (2000). Reviewer: Masakazu Muro (Yanagido) MSC: 11F67 11-04 PDF BibTeX XML Cite \textit{Y. Hiraoka}, Exp. Math. 9, No. 1, 67--73 (2000; Zbl 0972.11042) Full Text: DOI EuDML
Brown, B. M.; McCormack, D. K. R.; Marletta, M. Guaranteed error bounds for eigenvalues of singular Sturm-Liouville problems. (English) Zbl 0957.65078 Math. Nachr. 213, 17-33 (2000). Reviewer: Waldemar Velte (Veitshöchheim) MSC: 65L15 65G40 65L70 34L15 34B24 PDF BibTeX XML Cite \textit{B. M. Brown} et al., Math. Nachr. 213, 17--33 (2000; Zbl 0957.65078) Full Text: DOI
Brown, Ronald; Heyworth, Anne Using rewriting systems to compute left Kan extensions and induced actions of categories. (English) Zbl 0941.18005 J. Symb. Comput. 29, No. 1, 5-31 (2000). MSC: 18A40 68Q42 18-04 PDF BibTeX XML Cite \textit{R. Brown} and \textit{A. Heyworth}, J. Symb. Comput. 29, No. 1, 5--31 (2000; Zbl 0941.18005) Full Text: DOI
Jürgens, U.; Röhrle, G. Algorithmic modality analysis for parabolic groups. (English) Zbl 0943.20042 Geom. Dedicata 73, No. 3, 317-337 (1998). Reviewer: Vladimir L.Popov (Moskva) MSC: 20G15 17B45 14L35 20-04 PDF BibTeX XML Cite \textit{U. Jürgens} and \textit{G. Röhrle}, Geom. Dedicata 73, No. 3, 317--337 (1998; Zbl 0943.20042) Full Text: DOI
Schray, Jörg; Tucker, Robin W.; Wang, Charles H.-T. LUCY: A Clifford algebra approach to spinor calculus. (English) Zbl 0856.15027 Abłamowicz, Rafał (ed.) et al., Clifford algebras with numeric and symbolic computations. Boston, MA: Birkhäuser. 121-143 (1996). Reviewer: B.Fauser (Tübingen) MSC: 15A66 15-04 68W30 81R25 83C60 PDF BibTeX XML Cite \textit{J. Schray} et al., in: Clifford algebras with numeric and symbolic computations. Boston, MA: Birkhäuser. 121--143 (1996; Zbl 0856.15027)
Haché, Gaétan; Le Brigand, Dominique Effective construction of algebraic geometry codes. (English) Zbl 0853.94024 IEEE Trans. Inf. Theory 41, No. 6, Pt. 1, 1615-1628 (1995). Reviewer: Robert F.Lax (Baton Rouge) MSC: 94B27 14H25 PDF BibTeX XML Cite \textit{G. Haché} and \textit{D. Le Brigand}, IEEE Trans. Inf. Theory 41, No. 6, Part 1, 1615--1628 (1995; Zbl 0853.94024) Full Text: DOI
Carmody, S.; Leeming, M.; Walters, R. F. C. The Todd-Coxeter procedure and left Kan extensions. (English) Zbl 0838.18002 J. Symb. Comput. 19, No. 5, 459-488 (1995). Reviewer: N.Bergeron (North York) MSC: 18A40 18B20 68W30 18-04 20B40 PDF BibTeX XML Cite \textit{S. Carmody} et al., J. Symb. Comput. 19, No. 5, 459--488 (1995; Zbl 0838.18002) Full Text: DOI
Leeming, M.; Walters, R. F. C. Computing left Kan extensions using the Todd-Coxeter procedure. (English) Zbl 0827.18001 Bosma, Wieb (ed.) et al., Computational algebra and number theory. Based on a meeting on computational algebra and number theory, held at Sydney University, Sydney, Australia, November of 1992. Dordrecht: Kluwer Academic Publishers. Math. Appl., Dordr. 325, 53-73 (1995). Reviewer: N.Bergeron (North York) MSC: 18A40 18-04 20B40 PDF BibTeX XML Cite \textit{M. Leeming} and \textit{R. F. C. Walters}, in: Computational algebra and number theory. Based on a meeting on computational algebra and number theory, held at Sydney University, Sydney, Australia, November of 1992. Dordrecht: Kluwer Academic Publishers. 53--73 (1995; Zbl 0827.18001)
Arora, J. S.; Cardoso, J. E. B. A design sensitivity analysis principle and its implementation into ADINA. (English) Zbl 0705.73208 Comput. Struct. 32, No. 3-4, 691-705 (1989). MSC: 74S05 74P99 74-04 PDF BibTeX XML Cite \textit{J. S. Arora} and \textit{J. E. B. Cardoso}, Comput. Struct. 32, No. 3--4, 691--705 (1989; Zbl 0705.73208) Full Text: DOI
Barthelemy, B.; Haftka, R. T.; Cohen, G. A. Physically based sensitivity derivatives for structural analysis programs. (English) Zbl 0692.73055 Comput. Mech. 4, No. 6, 465-476 (1989). MSC: 74S05 74K15 74-04 74S30 90C31 65K10 PDF BibTeX XML Cite \textit{B. Barthelemy} et al., Comput. Mech. 4, No. 6, 465--476 (1989; Zbl 0692.73055) Full Text: DOI
Rydeheard, David E.; Burstall, Rod M. Computational category theory. (English) Zbl 0649.18001 Prentice Hall International Series in Computer Science. New York etc.: Prentice Hall. xiv, 257 p. £54.95 (1988). Reviewer: P.Bankston MSC: 18-04 18Axx 18-02 68Q65 18A30 18A25 18A40 18B25 PDF BibTeX XML Cite \textit{D. E. Rydeheard} and \textit{R. M. Burstall}, Computational category theory. New York etc.: Prentice Hall (1988; Zbl 0649.18001)
Rand, D. W.; Winternitz, P.; Zassenhaus, Hans PASCAL programs for identification of Lie algebras. II: SPLIT - a program to decompose parameter-free and parameter-dependent Lie algebras into direct sums. (English) Zbl 0668.17002 Comput. Phys. Commun. 46, No. 2, 297-309 (1987). Reviewer: G.Czichowski MSC: 17-04 17B05 PDF BibTeX XML Cite \textit{D. W. Rand} et al., Comput. Phys. Commun. 46, No. 2, 297--309 (1987; Zbl 0668.17002) Full Text: DOI
Schaps, Mary Moduli of commutative and non-commutative finite covers. (English) Zbl 0639.14005 Isr. J. Math. 58, 67-102 (1987). Reviewer: I.Dolgachev MSC: 14D15 14-04 13D15 16S80 14E20 16P10 18A40 PDF BibTeX XML Cite \textit{M. Schaps}, Isr. J. Math. 58, 67--102 (1987; Zbl 0639.14005) Full Text: DOI
McKay, W. G.; Moody, R. V.; Patera, J. Tables of \(E_ 8\) characters and decompositions of plethysms. (English) Zbl 0587.22007 Lie algebras and related topics, Proc. Semin., Windsor/Ont. 1984, CMS Conf. Proc. 5, 227-263 (1986). Reviewer: R.C.King MSC: 22E60 17B10 17B25 22E70 22-04 17-04 22E46 PDF BibTeX XML
Lipitakis, Elias A. A normalized sparse linear equations solver. (English) Zbl 0538.65072 J. Comput. Appl. Math. 9, 287-298 (1983). Reviewer: W.Bunse MSC: 65N30 65F05 35J25 65F50 15-04 15A23 PDF BibTeX XML Cite \textit{E. A. Lipitakis}, J. Comput. Appl. Math. 9, 287--298 (1983; Zbl 0538.65072) Full Text: DOI
Kónya, Ilona; Szabados, Tamás ESBA2: A subroutine package for solving elliptic boundary value problems by small computers. (English) Zbl 0535.65077 Elektron. Inform.-verarb. Kybernetik 19, 441-448 (1983). MSC: 65N22 35-04 35J25 PDF BibTeX XML Cite \textit{I. Kónya} and \textit{T. Szabados}, Elektron. Informationsverarbeitung Kybernetik 19, 441--448 (1983; Zbl 0535.65077)
Hemker, P. W.; Kettler, R.; Wesseling, P.; de Zeeuw, P. M. Multigrid methods: Development of fast solvers. (English) Zbl 0527.65070 Appl. Math. Comput. 13, 311-326 (1983). MSC: 65N22 65F10 35J25 PDF BibTeX XML Cite \textit{P. W. Hemker} et al., Appl. Math. Comput. 13, 311--326 (1983; Zbl 0527.65070) Full Text: DOI
Bank, Randolph E.; Sherman, A. H. Algorithmic aspects of the multi-level solution of finite element equations. (English) Zbl 0407.65049 Sparse matrix computations, Proc. Symp., Knoxville 1978, 62-89 (1979). MSC: 65N30 65-04 35J25 65N22 65F10 PDF BibTeX XML
Gregory, John; Wilkerson, Ralph New numerical methods for symmetric differential equations, quadratic extremal problems, and banded matrices: The second order problem. (English) Zbl 0407.65033 Trans. Ill. State Acad. Sci. 71, 222-235 (1978). MSC: 65L05 65K05 65L10 49R50 65-04 PDF BibTeX XML Cite \textit{J. Gregory} and \textit{R. Wilkerson}, Trans. Ill. State Acad. Sci. 71, 222--235 (1978; Zbl 0407.65033)