s the mathematical abstractions and methods used in the design of the library and its implementation. A number of examples are presented to demonstrate the use of the library in application code. Categories and Subject Descriptors: G.4 [Mathematical software]: Algorithm Design, Effi
Anders Logg, Garth N. Wells