X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (17851) 17851
Conference Proceeding (2622) 2622
Book Chapter (449) 449
Dissertation (230) 230
Magazine Article (124) 124
Newspaper Article (83) 83
Government Document (58) 58
Publication (37) 37
Book / eBook (30) 30
Trade Publication Article (27) 27
Web Resource (2) 2
Book Review (1) 1
Report (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
solvers (9939) 9939
mathematical models (5344) 5344
mathematical analysis (4005) 4005
algorithms (3867) 3867
computer simulation (3003) 3003
computer science, interdisciplinary applications (2821) 2821
mathematics, applied (2613) 2613
analysis (2373) 2373
mechanics (2337) 2337
solver (2120) 2120
optimization (2043) 2043
computational fluid dynamics (1953) 1953
simulation (1733) 1733
engineering, electrical & electronic (1657) 1657
finite element method (1624) 1624
computation (1582) 1582
physics, mathematical (1542) 1542
mathematics (1518) 1518
equations (1350) 1350
methods (1300) 1300
algorithm (1229) 1229
mathematics, interdisciplinary applications (1228) 1228
iterative methods (1194) 1194
fluid flow (1144) 1144
convergence (1112) 1112
computer science (1089) 1089
numerical analysis (1042) 1042
navier-stokes equations (1028) 1028
approximation (1011) 1011
engineering, multidisciplinary (978) 978
riemann solver (931) 931
fluid dynamics (904) 904
usage (890) 890
systems (782) 782
physics (769) 769
studies (758) 758
physics, fluids & plasmas (732) 732
computer science, software engineering (727) 727
engineering (709) 709
accuracy (695) 695
computer science, theory & methods (683) 683
research (662) 662
dynamics (649) 649
flow (625) 625
engineering, mechanical (598) 598
linear systems (572) 572
software (560) 560
operations research & management science (555) 555
three dimensional (551) 551
stability (542) 542
thermodynamics (538) 538
mathematical model (531) 531
discretization (523) 523
robustness (517) 517
preconditioning (513) 513
integral equations (510) 510
schemes (501) 501
differential equations (493) 493
physics, applied (475) 475
computational efficiency (471) 471
computer science, artificial intelligence (461) 461
flows (451) 451
design (448) 448
telecommunications (441) 441
boundary conditions (440) 440
scheme (438) 438
turbulence (437) 437
conferences (427) 427
aerodynamics (422) 422
mechanical engineering (416) 416
scattering (416) 416
engineering, civil (414) 414
algebra (403) 403
finite volume method (399) 399
artificial intelligence (398) 398
strategy (398) 398
parallel processing (391) 391
computer programs (389) 389
partial differential equations (388) 388
nonlinearity (380) 380
interpolation (379) 379
hydrodynamics (370) 370
computational modeling (364) 364
polynomials (363) 363
simulations (358) 358
antennas (356) 356
problem solving (356) 356
engineering, aerospace (352) 352
engineering sciences (350) 350
domain decomposition (347) 347
decomposition (346) 346
linear constraint solver (346) 346
turbulent flow (341) 341
linear programming (334) 334
design engineering (329) 329
mathematics education (329) 329
finite element analysis (328) 328
mathematical problems (328) 328
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Aerospace - Stacks (5) 5
Collection Dvlpm't (Acquisitions) - Vendor file (4) 4
Mathematical Sciences - Stacks (4) 4
Engineering & Comp. Sci. - Stacks (2) 2
Gerstein Science - Course Reserves (2) 2
Gerstein Science - Stacks (2) 2
Collection Dvlpm't (Acquisitions) - Closed Orders (1) 1
Dentistry (Harry R Abbott) - Withdrawn (1) 1
Gerstein Science - Circulation Desk (1) 1
Holland Bloorview Kids Rehabilitation - Stacks (1) 1
Indust. Rel's & Hum. Resources (Newman) - Library use only (1) 1
Law (Bora Laskin) - Reserve desk (1) 1
Law (Bora Laskin) - Stacks (1) 1
Physics - Stacks (1) 1
Providence Healthcare - Reference (1) 1
Providence Healthcare - Reserve desk (1) 1
Robarts - Course Reserves (1) 1
Robarts - Stacks (1) 1
Scarborough Hospital - Birchmount (1) 1
St. Michael's Hospital - Circulation Desk (1) 1
St. Michael's Hospital - Stacks (1) 1
UofT at Scarborough - Stacks (1) 1
West Park Healthcare Centre - Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (20967) 20967
Chinese (337) 337
Japanese (233) 233
French (38) 38
German (19) 19
Portuguese (19) 19
Korean (16) 16
Spanish (15) 15
Czech (11) 11
Indonesian (11) 11
Norwegian (11) 11
Russian (7) 7
Polish (3) 3
Turkish (3) 3
Slovak (2) 2
Swedish (2) 2
Croatian (1) 1
Danish (1) 1
Estonian (1) 1
Latvian (1) 1
Lithuanian (1) 1
Persian (1) 1
Romanian (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


SIAM journal on matrix analysis and applications, ISSN 0895-4798, 2014, Volume 35, Issue 3, pp. 835 - 885
We present a randomized algorithm that on input a symmetric, weakly diagonally dominant n-by-n matrix A with m nonzero entries and an n-vector b produces an... 
Laplacians | Support theory | Symmetric | Preconditioning | Linear equation solvers | Diagonally dominant matrices | support theory | MATRIX | MATHEMATICS, APPLIED | linear equation solvers | SPARSIFICATION | symmetric | FLOW | preconditioning | diagonally dominant matrices | Linear systems | Algorithms | Approximation | Asymptotic properties | Mathematical analysis | Solvers | Constants | Inverse
Journal Article
International journal for numerical methods in fluids, ISSN 0271-2091, 2019, Volume 89, Issue 1-2, pp. 16 - 42
Journal Article
Journal of the ACM (JACM), ISSN 0004-5411, 06/2019, Volume 66, Issue 3, pp. 1 - 30
We eliminate a key roadblock to efficient verification of nonlinear integer arithmetic using CDCL SAT solvers, by showing how to construct short resolution... 
resolution proofs | Multiplier verification | SAT solvers | COMPUTER SCIENCE, SOFTWARE ENGINEERING | COMPUTER SCIENCE, HARDWARE & ARCHITECTURE | COMPLEXITY | COMPUTER SCIENCE, INFORMATION SYSTEMS | COMPUTER SCIENCE, THEORY & METHODS | SOLVER | BIT-VECTORS | Integer programming | Solvers | Multipliers | Sulfuric acid | Arithmetic
Journal Article
ACM Transactions on Graphics (TOG), ISSN 0730-0301, 06/2013, Volume 32, Issue 3, pp. 1 - 13
Poisson surface reconstruction creates watertight surfaces from oriented point sets. In this work we extend the technique to explicitly incorporate the points... 
Screened Poisson equation | adaptive octree | finite elements | surface fitting | Adaptiveoctree | Finite elements | Surface fitting | COMPUTER SCIENCE, SOFTWARE ENGINEERING | Algorithms | ROBUST | Performance | Reconstruction | Linear systems | Screening | Interpolation | Discretization | Mathematical analysis | Solvers | Poisson equation
Journal Article
AIAA Journal, ISSN 0001-1452, 08/2011, Volume 49, Issue 8, pp. 1693 - 1709
This paper presents a new, simple low-dissipation numerical flux function of the AUSM-family for all speeds, called the simple low-dissipation AUSM. In... 
RIEMANN SOLVERS | SHOCK | GRIDS | FLOW SOLVER | FLUX SPLITTING SCHEME | EQUATIONS | SEQUEL | COMPUTATIONS | ENGINEERING, AEROSPACE | EULER FLUXES | Aerodynamics | Numerical analysis | Research | Conservation laws (Physics) | Mathematical analysis | Dissipation | Flux | Mathematical models | Robustness | Fluxes | High Mach number | Mach number
Journal Article
International journal for numerical methods in engineering, ISSN 1097-0207, 2019, Volume 118, Issue 8, pp. 482 - 494
Journal Article
Artificial intelligence, ISSN 0004-3702, 06/2015, Volume 223, pp. 120 - 155
Programs for the Boolean satisfiability problem (SAT), i.e., SAT solvers, are nowadays used as core decision procedures for a wide range of combinatorial... 
Solver ranking | SAT solvers | Competitions | Boolean satisfiability | Empirical analysis | ALGORITHM | COMPLEXITY | SETS | GUIDED ABSTRACTION REFINEMENT | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | Computer science | Analysis | Competition | Solvers | Boolean algebra | Artificial intelligence | Expert systems | Combinatorial analysis
Journal Article
SIAM Journal on Scientific Computing, ISSN 1064-8275, 2013, Volume 35, Issue 2, pp. A767 - A784
In this paper we study how the use of a more continuous set of basis functions affects the cost of solving systems of linear equations resulting from a... 
Isogeometric analysis | Performance | Iterative solvers | MATHEMATICS, APPLIED | performance | MULTIFRONTAL SOLUTION | iterative solvers | isogeometric analysis | Finite element method | Basis functions | Mathematical analysis | Solvers | Mathematical models | Continuity | Estimates | Preconditioning
Journal Article