X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (236539) 236539
Publication (17270) 17270
Conference Proceeding (6379) 6379
Book Chapter (3860) 3860
Book Review (1841) 1841
Book / eBook (1788) 1788
Dissertation (1715) 1715
Government Document (624) 624
Newspaper Article (488) 488
Paper (458) 458
Magazine Article (452) 452
Web Resource (417) 417
Reference (304) 304
Streaming Video (27) 27
Trade Publication Article (24) 24
Report (19) 19
Newsletter (16) 16
Data Set (15) 15
Art (9) 9
Journal / eJournal (5) 5
Library Holding (4) 4
Microfilm (2) 2
Electronic Resource (1) 1
Presentation (1) 1
Realia (1) 1
Technical Report (1) 1
Transcript (1) 1
Video Recording (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
mathematics (89325) 89325
mathematical theorems (67783) 67783
mathematics, applied (41774) 41774
theorems (35252) 35252
bayes theorem (32031) 32031
index medicus (31274) 31274
algebra (23746) 23746
analysis (23001) 23001
mathematical functions (21647) 21647
humans (18549) 18549
integers (17922) 17922
theorem (17182) 17182
mathematical analysis (16532) 16532
statistics & probability (14041) 14041
studies (13539) 13539
algorithms (12138) 12138
mathematical models (11724) 11724
polynomials (11355) 11355
research (10905) 10905
mathematics, general (9189) 9189
animals (8954) 8954
topological theorems (8502) 8502
logical theorems (8414) 8414
approximation (7914) 7914
topology (7706) 7706
differential equations (7640) 7640
bayesian analysis (7586) 7586
geometry (7043) 7043
female (7027) 7027
models (6807) 6807
usage (6616) 6616
applied mathematics (6610) 6610
male (6370) 6370
random variables (6340) 6340
phylogeny (6125) 6125
probability (6022) 6022
computer simulation (5882) 5882
banach space (5856) 5856
physics (5855) 5855
mathematical rings (5825) 5825
convergence (5706) 5706
existence (5426) 5426
evolutionary biology (5346) 5346
mathematical vectors (5268) 5268
computer science (5057) 5057
statistics (5012) 5012
operators (4962) 4962
physics, mathematical (4958) 4958
physics, multidisciplinary (4931) 4931
models, statistical (4876) 4876
homomorphisms (4865) 4865
engineering, electrical & electronic (4855) 4855
eigenvalues (4848) 4848
existence theorems (4834) 4834
genetics & heredity (4791) 4791
coefficients (4764) 4764
logic (4694) 4694
uniqueness (4538) 4538
central limit theorem (4522) 4522
systems (4515) 4515
topological spaces (4494) 4494
evolution (4491) 4491
mathematical inequalities (4449) 4449
mathematical constants (4378) 4378
optimization (4355) 4355
stability (4349) 4349
applications of mathematics (4252) 4252
matrices (4199) 4199
multidisciplinary sciences (4106) 4106
models, genetic (4102) 4102
vertices (4090) 4090
equations (4054) 4054
biochemistry & molecular biology (3928) 3928
perceptron convergence procedure (3707) 3707
linear transformations (3697) 3697
economics (3650) 3650
methods (3641) 3641
adult (3627) 3627
mechanics (3611) 3611
markov chains (3592) 3592
boundary value problems (3509) 3509
mathematical & computational biology (3505) 3505
hilbert spaces (3491) 3491
automorphisms (3483) 3483
maps (3472) 3472
quantum physics (3460) 3460
inequalities (3441) 3441
computer science, theory & methods (3439) 3439
model (3434) 3434
coordinate systems (3430) 3430
mathematics, interdisciplinary applications (3345) 3345
research article (3335) 3335
likelihood functions (3329) 3329
mathematical logic (3306) 3306
curvature (3271) 3271
partial differential equations (3247) 3247
nonlinearity (3195) 3195
mathematical manifolds (3189) 3189
biology (3177) 3177
inference (3156) 3156
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Gerstein Science - Stacks (579) 579
Mathematical Sciences - Stacks (521) 521
Online Resources - Online (432) 432
UTL at Downsview - May be requested (97) 97
Collection Dvlpm't (Acquisitions) - Vendor file (93) 93
UofT at Mississauga - Stacks (90) 90
Engineering & Comp. Sci. - Stacks (80) 80
Collection Dvlpm't (Acquisitions) - Closed Orders (72) 72
UofT at Scarborough - Stacks (60) 60
Robarts - Stacks (55) 55
Mathematical Sciences - Missing (35) 35
Physics - Stacks (32) 32
Trinity College (John W Graham) - Stacks (22) 22
St. Michael's College (John M. Kelly) - 2nd Floor (15) 15
Aerospace - Stacks (14) 14
Gerstein Science - Missing (8) 8
OISE - Stacks (8) 8
Thomas Fisher Rare Book - Rare Book (8) 8
Astronomy & Astrophysics - Ask at library (7) 7
Victoria University E.J. Pratt - Stacks (7) 7
UofT Schools - Stacks (6) 6
Earth Sciences (Noranda) - Stacks (5) 5
Gerstein Science - Theses (5) 5
OISE - Curriculum Resources (5) 5
UofT at Mississauga - May be requested in 6-10 wks (5) 5
Law (Bora Laskin) - Stacks (4) 4
Thomas Fisher Rare Book - May be requested at Fisher (4) 4
Business (Joseph L Rotman) - Stacks (3) 3
University Archives - Archives (3) 3
Engineering & Comp. Sci. - Missing (2) 2
Engineering & Comp. Sci. - Periodical Stacks (2) 2
Media Commons - Archives: 4 days to retrieve (2) 2
Media Commons - Microtexts (2) 2
New College (Ivey) - Stacks (2) 2
OISE - Audio Visual (2) 2
St. Augustine's Seminary - Stacks (2) 2
St. Michael's College (John M. Kelly) - 3rd Floor (2) 2
Trinity College (John W Graham) - Storage (2) 2
Chemistry (A D Allen) - Stacks (1) 1
Chemistry (A D Allen) - Storage (1) 1
Earth Sciences (Noranda) - Circulation Desk (1) 1
East Asian (Cheng Yu Tung) - Stacks (1) 1
Engineering & Comp. Sci. - May be requested in 6-10 wks (1) 1
Gerstein Science - Searching (1) 1
Institute for Christian Studies - Stacks (1) 1
Knox College (Caven) - Stacks (1) 1
Mathematical Sciences - Circulation Desk (1) 1
Mathematical Sciences - Course Reserves (1) 1
Mathematical Sciences - Searching (1) 1
Media Commons - Audio Visual (1) 1
Music - Reserve desk (1) 1
OISE - Lost (1) 1
OISE - Missing (1) 1
Physics - Missing (1) 1
Physics - New Books (1) 1
Physics - Storage (1) 1
Regis College - Stacks (1) 1
Robarts - In process for Downsview (1) 1
Robarts - Searching (1) 1
St. Michael's College (John M. Kelly) - Not Returned (1) 1
Trinity College (John W Graham) - Wycliffe Storage (1) 1
University College (Laidlaw) - Stacks (1) 1
UofT at Mississauga - Missing (1) 1
UofT at Scarborough - May be requested in 6-10 wks (1) 1
UofT at Scarborough - Withdrawn (1) 1
Victoria University E.J. Pratt - Oversize (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (242740) 242740
German (3181) 3181
Chinese (2135) 2135
French (1246) 1246
Japanese (777) 777
Spanish (302) 302
Russian (208) 208
Portuguese (173) 173
Korean (165) 165
Italian (68) 68
Turkish (67) 67
Czech (48) 48
Polish (36) 36
Lithuanian (34) 34
Dutch (26) 26
Croatian (23) 23
Swedish (16) 16
Norwegian (10) 10
Latin (8) 8
Ukrainian (8) 8
Danish (7) 7
Romanian (7) 7
Arabic (6) 6
Hungarian (6) 6
Estonian (5) 5
Greek (4) 4
Slovenian (4) 4
Afrikaans (3) 3
Indonesian (3) 3
Latvian (2) 2
Nepali (2) 2
Persian (2) 2
Slovak (2) 2
Bosnian (1) 1
Catalan (1) 1
Esperanto (1) 1
Finnish (1) 1
Hebrew (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


1994, Cambridge tracts in theoretical computer science, ISBN 052142027X, Volume 38., xv, 202
Mathematicians from Leibniz to Hilbert have sought to mechanise the verification of mathematical proofs. Developments arising out of Gödel's proof of his... 
Gödel's theorem | Data processing | Automatic theorem proving
Book
1973, Lecture notes in mathematics, ISBN 3387063455, Volume 328, vi, 217
Book
Journal of automated reasoning, ISSN 0168-7433, 1985
Journal
American Journal of Mathematics, ISSN 1080-6377, 2018, Volume 140, Issue 5, pp. 1399 - 1422
In this paper, we completely prove a standard conjecture on the local converse theorem for generic representations of ${\rm GL}_n(F)$, where $F$ is a... 
Theorems
Journal Article
Forum Mathematicum, ISSN 0933-7741, 07/2019, Volume 31, Issue 4, p. 1069
We relate p -adic families of Jacobi forms to big Heegner points constructed by B. Howard, in the spirit of the Gross-Kohnen-Zagier theorem. We view this as a... 
Theorems
Journal Article
Asymptotic Analysis, ISSN 0921-7134, 01/2019, Volume 114, Issue 1-2, p. 1
We provide complete structural theorems for the so-called quasiasymptotic behavior of non-quasianalytic ultradistributions. As an application of these results,... 
Theorems
Journal Article
2009, ISBN 1405197676, xx, 233
Berto’s highly readable and lucid guide introduces students and the interested reader to Gödel’s celebrated Incompleteness Theorem, and discusses some of the... 
Gödel's theorem | Mathematics | Gödel, Kurt | Philosophy | Incompleteness theorems | G'odel's theorem | Incompleteness theorem | Mathematics - Philosophy | G'odel, Kurt | Godel's theorem
Book
Journal of Mathematical Physics, ISSN 0022-2488, 02/2016, Volume 57, Issue 2, p. 23505
In this paper, we extend the Remling’s theorem on canonical systems that the ω limit points of the Hamiltonian under the shift map are reflectionless on the... 
Theorems
Journal Article
Combinatorics Probability and Computing, ISSN 0963-5483, 08/2017, Volume 26, Issue 6, pp. 1 - 2
In my paper [1], a normalization factor of |G|-1 was missing in the statements of Theorem 2.4, Theorem 2.6 and Corollary 2.7. 
Theorems
Journal Article
Mathematica Slovaca, ISSN 0139-9918, 03/2019, Volume 69, Issue 2, pp. 433 - 436
Conjecture 4 of Voiculescu implies that almost normal operators must satisfy a Fuglede-Putnam theorem, namely [T∗, X] is a Hilbert-Schmidt operator whenever... 
Theorems
Journal Article
1989, MIT Press series in artificial intelligence., ISBN 0262132354, xiv, 158 p. --
Book
2011, 1st U.S. ed., ISBN 9781596915220, xii, 290
Book
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.