Search ResultsElectronic Resources
Limit Search Results
Author
ProQuest (Firm)
(15)
Gabbay, Dov M., 1945-
(2)
Woods, John (John Hayden)
(2)
Academia Republicii Socialiste România.
(1)
Anderson, Marlow, 1950-
(1)
Material Type
Language
Publication Date
-
Subject
Electronic books.
(51)
MATHEMATICS -- Number Theory.
(10)
Mathematics.
(7)
Number theory.
(7)
Logic, Symbolic and mathematical.
(6)
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
53 Results Found Subscribe to search results
000000000000DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Handbook of proof theory
      37. 
      Handbook of proof theory
      by 
      Buss, Samuel R.
      to access electronic resource via ScienceDirect
      ScienceDirect http://www.sciencedirect.com/science/book/9780444898401
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=137
      Format: 
      Excerpt: 
      Functions (M. Fairtlough, S.S. Wainer). Chapter IV. Subsystems of Set Theory and Second Order Number Theory
      Cover image for Fixed income and interest rate derivative analysis
      38. 
      Fixed income and interest rate derivative analysis
      by 
      Britten-Jones, Mark, 1963-
      ScienceDirect https://www.sciencedirect.com/science/book/9780750640121
      Format: 
      Excerpt: 
      -powered mathematics, but with actual examples of various market instruments and case studies from North America
      Cover image for Logical frameworks for truth and abstraction : an axiomatic study
      39. 
      Logical frameworks for truth and abstraction : an axiomatic study
      by 
      Cantini, Andrea.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444823069
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=135
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/135
      Format: 
      Excerpt: 
      foundations for property theory and formal semantics; (ii) these theories provide a new outlook on classical
      Cover image for New generalized functions and multiplication of distributions
      40. 
      New generalized functions and multiplication of distributions
      by 
      Colombeau, Jean François, 1947-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444868305
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=03040208&volume=84
      Format: 
      Excerpt: 
      Distribution Theory, giving a rigorous mathematical sense to any product of a finite number of distributions
      Cover image for Optimization over Nonnegative and Convex Polynomials with and without Semidefinite Programming
      41. 
      Optimization over Nonnegative and Convex Polynomials with and without Semidefinite Programming
      by 
      Hall, Georgina, author.
      http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10824784
      Format: 
      Excerpt: 
      computational mathematics, with applications to polynomial optimization, control, machine learning, game theory
      Cover image for Computational aspects of modular forms and Galois representations how one can compute in polynomial time the value of Ramanujan's tau at a prime
      42. 
      Computational aspects of modular forms and Galois representations how one can compute in polynomial time the value of Ramanujan's tau at a prime
      by 
      Edixhoven, B. (Bas), 1962-
      Click to View
      Format: 
      Excerpt: 
      "Modular forms are tremendously important in various areas of mathematics, from number theory and
      Cover image for Leonhard Euler : life, work and legacy
      43. 
      Leonhard Euler : life, work and legacy
      by 
      Bradley, Robert E., editor.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444527288
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=09282017&volume=5
      ScienceDirect http://www.sciencedirect.com/science/bookseries/09282017/5
      Format: 
      Excerpt: 
      century. Still others give technical details of Eulers innovations in probability, number theory, geometry
      Cover image for Complex systems : lecture notes of the Les Houches Summer School 2006.
      44. 
      Complex systems : lecture notes of the Les Houches Summer School 2006.
      by 
      Ecole d'été de physique théorique (Les Houches, Haute-Savoie, France) (85th : 2006)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444530066
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=09248099&volume=85
      Format: 
      Excerpt: 
      backgrounds: probability theory, computer science, information theory, physics, finance, biology, etc. Topical
      Cover image for Mathematics for electrical engineering and computing
      45. 
      Mathematics for electrical engineering and computing
      by 
      Attenborough, Mary (Mary Patricia), 1954-
      ScienceDirect https://www.sciencedirect.com/science/book/9780750658553
      Format: 
      Excerpt: 
      engineering, undertaking engineering mathematics courses. The book is supported with a number of free online
      Cover image for Theory and applications of numerical analysis
      46. 
      Theory and applications of numerical analysis
      by 
      Phillips, G. M. (George McArtney)
      ScienceDirect http://www.sciencedirect.com/science/book/9780125535601
      Format: 
      Excerpt: 
      mathematics and the algorithms which define precisely how to program the numerical methods. Both theoretical
      Cover image for The Nature and origins of mathematical skills
      47. 
      The Nature and origins of mathematical skills
      by 
      Campbell, Jamie I. D.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444890146
      Format: 
      Excerpt: 
      What a number is : mathematical foundations and developing number concepts / Kevin F. Miller
      Cover image for Analysis and design of algorithms for combinatorial problems
      48. 
      Select an Action