@article {42451,
	title = {Nitsche{\textquoteright}s method for Navier{\textendash}Stokes equations with slip boundary conditions},
	journal = {Mathematics of Computation},
	volume = {91},
	year = {2022},
	pages = {597-622},
	publisher = {American Mathematical Society},
	author = {Gjerde, Ingeborg and Scott, Ridgway}
}
@techreport {28256,
	title = {Lower Bounds for the Error in Nitsche{\textquoteright}s Method for the Navier{\textendash}Stokes Equations With Slip Boundary Conditions},
	year = {2021},
	publisher = {Technical Reports, Department of Computer Science, University of Chicago},
	url = {https://newtraell.cs.uchicago.edu/files/tr_authentic/TR-2021-09.pdfhttps://newtraell.cs.uchicago.edu/research/publications/techreports},
	author = {Gjerde, Ingeborg and Scott, Ridgway}
}
@inbook {Simula.simula.1082,
	title = {Discrete Optimization of Finite Element Matrix Evaluation},
	booktitle = {Automated Solution of Differential Equations by the Finite Element Method},
	series = {Lecture Notes in Computational Science and Engineering},
	volume = {84},
	year = {2012},
	pages = {161-168},
	publisher = {Springer},
	organization = {Springer},
	chapter = {9},
	isbn = {978-3-642-23098-1},
	author = {Robert C. {Kirby} and Matthew G. {Knepley} and Logg, Anders and Scott, Ridgway and Andy R. {Terrel}},
	editor = {Logg, Anders and Mardal, Kent-Andre and Garth N. {Wells}}
}
@article {Logg.2006.3,
	title = {Topological Optimization of the Evaluation of Finite Element Matrices},
	journal = {SIAM J. Sci. Comput.},
	volume = {28},
	number = {1},
	year = {2006},
	pages = {224-240},
	author = {Robert C. {Kirby} and Logg, Anders and Scott, Ridgway and Andy R. {Terrel}}
}
@article {Logg.2005.4,
	title = {Optimizing the Evaluation of Finite Element Matrices},
	journal = {SIAM J. Sci. Comput.},
	volume = {27},
	number = {3},
	year = {2005},
	pages = {741-758},
	author = {Robert C. {Kirby} and Matthew G. {Knepley} and Logg, Anders and Scott, Ridgway}
}
@techreport {Logg.2005.3,
	title = {Topological Optimization of the Evaluation of Finite Element Matrices},
	number = {2005-06},
	year = {2005},
	publisher = {Chalmers Finite Element Center},
	author = {Robert C. {Kirby} and Logg, Anders and Scott, Ridgway and Andy R. {Terrel}}
}
@techreport {Logg.2003.6,
	title = {The FEniCS Project},
	number = {2003-21},
	year = {2003},
	publisher = {Chalmers Finite Element Center},
	author = {Logg, Anders and Dupont, Todd and Hoffman, Johan and Johnson, Claes and Robert C. {Kirby} and Mats G. {Larson} and Scott, Ridgway}
}
