*The other is Anderson's A Guide to Library Service in Mathematics: The Non-Trivial Mathematics Librarian (JAI Press, 1993). One of the chapters in this book is a comprehensive annotated bibliography of in-print mathematics books ...*

**Author**: Martha A. Tucker

**Publisher:** ABC-CLIO

**ISBN:** 9780313053375

**Category:** Language Arts & Disciplines

**Page:** 368

**View:** 540

*A collection of subroutines is called a ' library,' and includes not only code but documentation. ... needs (for example) Γ-functions, and writing a mathematical library is a non-trivial task that requires great skill and knowledge.*

**Author**: Dick Hamlet

**Publisher:** Springer Science & Business Media

**ISBN:** 9781441971487

**Category:** Computers

**Page:** 368

**View:** 464

*For a machine to solve any non - trivial problem of mathematics or logic , it must be capable of carrying out a finite series of steps without any non - mechanical intervention , such as that of a human operator being called upon to ...*

**Author**: Various

**Publisher:** Routledge

**ISBN:** 9780429960680

**Category:** Computers

**Page:** 2724

**View:** 815

*... like natural numbers, matching them between libraries is often straightforward, because of mathematical naming conventions. However, for more advanced concepts, finding similar formalizations in different libraries is a non-trivial ...*

**Author**: Stephen M. Watt

**Publisher:** Springer

**ISBN:** 9783319084343

**Category:** Computers

**Page:** 460

**View:** 575

*If we had to choose a definitive must-use library for use in this book, and a non-trivial mathematical application written in Python, it would have to be NumPy. This library will help us implement applications using statistics and ...*

**Author**: Rodolfo Bonnin

**Publisher:** Packt Publishing Ltd

**ISBN:** 9781786466969

**Category:** Computers

**Page:** 270

**View:** 685

*Overview of licenses of selected (formal) mathematical libraries Library (System) License Coq Standard Library (Coq) ... Also note that the licensing differences between the formal libraries can already now cause nontrivial problems.*

**Author**: James H. Davenport

**Publisher:** Springer

**ISBN:** 9783642226731

**Category:** Computers

**Page:** 312

**View:** 697

*Election Alert It will soon be necessary to elect new members to the Library Executive Committee . ... a new book entitled A Guide to Library Services in Mathematics : The Non - trivial Mathematics Librarian , published by JAI Press .*

**Author**: University of Illinois at Urbana-Champaign. Library

**Publisher:**

**ISBN:** UIUC:30112018787397

**Category:** Academic libraries

**Page:** 844

**View:** 229

*no smallest integer at which they differ. ... Although this sounds relatively innocuous, the constructivist school of mathematicians raises nontrivial objections to the well-ordering principle and the theorems which spring from it.*

**Author**: William Goldbloom Bloch

**Publisher:** Oxford University Press

**ISBN:** 9780195334579

**Category:** Literary Criticism

**Page:** 192

**View:** 559

*National Research Council, Division on Engineering and Physical Sciences, Board on Mathematical Sciences and Their Applications, Committee on ... Thisis not trivial, and it isillustrative of the maintenance problemfor Webbased data.*

**Author**: National Research Council

**Publisher:** National Academies Press

**ISBN:** 9780309298513

**Category:** Mathematics

**Page:** 142

**View:** 974