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

Search Articles

X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (1675) 1675
Book / eBook (515) 515
Conference Proceeding (427) 427
Book Chapter (86) 86
Magazine Article (10) 10
Paper (10) 10
Web Resource (2) 2
Dissertation (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
symbolic and algebraic manipulation (2043) 2043
computer science (2016) 2016
artificial intelligence (1375) 1375
science & technology (1070) 1070
technology (1009) 1009
mathematics (877) 877
mathematical logic and formal languages (875) 875
mathematical logic and foundations (798) 798
algebra (589) 589
computer science, artificial intelligence (573) 573
theory of computation (573) 573
algorithms (558) 558
data processing (460) 460
physical sciences (416) 416
computer hardware (403) 403
logic (379) 379
mathematics, applied (369) 369
computer science, theory & methods (349) 349
computer science, interdisciplinary applications (336) 336
philosophy (301) 301
congresses (277) 277
studies (251) 251
discrete mathematics in computer science (245) 245
symbolic computation (224) 224
algorithm analysis and problem complexity (215) 215
informatique (215) 215
e-bok (212) 212
elektronisk resurs (212) 212
logics and meanings of programs (196) 196
informatics (192) 192
automated reasoning (182) 182
computer software (177) 177
mathematical logic (175) 175
logic, symbolic and mathematical (173) 173
multi-user (168) 168
analysis (166) 166
mathematical analysis (163) 163
kongress (162) 162
computers (159) 159
computational complexity (155) 155
software engineering (155) 155
information theory (135) 135
[info.info-sc]computer science [cs]/symbolic computation [cs.sc] (128) 128
algebra data processing (126) 126
mathematical models (126) 126
logic design (123) 123
programming languages (123) 123
electronic data processing (119) 119
computer science, general (116) 116
electronic brains (114) 114
computer logic (106) 106
ai (104) 104
intelligence, artificial (104) 104
machine intelligence (104) 104
artificial thinking (103) 103
intellectronics (103) 103
intelligent machines (103) 103
thinking, artificial (103) 103
computational linguistics (102) 102
linguistics (102) 102
computational mathematics and numerical analysis (101) 101
theorem proving (99) 99
programming languages, compilers, interpreters (93) 93
software, computer (91) 91
design of logic systems (89) 89
design, logic (89) 89
philosophy of language (87) 87
semantics (87) 87
proving (85) 85
complexity, computational (84) 84
computer science - symbolic computation (84) 84
computational intelligence (83) 83
engineering (81) 81
coding and information theory (80) 80
computer programming (80) 80
computation by abstract devices (79) 79
computeralgebra (79) 79
software (79) 79
programming techniques (77) 77
computer algebra (76) 76
cryptology (75) 75
numerical analysis (75) 75
calculus (71) 71
communication theory (70) 70
data structures (70) 70
numeric computing (68) 68
math applications in computer science (66) 66
automated theorem proving (65) 65
symbolic and mathematical logic (65) 65
algorism (64) 64
computer software engineering (64) 64
computer graphics (63) 63
data encryption (63) 63
computer mathematics (62) 62
álgebra (62) 62
cryptography (61) 61
logic in computer science (61) 61
algebraic geometry (59) 59
automation (59) 59
algèbre (58) 58
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Mathematical Sciences - Stacks (51) 51
Gerstein Science - Stacks (33) 33
Engineering & Comp. Sci. - Stacks (29) 29
Collection Dvlpm't (Acquisitions) - Vendor file (21) 21
Collection Dvlpm't (Acquisitions) - Closed Orders (14) 14
UTL at Downsview - May be requested (12) 12
UofT at Mississauga - Stacks (6) 6
Physics - Stacks (4) 4
Online Resources - Online (3) 3
UofT at Scarborough - Stacks (3) 3
Physics - Circulation Desk (2) 2
Robarts - Stacks (2) 2
Trinity College (John W Graham) - Stacks (2) 2
Astronomy & Astrophysics - Ask at library (1) 1
Chemistry (A D Allen) - Stacks (1) 1
Engineering & Comp. Sci. - May be requested in 6-10 wks (1) 1
Faculty of Information - Stacks (1) 1
Gerstein Science - Missing (1) 1
Mathematical Sciences - Circulation Desk (1) 1
Mathematical Sciences - Missing (1) 1
St. Michael's College (John M. Kelly) - 2nd Floor (1) 1
UofT at Mississauga - May be requested in 6-10 wks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (2718) 2718
German (39) 39
Japanese (32) 32
Spanish (18) 18
French (7) 7
Chinese (3) 3
Italian (3) 3
Afrikaans (2) 2
Arabic (1) 1
Czech (1) 1
Portuguese (1) 1
Russian (1) 1
Swedish (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


2016, Third edition., ISBN 9783319254630, xx, 541 pages
Improved geospatial instrumentation and technology such as in laser scanning has now resulted in millions of data being collected, e.g., point clouds. It is in... 
Mathematical geography | Données géospatiales | Geospatial data | Geodesy | Mathématiques | Mathematics | Géodésie | Géographie mathématique | Electronic data processing | Algebra
Book
2005, ISBN 3540255273, x, 586
.... The tutorials traverse areas ranging from algebraic geometry and combinatorics to photogrammetry, magic squares, coding theory, statistics, and automatic theorem proving... 
Gröbner bases | Commutative algebra | Data processing
Book
2006, ISBN 9780387261027, xxi, 643
Continuous System Simulation describes in detail how to build mathematical simulations of systems that change continuously over time. It covers: - Numerical... 
Computer simulation | Mathematical models | Simulation methods | Mathematics | Simulation and Modeling | Computational Mathematics and Numerical Analysis | Computational Intelligence | Symbolic and Algebraic Manipulation | Computer Science | Numeric Computing
Book
Journal Article
2012, ISBN 9781447146308, 224
Provides a self-contained and easy-to-read introduction to projective geometry Compares and contrasts both analytic and synthetic methodsMakes accessible... 
Geometry, Projective | Geometry, Algebraic
Book
2015, Studies in Fuzziness and Soft Computing, ISBN 3319147617, Volume 321
eBook
2006, 2nd ed., Algorithms and computation in mathematics, ISBN 9783540330981, Volume 10, ix, 662
This is the first graduate textbook on the algorithmic aspects of real algebraic geometry... 
Data processing | Algorithms | Geometry, Algebraic | Algebraic Geometry | Mathematics
Book
1995, Texts and monographs in symbolic computation, ISBN 9783211826003, xi, 223
Book
2006, Monographs in theoretical computer science, ISBN 3540311874, xiii, 388
... between them. Graph transformation is the rule-based manipulation of graphs, an increasingly important concept in computer science and related fields... 
Computer science | Graph grammars | Mathematics
Book
2008, Algorithms and computation in mathematics, ISBN 3642092918, Volume 22, 272
The central problem considered in this introduction for graduate students is the determination of rational parametrizability of an algebraic curve and, in the positive case, the computation of a good... 
Data processing | Curves, Algebraic
eBook
2015, ISBN 3319147617, 250
eBook
2011, LNCS sublibrary. SL 1, Theoretical computer science and general issues, ISBN 3642214924, Volume 6742, 269
This book constitutes the refereed proceedings of the 4th International Conference on Algebraic Informatics, CAI 2011, held in Linz, Austria, in June 2011... 
Data processing | Algebra | Congresses | Programming languages (Electronic computers)
eBook
2003, Algorithms and computation in mathematics, ISBN 9783540009733, Volume 10, viii, 602
The algorithmic problems of real algebraic geometry such as real root counting, deciding the existence of solutions of systems of polynomial equations and inequalities, or deciding whether two points... 
Data processing | Algorithms | Geometry, Algebraic | Algebraic Geometry | Algebra | Symbolic and Algebraic Manipulation | Geometry, algebraic
Book
2001, Lecture notes in computer science, ISBN 9783540431596, Volume 2267., x, 343
This book constitutes the thoroughly refereed post-workshop proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop... 
Computer science | Development | Mathematics | Abstract data types (Computer science) | Computer software | Congresses | Algebra | Software Engineering/Programming and Operating Systems | Data processing | Logic design | Symbolic and Algebraic Manipulation | Logics and Meanings of Programs | Software engineering | Mathematical Logic and Formal Languages
eBook
No results were found for your search.

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