Articles

UofT Libraries is getting a new library services platform in January 2021.
Learn more about the change.

Search Articles

Advanced search
Help

Catalogue

Articles

Databases

X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (7267) 7267
Conference Proceeding (1056) 1056
Book / eBook (559) 559
Book Chapter (391) 391
Web Resource (262) 262
Government Document (180) 180
Magazine Article (179) 179
Dissertation (164) 164
Newspaper Article (108) 108
Report (37) 37
Publication (17) 17
Photograph (5) 5
Paper (4) 4
Archival Material (2) 2
Book Review (1) 1
Data Set (1) 1
Journal / eJournal (1) 1
Newsletter (1) 1
Reference (1) 1
Streaming Video (1) 1
Trade Publication Article (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
proving (5142) 5142
science & technology (4411) 4411
mathematics (2612) 2612
computer science (2501) 2501
physical sciences (2451) 2451
technology (2352) 2352
theorem proving (2239) 2239
mathematical analysis (2167) 2167
theorems (1175) 1175
mathematics, applied (1160) 1160
mathematical models (1085) 1085
exact sciences and technology (926) 926
artificial intelligence (897) 897
automatic theorem proving (842) 842
algorithms (815) 815
engineering (744) 744
studies (706) 706
analysis (693) 693
logic (634) 634
automated theorem proving (612) 612
applied sciences (611) 611
computer science, theory & methods (598) 598
algebra (566) 566
physics (531) 531
computation (489) 489
engineering, electrical & electronic (464) 464
construction (443) 443
computer science, artificial intelligence (441) 441
computer science, information systems (436) 436
computer science; control theory; systems (426) 426
computer science, software engineering (373) 373
optimization (372) 372
graphs (352) 352
software (350) 350
mathematical logic and formal languages (343) 343
software engineering (340) 340
sciences and techniques of general use (339) 339
congresses (336) 336
mathematical logic and foundations (332) 332
mathematics, general (316) 316
computer simulation (310) 310
mathematical logic (308) 308
research (296) 296
nonlinearity (292) 292
logic, symbolic and mathematical (289) 289
proving grounds (260) 260
theoretical computer science (259) 259
symbolic and algebraic manipulation (258) 258
theory of computation (255) 255
science & technology - other topics (250) 250
semantics (247) 247
combinatorial analysis (244) 244
polynomials (239) 239
interactive theorem proving (235) 235
combinatorics (231) 231
theoretical computing (229) 229
security (227) 227
inequalities (226) 226
geometry (225) 225
programming languages (223) 223
computer information security (217) 217
logic programming (215) 215
verification (212) 212
cryptography (206) 206
applied mathematics (205) 205
usage (202) 202
convergence (201) 201
automation (199) 199
complexity (197) 197
automated reasoning (195) 195
formal verification (191) 191
operators (188) 188
computer science, hardware & architecture (187) 187
information theory (186) 186
approximation (183) 183
asymptotic properties (180) 180
equivalence (179) 179
computer programs (178) 178
automatisches beweisverfahren (177) 177
data processing (177) 177
general (177) 177
program verification (176) 176
proof theory (174) 174
calculus (169) 169
physics, mathematical (168) 168
computer programming (167) 167
differential equations (165) 165
stability (165) 165
logics and meanings of programs (162) 162
reasoning (162) 162
software engineering/programming and operating systems (160) 160
logic in computer science (155) 155
graph theory (154) 154
démonstration automatique (153) 153
dynamical systems (151) 151
formal methods (151) 151
physics, multidisciplinary (150) 150
théorèmes (147) 147
methods (146) 146
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Online Resources - Online (267) 267
Gerstein Science - Stacks (150) 150
Engineering & Comp. Sci. - Stacks (59) 59
UTL at Downsview - May be requested (53) 53
Mathematical Sciences - Stacks (22) 22
Collection Dvlpm't (Acquisitions) - Closed Orders (15) 15
Robarts - Stacks (11) 11
Collection Dvlpm't (Acquisitions) - Vendor file (6) 6
Engineering & Comp. Sci. - May be requested in 6-10 wks (5) 5
Trinity College (John W Graham) - Stacks (5) 5
UofT at Mississauga - Stacks (5) 5
UofT at Scarborough - Stacks (5) 5
Thomas Fisher Rare Book - Rare Book (4) 4
Aerospace - Stacks (3) 3
Gerstein Science - Theses (3) 3
Media Commons - Microtexts (3) 3
University Archives - Archives (3) 3
Law (Bora Laskin) - Stacks (2) 2
Mathematical Sciences - Missing (2) 2
Physics - Stacks (2) 2
UofT at Mississauga - May be requested in 6-10 wks (2) 2
Astronomy & Astrophysics - Ask at library (1) 1
Business (Joseph L Rotman) - Stacks (1) 1
Chemistry (A D Allen) - Stacks (1) 1
Engineering & Comp. Sci. - Periodical Stacks (1) 1
OISE - Stacks (1) 1
St. Michael's College (John M. Kelly) - Not Returned (1) 1
Thomas Fisher Rare Book - May be requested at Fisher (1) 1
Trinity College (John W Graham) - Storage (1) 1
UofT Schools - Stacks (1) 1
Victoria University E.J. Pratt - Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (9646) 9646
Chinese (439) 439
Japanese (126) 126
German (58) 58
Spanish (26) 26
French (24) 24
Portuguese (18) 18
Czech (14) 14
Russian (10) 10
Korean (8) 8
Indonesian (6) 6
Croatian (5) 5
Turkish (4) 4
Dutch (2) 2
Norwegian (2) 2
Persian (2) 2
Slovak (2) 2
Swedish (2) 2
Arabic (1) 1
Danish (1) 1
Latvian (1) 1
Polish (1) 1
Slovenian (1) 1
Ukrainian (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


1. Journal of automated reasoning
Journal of automated reasoning, ISSN 0168-7433, 1985
Periodicals | Artificial intelligence | Automatic theorem proving
Journal
Details down arrow
2. Full Text Correction to: A Proof of the Bloch Theorem for Lattice Models
by Watanabe, Haruki
Journal of statistical physics, ISSN 0022-4715, 03/2020, Volume 178, Issue 6, pp. 1515 - 1515
Theorem proving | Theorems
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
3. Probabilistic proof systems
: a primer
by Goldreich, Oded
2007, Foundations and trends in theoretical computer science, ISBN 9781601981523, Volume 3, issue 1, 2007., Issue 1, xv, 90
Book
Details down arrow
4. Full Text Erratum to the paper “Quadratic descent of hermitian forms”
: Published in Math. Nachr. 292 (2019), no. 10, 2294–2299
by Nokhodkar, A.‐H
Mathematische Nachrichten, ISSN 0025-584X, 09/2020, Volume 293, Issue 9, pp. 1836 - 1838
Theorem proving | Theorems
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
5. Interactive theorem proving and program development
: Coq'Art : the calculus of inductive constructions
by Bertot, Yves and Castéran, P. (Pierre)
2004, Texts in theoretical computer science, ISBN 3540208542, xxv, 469
Computer programming | Automatic theorem proving
Book
Details down arrow
6. Full Text Eliminating counterexamples: A case study intervention for improving adolescents’ ability to critique direct arguments
by Yopp, David A and Ely, Rob and Adams, Anne E and Nielsen, Annelise W and Corwine, Erin C
The Journal of mathematical behavior, ISSN 0732-3123, 03/2020, Volume 57, p. 100751
Teaching intervention | Contrapositive proving | Counterexamples | Reasoning | Viable argument | Proving
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
7. Full Text Identifying method-level mutation subsumption relations using Z3
by Gheyi, Rohit and Ribeiro, Márcio and Souza, Beatriz and Guimarães, Marcio and Fernandes, Leo and d’Amorim, Marcelo and Alves, Vander and Teixeira, Leopoldo and Fonseca, Baldoino
Information and software technology, ISSN 0950-5849, 04/2021, Volume 132
Redundant mutants | Theorem proving | Mutation analysis
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
8. Shortening of Proof Length is Elusive for Theorem Provers
by Santiago Hernández-Orozco and Francisco Hernández-Quiroz and Hector Zenil and Wilfried Sieg
Parallel processing letters, ISSN 0129-6264, 12/2020, Volume 30, Issue 4
Theorems | Axioms | Theorem proving | Strategy
Journal Article
Details down arrow
9. Full Text Correction to: A formulation of Rényi entropy on C-algebras
by Mukhamedov, Farrukh and Ohmura, Kyouhei and Watanabe, Noboru
Quantum information processing, ISSN 1570-0755, 04/2020, Volume 19, Issue 4
Theorem proving | Theorems | Error correction
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
10. Full Text Strategic analysis of Zalaegerszeg Proving Ground
by Szabó, Károly and Szabó, László and Csanádi, Ágnes
Journal of Engineering Management and Competitiveness (Online), ISSN 2334-9638, 2020, Volume 10, Issue 1, pp. 38 - 47
automotive | strategy | proving ground
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
11. Full Text Automated Reasoning
: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
by Olivetti, Nicola and Tiwari, Ashish
2016, ISBN 9783319402284, 581
Automatic theorem proving-Congresses
eBook
Details down arrow
Digital rights down arrow
loading Loading Rights
12. Full Text From examples to proof: Purposes, strategies, and affordances of example use
by Ozgur, Zekiye and Ellis, Amy B and Vinsonhaler, Rebecca and Dogan, Muhammed Fatih and Knuth, Eric
The Journal of mathematical behavior, ISSN 0732-3123, 03/2019, Volume 53, pp. 284 - 303
Example use | Conjecturing and proving
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
13. Full Text A New Proof of the Ultrametric Hermite-Lindermann Theorem
by Escassut, A
P-adic numbers, ultrametric analysis, and applications, ISSN 2070-0466, 10/2020, Volume 12, Issue 4, pp. 333 - 336
Analytic functions | Theorem proving | Theorems
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
14. Checking the consistency of Object-Z formal specification based on theorem proof
by Weiqing Wan and Yongqing Yu and Qingyan Zeng and Zhicheng Wen
Journal of computational methods in sciences and engineering, ISSN 1472-7978, 01/2020, Volume 20, Issue 1, p. 217
Formal specifications | Theorem proving | Consistency
Journal Article
Details down arrow
15. Full Text Eliminating counterexamples: A Grade 8 student’s learning trajectory for contrapositive proving
by Yopp, David A
The Journal of mathematical behavior, ISSN 0732-3123, 03/2017, Volume 45, pp. 150 - 166
Proof | Learning trajectory | Contrapositive proving | Argumentation | Indirect reasoning | Proving
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
16. Full Text Anomalous weak values are proofs of contextuality
by Pusey, Matthew F
Physical review letters, ISSN 0031-9007, 11/2014, Volume 113, Issue 20, pp. 200401 - 200401
Physics, Multidisciplinary | Physical Sciences | Physics | Science & Technology | Eigenvalues | Quantum theory | Disturbances | Proving | Physics - Quantum Physics
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
17. Full Text Eliminating counterexamples: An intervention for improving adolescents’ contrapositive reasoning
by Yopp, David A
The Journal of mathematical behavior, ISSN 0732-3123, 09/2020, Volume 59, p. 100794
Teaching intervention | Contrapositive proving | Reasoning | Viable argument | Proving | Case studies | Youth | Teenagers
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
18. Ontic
: a knowledge representation system for mathematics
by McAllester, David A
1989, MIT Press series in artificial intelligence., ISBN 0262132354, xiv, 158 p. --
Ontic (Computer system) | Automatic theorem proving
Book
Details down arrow
19. Full Text Automated Technology for Verification and Analysis
: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
by D'Souza, Deepak and Narayan Kumar, K
2017, ISBN 9783319681665, 492
eBook
Details down arrow
Digital rights down arrow
loading Loading Rights
20. Full Text On the Zeroth Stable A 1-Homotopy Group of a Smooth Projective Variety
by Ananyevskiy, A.S
Journal of mathematical sciences (New York, N.Y.), ISSN 1072-3374, 04/2017, Volume 222, Issue 4, pp. 367 - 369
Chemical industry | Sheaves | Proving
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
No results were found for your search.

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