dual-problems.bib

@article{edelen1972nonlinear,
  title={A nonlinear {Onsager} theory of irreversibility},
  author={Edelen, Dominic GB},
  journal={International Journal of Engineering Science},
  volume={10},
  number={6},
  pages={481--490},
  year={1972},
  publisher={Elsevier}
}


@book{boffi2013mixed,
  title={Mixed finite element methods and applications},
  author={Boffi, Daniele and Brezzi, Franco and Fortin, Michel},
  volume={44},
  year={2013},
  publisher={Springer}
}


@article{franca1991error,
  title={Error analysis of {Galerkin} least squares methods for the elasticity equations},
  author={Franca, Leopoldo P and Stenberg, Rolf},
  journal={SIAM Journal on Numerical Analysis},
  volume={28},
  number={6},
  pages={1680--1697},
  year={1991},
  publisher={SIAM}
}


@article{isaac2015solution,
  title={Solution of nonlinear {Stokes} equations discretized by high-order finite elements on nonconforming and anisotropic meshes, with application to ice sheet dynamics},
  author={Isaac, Tobin and Stadler, Georg and Ghattas, Omar},
  journal={SIAM Journal on Scientific Computing},
  volume={37},
  number={6},
  pages={B804--B833},
  year={2015},
  publisher={SIAM}
}


@article{arnold2007mixed,
  title={Mixed finite element methods for linear elasticity with weakly imposed symmetry},
  author={Arnold, Douglas and Falk, Richard and Winther, Ragnar},
  journal={Mathematics of Computation},
  volume={76},
  number={260},
  pages={1699--1723},
  year={2007}
}


@book{nocedal2006numerical,
  title={Numerical optimization},
  author={Nocedal, Jorge and Wright, Stephen},
  year={2006},
  publisher={Springer Science \& Business Media}
}


@book{boyd2004convex,
  title={Convex optimization},
  author={Boyd, Stephen and Vandenberghe, Lieven},
  year={2004},
  publisher={Cambridge University Press}
}


@book{weinstock1974calculus,
  title={Calculus of variations: with applications to physics and engineering},
  author={Weinstock, Robert},
  year={1974},
  publisher={Courier Corporation}
}


@article{heinkenschloss2014matrix,
  title={A matrix-free trust-region {SQP} method for equality constrained optimization},
  author={Heinkenschloss, Matthias and Ridzal, Denis},
  journal={SIAM Journal on Optimization},
  volume={24},
  number={3},
  pages={1507--1541},
  year={2014},
  publisher={SIAM}
}


@article{niu2010new,
  title={New trust-region algorithm for nonlinear constrained optimization},
  author={Niu, Lingfeng and Yuan, Yaxiang},
  journal={Journal of Computational Mathematics},
  pages={72--86},
  year={2010},
  publisher={JSTOR}
}


@article{wang2015augmented,
  title={An augmented {Lagrangian} trust region method for equality constrained optimization},
  author={Wang, Xiao and Yuan, Yaxiang},
  journal={Optimization Methods and Software},
  volume={30},
  number={3},
  pages={559--582},
  year={2015},
  publisher={Taylor \& Francis}
}


@book{greve2009dynamics,
  title={Dynamics of ice sheets and glaciers},
  author={Greve, Ralf and Blatter, Heinz},
  year={2009},
  publisher={Springer Science \& Business Media}
}


@article{dukowicz2010consistent,
  title={Consistent approximations and boundary conditions for ice-sheet dynamics from a principle of least action},
  author={Dukowicz, John K and Price, Stephen F and Lipscomb, William H},
  journal={Journal of Glaciology},
  volume={56},
  number={197},
  pages={480--496},
  year={2010},
  publisher={Cambridge University Press}
}


@book{conn2000trust,
  title={Trust region methods},
  author={Conn, Andrew R and Gould, Nicholas IM and Toint, Philippe L},
  year={2000},
  publisher={SIAM}
}


@article{minchew2020toward,
  title={Toward a universal glacier slip law},
  author={Minchew, Brent and Joughin, Ian},
  journal={Science},
  volume={368},
  number={6486},
  pages={29--30},
  year={2020},
  publisher={American Association for the Advancement of Science}
}


@article{gillet2011insitu,
  title={In-situ quantification of ice rheology and direct measurement of the {Raymond Effect} at {Summit, Greenland} using a phase-sensitive radar},
  author={Gillet-Chaulet, Fabien and Hindmarsh, Richard CA and Corr, Hugh FJ and King, Edward C and Jenkins, Adrian},
  journal={Geophysical Research Letters},
  volume={38},
  number={24},
  year={2011},
  publisher={Wiley Online Library}
}


@article{shapero2021icepack,
  title={icepack: A new glacier flow modeling package in {Python}, version 1.0},
  author={Shapero, Daniel R and Badgeley, Jessica A and Hoffman, Andrew O and Joughin, Ian R},
  journal={Geoscientific Model Development},
  volume={14},
  number={7},
  pages={4593--4616},
  year={2021},
  publisher={Copernicus GmbH}
}


@article{bueler2014exact,
  title={An exact solution for a steady, flowline marine ice sheet},
  author={Bueler, Ed},
  journal={Journal of Glaciology},
  volume={60},
  number={224},
  pages={1117--1125},
  year={2014},
  publisher={Cambridge University Press}
}


@article{brezzi1993mixed,
  title={Mixed finite element methods with continuous stresses},
  author={Brezzi, Franco and Fortin, Michel and Marini, L Donatella},
  journal={Mathematical Models and Methods in Applied Sciences},
  volume={3},
  number={02},
  pages={275--287},
  year={1993},
  publisher={World Scientific}
}


@article{arnold1984peers,
  title={{PEERS}: a new mixed finite element for plane elasticity},
  author={Arnold, Douglas N and Brezzi, Franco and Douglas, Jim},
  journal={Japan Journal of Applied Mathematics},
  volume={1},
  number={2},
  pages={347--367},
  year={1984},
  publisher={Springer}
}


@article{arnold2002mixed,
  title={Mixed finite elements for elasticity},
  author={Arnold, Douglas N and Winther, Ragnar},
  journal={Numerische Mathematik},
  volume={92},
  number={3},
  pages={401--419},
  year={2002},
  publisher={Springer}
}


@article{aznaran2021transformations,
  title={Transformations for {Piola}-mapped elements},
  author={Aznaran, Francis and Kirby, Robert and Farrell, Patrick},
  journal={arXiv preprint arXiv:2110.13224},
  year={2021}
}


@article{warburton2003constants,
  title={On the constants in hp-finite element trace inverse inequalities},
  author={Warburton, Timothy and Hesthaven, Jan S},
  journal={Computer methods in applied mechanics and engineering},
  volume={192},
  number={25},
  pages={2765--2773},
  year={2003},
  publisher={Elsevier}
}


@manual{FiredrakeUserManual,
  title        = {{Firedrake User Manual}},
  author       = {David A. Ham and Paul H. J. Kelly and Lawrence Mitchell and Colin J. Cotter and Robert C. Kirby and Koki Sagiyama and Nacime Bouziani and Sophia Vorderwuelbecke and Thomas J. Gregory and Jack Betteridge and Daniel R. Shapero and Reuben W. Nixon-Hill and Connor J. Ward and Patrick E. Farrell and Pablo D. Brubeck and India Marsden and Thomas H. Gibson and Miklós Homolya and Tianjiao Sun and Andrew T. T. McRae and Fabio Luporini and Alastair Gregory and Michael Lange and Simon W. Funke and Florian Rathgeber and Gheorghe-Teodor Bercea and Graham R. Markall},
  organization = {Imperial College London and University of Oxford and Baylor University and University of Washington},
  edition      = {First},
  year         = {2023},
  month        = {5},
  doi          = {10.25561/104839},
}


@article{sympy,
 title = {{SymPy: symbolic computing in Python}},
 author = {Meurer, Aaron and Smith, Christopher P. and Paprocki, Mateusz and \v{C}ert\'{i}k, Ond\v{r}ej and Kirpichev, Sergey B. and Rocklin, Matthew and Kumar, AMiT and Ivanov, Sergiu and Moore, Jason K. and Singh, Sartaj and Rathnayake, Thilina and Vig, Sean and Granger, Brian E. and Muller, Richard P. and Bonazzi, Francesco and Gupta, Harsh and Vats, Shivam and Johansson, Fredrik and Pedregosa, Fabian and Curry, Matthew J. and Terrel, Andy R. and Rou\v{c}ka, \v{S}t\v{e}p\'{a}n and Saboo, Ashutosh and Fernando, Isuru and Kulal, Sumith and Cimrman, Robert and Scopatz, Anthony},
 year = 2017,
 month = jan,
 keywords = {Python, Computer algebra system, Symbolics},
 volume = 3,
 pages = {e103},
 journal = {PeerJ Computer Science},
 issn = {2376-5992},
 url = {https://doi.org/10.7717/peerj-cs.103},
 doi = {10.7717/peerj-cs.103}
}


@article{asay2016experimental,
  title={Experimental design for three interrelated marine ice sheet and ocean model intercomparison projects: {MISMIP v. 3 (MISMIP+), ISOMIP v. 2 (ISOMIP+) and MISOMIP v. 1 (MISOMIP1)}},
  author={Asay-Davis, Xylar S and Cornford, Stephen L and Durand, Ga{\"e}l and Galton-Fenzi, Benjamin K and Gladstone, Rupert M and Gudmundsson, G Hilmar and Hattermann, Tore and Holland, David M and Holland, Denise and Holland, Paul R and others},
  journal={Geoscientific Model Development},
  volume={9},
  number={7},
  pages={2471--2497},
  year={2016},
  publisher={Copernicus GmbH}
}


@article{brinkerhoff2013data,
  title={Data assimilation and prognostic whole ice sheet modelling with the variationally derived, higher order, open source, and fully parallel ice sheet model {VarGlaS}},
  author={Brinkerhoff, Douglas John and Johnson, Jesse V},
  journal={The Cryosphere},
  volume={7},
  number={4},
  pages={1161--1184},
  year={2013},
  publisher={Copernicus Publications G{\"o}ttingen, Germany}
}


@article{bassis2010hamilton,
  title={Hamilton-type principles applied to ice-sheet dynamics: new approximations for large-scale ice-sheet flow},
  author={Bassis, Jeremy N},
  journal={Journal of Glaciology},
  volume={56},
  number={197},
  pages={497--513},
  year={2010},
  publisher={Cambridge University Press}
}


@book{wanner1996solving,
  title={Solving ordinary differential equations {II}},
  author={Wanner, Gerhard and Hairer, Ernst},
  volume={375},
  year={1996},
  publisher={Springer Berlin Heidelberg New York}
}

@incollection{glen1958law,
	author = {Glen, J.W.},
	title = {The flow law of ice: a discussion of the assumptions made in glacier theory, their experimental foundation and consequences},
	booktitle = {Physics of the Movement of Ice: Symposium at Chamonix 1958},
	publisher = {Int. Assoc. Hydrol. Sci.},
	address = {Wallingford, UK},
	year = {1958},
	pages = {171-183}
}

@article{schoof2007mis,
author = {Schoof, Christian},
title = {Ice sheet grounding line dynamics: steady states, stability, and hysteresis},
journal = {Journal of Geophysical Research: Earth Surface},
volume = {112},
number = {F3},
year = {2007}
}

@article{durand2009mis,
	author = {Durand, G. and Gagliardini, O. and de Fleurian, B. and Zwinger, T. and Le Meur, E.},
	title = {Marine ice sheet dynamics: Hysteresis and neutral equilibrium},
	journal = {Journal of Geophysical Research: Earth Surface},
	volume = {114},
	number = {F3},
	year = {2009}
}

@Article{favier2012mis,
AUTHOR = {Favier, L. and Gagliardini, O. and Durand, G. and Zwinger, T.},
TITLE = {{A three-dimensional full Stokes model of the grounding line dynamics: effect of a pinning point beneath the ice shelf}},
JOURNAL = {Cryosphere},
VOLUME = {6},
YEAR = {2012},
NUMBER = {1},
PAGES = {101-112},
}


@article{larour2021physical,
  title={{Physical processes controlling the rifting of Larsen C Ice Shelf, Antarctica, prior to the calving of iceberg A68}},
  author={Larour, E and Rignot, E and Poinelli, M and Scheuchl, B},
  journal={Proceedings of the National Academy of Sciences},
  volume={118},
  number={40},
  pages={e2105080118},
  year={2021},
  publisher={National Acad Sciences}
}


@book{attouch2014variational,
  title={{Variational analysis in Sobolev and BV spaces: applications to PDEs and optimization}},
  author={Attouch, Hedy and Buttazzo, Giuseppe and Michaille, G{\'e}rard},
  year={2014},
  publisher={SIAM}
}


@article{enderlin2014improved,
  title={An improved mass budget for the {Greenland} ice sheet},
  author={Enderlin, Ellyn M and Howat, Ian M and Jeong, Seongsu and Noh, Myoung-Jong and Van Angelen, Jan H and Van Den Broeke, Michiel R},
  journal={Geophysical Research Letters},
  volume={41},
  number={3},
  pages={866--872},
  year={2014},
  publisher={Wiley Online Library}
}


@article{mouginot2019forty,
  title={Forty-six years of {Greenland Ice Sheet} mass balance from 1972 to 2018},
  author={Mouginot, J{\'e}r{\'e}mie and Rignot, Eric and Bj{\o}rk, Anders A and Van den Broeke, Michiel and Millan, Romain and Morlighem, Mathieu and No{\"e}l, Brice and Scheuchl, Bernd and Wood, Michael},
  journal={Proceedings of the national academy of sciences},
  volume={116},
  number={19},
  pages={9239--9244},
  year={2019},
  publisher={National Acad Sciences}
}


@article{fettweis2020grsmbmip,
  title={{GrSMBMIP}: intercomparison of the modelled 1980--2012 surface mass balance over the {Greenland Ice Sheet}},
  author={Fettweis, Xavier and Hofer, Stefan and Krebs-Kanzow, Uta and Amory, Charles and Aoki, Teruo and Berends, Constantijn J and Born, Andreas and Box, Jason E and Delhasse, Alison and Fujita, Koji and others},
  journal={The Cryosphere},
  volume={14},
  number={11},
  pages={3935--3958},
  year={2020},
  publisher={Copernicus GmbH}
}


@article{joughin2010greenland,
  title={Greenland flow variability from ice-sheet-wide velocity mapping},
  author={Joughin, Ian and Smith, Ben E and Howat, Ian M and Scambos, Ted and Moon, Twila},
  journal={Journal of Glaciology},
  volume={56},
  number={197},
  pages={415--430},
  year={2010},
  publisher={Cambridge University Press}
}


@article{morlighem2017bedmachine,
  title={{BedMachine v3: Complete bed topography and ocean bathymetry mapping of Greenland from multibeam echo sounding combined with mass conservation}},
  author={Morlighem, Mathieu and Williams, Chris N and Rignot, Eric and An, Lu and Arndt, Jan Erik and Bamber, Jonathan L and Catania, Ginny and Chauch{\'e}, Nolwenn and Dowdeswell, Julian A and Dorschel, Boris and others},
  journal={Geophysical research letters},
  volume={44},
  number={21},
  pages={11--051},
  year={2017},
  publisher={Wiley Online Library}
}


@article{king2018seasonal,
  title={Seasonal to decadal variability in ice discharge from the {Greenland Ice Sheet}},
  author={King, Michalea D and Howat, Ian M and Jeong, Seongsu and Noh, Myoung J and Wouters, Bert and No{\"e}l, Brice and van den Broeke, Michiel R},
  journal={The Cryosphere},
  volume={12},
  number={12},
  pages={3813--3825},
  year={2018},
  publisher={Copernicus Publications G{\"o}ttingen, Germany}
}


@article{schild2013seasonal,
  title={Seasonal variations of outlet glacier terminus position in {Greenland}},
  author={Schild, Kristin M and Hamilton, Gordon S},
  journal={Journal of Glaciology},
  volume={59},
  number={216},
  pages={759--770},
  year={2013},
  publisher={Cambridge University Press}
}


@article{goldsby2001superplastic,
  title={Superplastic deformation of ice: {Experimental observations}},
  author={Goldsby, DL and Kohlstedt, David L},
  journal={Journal of Geophysical Research: Solid Earth},
  volume={106},
  number={B6},
  pages={11017--11030},
  year={2001},
  publisher={Wiley Online Library}
}


@article{bondzio2016modelling,
  title={Modelling calving front dynamics using a level-set method: application to {Jakobshavn Isbr{\ae}, West Greenland}},
  author={Bondzio, Johannes H and Seroussi, H{\'e}l{\`e}ne and Morlighem, Mathieu and Kleiner, Thomas and R{\"u}ckamp, Martin and Humbert, Angelika and Larour, Eric Y},
  journal={The Cryosphere},
  volume={10},
  number={2},
  pages={497--510},
  year={2016},
  publisher={Copernicus GmbH}
}


@article{osher1988fronts,
  title={{Fronts propagating with curvature-dependent speed: Algorithms based on Hamilton-Jacobi formulations}},
  author={Osher, Stanley and Sethian, James A},
  journal={Journal of computational physics},
  volume={79},
  number={1},
  pages={12--49},
  year={1988},
  publisher={Elsevier}
}


@article{cornford2013adaptive,
  title={Adaptive mesh, finite volume modeling of marine ice sheets},
  author={Cornford, Stephen L and Martin, Daniel F and Graves, Daniel T and Ranken, Douglas F and Le Brocq, Anne M and Gladstone, Rupert M and Payne, Antony J and Ng, Esmond G and Lipscomb, William H},
  journal={Journal of Computational Physics},
  volume={232},
  number={1},
  pages={529--549},
  year={2013},
  publisher={Elsevier}
}


@article{todd2018full,
  title={{A full-Stokes 3-D calving model applied to a large Greenlandic glacier}},
  author={Todd, Joe and Christoffersen, Poul and Zwinger, Thomas and R{\aa}back, Peter and Chauch{\'e}, Nolwenn and Benn, Doug and Luckman, Adrian and Ryan, Johnny and Toberg, Nick and Slater, Donald and others},
  journal={Journal of Geophysical Research: Earth Surface},
  volume={123},
  number={3},
  pages={410--432},
  year={2018},
  publisher={Wiley Online Library}
}


@article{benn2017melt,
  title={Melt-under-cutting and buoyancy-driven calving from tidewater glaciers: new insights from discrete element and continuum model simulations},
  author={Benn, Douglas I and {\AA}str{\"o}m, JAN and Zwinger, Thomas and Todd, JOE and Nick, Faezeh M and Cook, Susan and Hulton, Nicholas RJ and Luckman, Adrian},
  journal={Journal of Glaciology},
  volume={63},
  number={240},
  pages={691--702},
  year={2017},
  publisher={Cambridge University Press}
}