Jad Nohra's Tag Library Export (18-Sep-2017)
.djvu, .epub, .missing, .pdf, .png, .txt, 1, 1948, 1961, 1962, 1963, 1964, 1967, 1972, 1973, 1974, 1975, 1977, 1979, 1980, 1986, 1987, 1988, 1991, 1992, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, ?, ADT, AMG, AT, ATP, BNF, CLT, DAE, EL, FOL, GA, HP, HST, IFT, IST, IT, LLN, LM, Lagrange, MD, ML, MT, Meta, ND, NE, ODE, PA, PBD, PD, PID, PT, Parallel, Peano, QC, RA, SDG, SEP, SGD, SIA, ST, TODO, ZF, ZFC, Zeno, [2008], [AMP], [ASGD], [ATNAL], [CItLA], [CPaS], [CSTM], [DGN], [DLB], [DLR], [EoNA], [EoP], [FItML], [FLA-V], [FZnut], [GADF], [GaM], [HLA], [I-TP-BS], [IDfE], [IGT], [INfVC], [IPTM], [ITILA], [ItSM], [LCCI], [LoH], [LwK], [MMCM], [MT], [MVTiFTC], [ND-CGK], [NoDF], [RAF], [RRiC], [SCVA], [SP-Ta], [TFO-GTDE], [TFo], [TS-LN], [UML-FTA], [VLDU], [VT-CST], [Wpva34], [_pokman_cheung], [aRoPMT], [anitescu], [arnold], [ascher], [aubin], [avigad], [bachman], [baez], [bagarello], [balakrishnan], [baraff], [barendregt], [bell], [bender], [birkhoff], [boyer], [brameller], [bran], [bressoud], [brezhneva], [carnap], [cartan], [catto], [cawley], [charalambos], [chiswell], [church], [clare parnell], [compact], [compressed], [courant], [cutland], [dantzig], [de silva], [delphenich], [demmel], [descartes], [drumwright], [dugas], [epstein], [erleben], [euler], [fax], [feferman], [feynman], [fleisch], [fletcher], [fomenko], [fomin], [frenkel], [gaifman], [gallager], [garcia-fernandez], [gentzen], [ginzburg], [girard], [grassia], [grassmann], [hairer], [hassenpflug], [henle], [henrici], [herrlich], [herrmann], [hestenes], [hintikka], [holme], [hrbacek], [hubbard], [hulek], [in-short], [in-short]-parts, [jad], [jaynes], [jefimenko], [judice], [juliet floyd], [karen-smith], [katz], [kazarinoff], [keisler], [kennington], [knill], [kolmogorov], [krantz], [kutateladze], [lacoursiere], [lakatos], [lee], [lemons], [luenberger], [m.hestenes], [maros], [marsden], [mihai], [mirtich], [moler], [moore], [moore] compu course, [nahin], [needham], [negrut], [nering], [nndl], [olver], [oreilly], [oritz], [patrick_billingsley], [pawlak], [penrose], [petersen], [pivato], [poggio], [pollard], [potter], [redon], [robinson], [rockafellar], [rodrigues], [saad], [sadun], [saveliev], [schechter], [servin], [shabana], [shapiro], [shuster], [smith], [smullyan], [stewart], [stillwell], [strichartz], [stroyan], [sueda], [suhl], [sussman], [tWoA], [tait], [tall], [tao], [tarantola], [taylor], [teschner], [tiee], [tourlakis], [trefethen], [trench], [victor_kac], [walecka], [wedderburn], [weinan], [weintraub], [whittaker], [wildml], [winitzki], [zee], [zupan], abstract, absurdity, account, activation, additivity, advers, aero, ag, alg, alg-geom, algebra, alt, alt-cond, alt-format, anal, analysis, analytic, annotated, application, applied, approx, approximation, article, articul, asympt, atl, author, authority, auto-diff, auto-proof, autodid, automah, automata, automated, axio, axiomatic, back-prop, banach, basics, batch, baumgarte, bayes, beltrami, bench, big-o, bilinear, block, bohm, book, bool, boolean, bound, brain, brownian, bundle, bvh, by-example, cable, calc, calculator, calculus, cat, cauchy, causality, ccd, chaos, charac, choice, church-rosser, cited, classic, classical, classification, clifford, clifford-algebra, closed-form, cntk, coavr, code, coll-detect, collated, combinatorial, combinatorics, combinators, comp, comp-arithm, compact, compactness, compiler, compl, complex, complexity, compu, computability, computation, computational, computers, computing, concave, concise, concrete, cond, confused, confusing, conjugate, connect, connectedness, consistency, constr, constrained, constraints, construction, constructive, contact, continuation, continuity, contrast, control, conv, conv-space, convergence, convergence space, convex, coord-based, coord-free, coordinates, cotangent, counter, course, covar, covariance, covariant, criss-cross, critical, crystal, cs, cube, curl, curry-howard, curvature, damping, daniell, darboux, data-sci, data-science, de-conf, deduction, deep, degen, derivation, derivative, detailed, determinant, diag, diagonal, diagonlization, diff, diff-eq, diff-form, diff-geom, dirac, direct, direct-sum, disappoint, disappointing, disc-dyn-sys, discontinuous, discr-calc, discrete, discussion, dissipation, distribution, div, djvu, dl, done, drift, dual, duality, dud, dyn, dyn-sys, dyn-syst, dynamic-systems, dynamical, dynamics, economics, edge-detect, educational, eigen, eigen-pyramid, electro-mag, elements, encycl, engg, entropy, equational, equiv, euler, exact, example, examples, exercise, exercises, existence, exp-map, experiment, experimental, exterior, exterior-algebra, extract, fact, faithful, fe, featherstone, feature, fibre, fig, filter, finally, finance, financial, finitism, fixed-point, flex, float, flt, fol, forcing, formal, formalized, foundations, frensh, frequent, frequentist, friction, ft, ftc, fubini, functional, fundamentals, future, ga, galois, game, gd, gdc, general, generalised, generalization, geom, geometric, geometry, ghost, gk1, global, glossary, goal, godel, goedel, good-intro, grad, gradient, graph, grassmann, gravity, green, group, guide, h-real, hamiltonian, hard, hard-copy, hessian, heuristic, heuristics, heyting, hierarch, hilb, hist, history, hook, hpc, human, hybrid, hypermatrix, hyperreals, idiosyncratic, ill-cond, impl, implicit, impulse, in-short, incompleteness, indefinite, index-notation, inequalities, infini, infinitesimal, infinitesimals, informal, information, informatl, integ, integral, integrate, integration, integrator, interesting, intrig, intriguing, intro, intro-hist, introduction, intui, intuit, intuition, intuitionistic, intuituion, invariance, invariant, inverse, ipt, isabelle, iter, iterative, ivt, japanese, jokes, jordan-curve, kalman, kernel, kind, kkt, kolmogorov-ext, krylov, lagr, lagr:p215, lagragian, lagrange, lagrangian, lambda, landau, last:15, last:232, last:24, last:57, last:68, last:fail, latex, lattice, lcp, ldual1, learning, least-squares, lebesgue, lecture, level-up, levi-civita, lie, light-years, likelihood, limits, lin, lin-alg, lincs, linear, linearise, linearization, list, local, logi-compact, logic, logic_reco_goedel, los, lp, lp-cond, lu, lucid, machine-vision, manifold, manifolds, markov, math, math-framework, math-insight, mathematical, mathematics, matrix, maxwell, measure, measurement, mech, mechanics, meta-proof, method, microscopic, mihai, milner, misc, missing, mixed, ml, ml-stat, model, modeling, modern, molecular, ms, multi-body, multi-grid, multi-linear, multi-var, multilin, multipliers, multivar, mv, mvt, my-paper, naimpally, nat-deduct, natural, ncat, near, net, newton, nn, no-tag, node, non-smooth, nonlin, nonlinear, notation, noted, notes, np, nsa, nsa-logic, nsa-ode, nsa-phys, nsele, numerical, o-not, obstructions, ode, olympiad, online, open, opt, optimization, order, orientation, origin, original, origins, orthodoxy, other, outliers, overview, p8, p8', p9, pa, paper, paradox, parallel, part, particle, pathology, pca, pde, pert, phase, phil, philosophical, philosophy, phys, physics, pitfall, planetary, plank, plot, pointless, polemical, post-nsa, ppl, practical, practice, pre-study, presi, preview, prior, pro, probability, problem-text, proj-dyn-sys, project, proof, proof theory, prover, q-calc, q1, q2, q3, q4, q5, ql, quantum, quat, quest, quora, ra, rahm, rated, rattle, rec-tourlakis, reco, recursion, recurstion, reduced-coord, reduction-stairs, ref, reference, reg-exp, regularization, rel, relativity, relaxation, relu, representation, representative, review, rexp, riemann, rigid-body, robotics, robustness, rotation, rough, rought, rsa, rus-style, s-real, saddle, salient, satbilization, school, science, seal:diff-form, seal:finite-dim-opt(rocka), seal:variational, search, sele, selection, semantics, sensors:kalman:distribution, separable, series, set, set theory, set-valued, shake, sheaves, sheet, short, short.pdf, sia, sig, sigma-alg, simple, simplex, simulation, simult, sing, slides, soft, software, solutions, solva, solvability, solver, solving, sor, sparse, st, stability, stabilization, standard, stat, statistics, stiff, stlc, stochastic, stokes, strange, study, subsp-min, success, summary, surf-recon, survey, suvey, svm, symbolic, symbols, symmetry, symplectic, synth-geom, synthetic, syst-theory, system-ident, table, tactics, tangent, tangent-space, taylor, technique, template, tensor, terminology, test:ok, text, texture, theory, theplan, thermal, thermo, thermodynamics, thesis, three-body, tikz, to-print, tolopogy, too-diff, tool, topical, topology, topos, tracking, train-thought, training, trans, transfer, translation, transpose, tree, trefethen, tricks, trivializer, tutorial, type, type-theory, ultrafilter, under, understanding, unif, universal, url:topology.jdabbs.com, validation, vanishing-gradient, var, variance, variational, vec-calc, vehicle, version, virt-disp, visual, vocabulary, voted, vquote, waves, while, why, wide, wittg, workshop, zeno, zf, zfc
| Index | Starred | Title | Tags | Bib |
|---|---|---|---|---|
| 1 | 101 Illustrated Real Analysis Bedtime Stories | .pdf, continuity, counter, fig, ra, survey | ||
| 2 | 6 DOF Haptic Rendering Using Contact Levels of Detail and Haptic Textures | .pdf, p8, rotation, thesis | ||
| 3 | A Beginner's Guide to Mathematical Logic | .epub, 2014, [smullyan], logic | @book{smullyan2014beginner, title={A Beginner's Guide to Mathematical Logic}, author={Smullyan, Raymond M}, year={2014}, publisher={Courier Corporation} } | |
| 4 | A Book of Curves | .pdf, fig, survey | @book{lockwood1967book, title={A book of curves}, author={Lockwood, Edward Harrington}, year={1967}, publisher={Cambridge University Press} } | |
| 5 | A Brief Introduction to Olympiad Inequalities | .pdf, inequalities, short | @article{chen2014brief, title={A Brief Introduction to Olympiad Inequalities}, author={Chen, Evan}, year={2014} } | |
| 6 | A Brief Survey of the History of the Calculus of Variations and its Applications | .pdf, history, math, variational | @article{ferguson2004brief, title={A Brief Survey of the History of the Calculus of Variations and its Applications}, author={Ferguson, James}, journal={arXiv preprint math/0402357}, year={2004} } | |
| 7 | A Brief on Tensor Analysis | .pdf, 1994, EL, [oreilly], dynamics, ldual1, mechanics, physics, tensor | @book{simmonds2012brief, title={A brief on tensor analysis}, author={Simmonds, James G}, year={2012}, publisher={Springer Science & Business Media} } | |
| 8 | A Case Study on Students Concept Images of the Uniform Convergence of Sequences of Continuous Functions | .pdf, convergence, understanding | ||
| 9 | A Combination of Nonstandard Analysis and Geometry Theorem Proving, with Application to Newton’s Principia | .pdf, q3 | ||
| 10 | A Comparison of Affine Region Detectors | .pdf, feature, mv, salient, survey | @article{mikolajczyk2005comparison, title={A comparison of affine region detectors}, author={Mikolajczyk, Krystian and Tuytelaars, Tinne and Schmid, Cordelia and Zisserman, Andrew and Matas, Jiri and Schaffalitzky, Frederik and Kadir, Timor and Van Gool, Luc}, journal={International journal of computer vision}, volume={65}, number={1-2}, pages={43--72}, year={2005}, publisher={Springer} } | |
| 11 | A Comparison of Simplex Method Algorithms | .pdf, linear, lp, numerical, opt, simplex | @article{morgan1997comparison, title={A comparison of simplex method algorithms}, author={Morgan, Steven S}, year={1997} } | |
| 12 | A Comprehensive Treatment of q-Calculus | .pdf, 2012, alt, math, q-calc | @book{ernst2012comprehensive, title={A comprehensive treatment of q-calculus}, author={Ernst, Thomas}, year={2012}, publisher={Springer Science & Business Media} } | |
| 13 | A Concise Introduction to Logic | .pdf, ND, logic | ||
| 14 | A Continuous Collision Detection Algorithm for Adaptive Articulated-Body Dynamics Simulation | .pdf, [redon], articul, coll-detect | ||
| 15 | A Course in Algebra | .pdf, algebra, galois | ||
| 16 | A Course in Universal Algebra | .pdf, algebra, reco, universal | ||
| 17 | A Crash Course on the Lebesgue Integral and Measure Theory | .pdf, integration | ||
| 18 | A Disorienting Look At E478 | .pdf, euler, history, math, rotation | ||
| 19 | A Dynamical System Approach to Stochastic Approximations | .pdf, SGD, convergence, dynamical, learning, mathematical, ml, nn, probability, stochastic | ||
| 20 | ★★ | A Fast and Stable Penalty Method for Rigid Body Simulation | .pdf, PID, [drumwright], contact, critical, paper, rigid-body, survey | |
| 21 | A First Course in Logic An Introduction to Model Theory, Proof Theory, Computability, and Complexity | .pdf, MT, PT, compl, compu, formal, logic, math | ||
| 22 | A First Course in Numerical Methods | .pdf, 2011, book, dynamics, integ, lin, mechanics, nonlin, numerical, opt, physics, simulation | ||
| 23 | A First Look at Perturbation Theory | .pdf, EL, dynamics, mechanics, physics | ||
| 24 | A Formal Approach to Lakatosian heuristics | .pdf, heuristics, interesting | ||
| 25 | ★★ | A Friendly Introduction to Mathematical Logic | .djvu, [FItML], logic, model, ql, reco | |
| 26 | ★★ | A Garden of Integrals | .pdf, history, integration, survey | |
| 27 | A General Pricing Scheme for the Simplex Method | .pdf, [maros], simplex | ||
| 28 | A Geometric Approach to Differential Forms | .pdf, [bachman], fubini, version | ||
| 29 | ★ | A Geometric Approach to Differential Forms | .pdf, [GADF], [bachman], diff-form, fig, geom, orientation | |
| 30 | A Geometry of Approximation, Rough Set Theory, Logic, Algebra and Topology of Conceptual Patterns | .pdf, algebra, alt, approximation, logic, rough, topology, unif | ||
| 31 | ★ | A Glossary for Biological Information Theory and the Delila System | .pdf, IT, glossary, survey | |
| 32 | ★ | A Graduate Introduction to Numerical Methods From the Viewpoint of Backward Error Analysis | .pdf, 2013, book, numerical | |
| 33 | ★ | A Guide to Distribution Theory and Fourrier Transforms | .djvu, [strichartz], distribution, ft, generalised, history, pde, sensors:kalman:distribution | |
| 34 | A History of the Calculus of Variations from the 17th through the 19th Century | .pdf, history, math, variational | ||
| 35 | ★★ | A Lambda Calculus for Real Analysis | .pdf, RA, [taylor], lambda, logic | |
| 36 | A Language for Differential Functions | .pdf, interesting, no-tag | ||
| 37 | A Logic-Based Formal Model for Heuristics | .pdf, Meta, heuristics, interesting | ||
| 38 | A Logical Approach to Discrete Math | .pdf, logic, math, rec-tourlakis | ||
| 39 | A Mathematical Framework for a Quantum Gravity Theory, Non-standard Analysis, Differential Forms and Variational Theory | .pdf, alt, diff-form, math, nsa, phys, var | @article{braun2011mathematical, title={A Mathematical Framework for a Quantum Gravity Theory: Non-standard Analysis, Differential Forms and Variational Theory}, author={Braun, Klaus}, journal={Work}, year={2011} } | |
| 40 | A Modified Newton Method for Minimization | .pdf, indefinite, newton, nonlinear, opt | ||
| 41 | ★ | A Monotone Convex Analog to Linear Algebra | .pdf, [rockafellar] | |
| 42 | A Mostly Linear Algebraic Introduction to Quaternions | .pdf, math, quat, rotation | ||
| 43 | A Numerically Robust LCP Solver for Simulating Articulated Rigid Bodies in Contact | .pdf, interesting, lcp, numerical, paper, rigid-body, simulation | ||
| 44 | ★ | A Panoramic View of Riemannian Geometry | .pdf, diff-geom, hist, riemann, survey | |
| 45 | A Polynomial Approach to Linear Algebra | .pdf, alt, interesting, lin-alg, syst-theory | ||
| 46 | ★ | A Primer of Infinitesimal Analysis | .pdf, [bell], alt, book, diff-eq, logic, math, nsa, phil, phys, vec-calc | @book{bell1998primer, title={A primer of infinitesimal analysis}, author={Bell, John Lane}, year={1998}, publisher={Cambridge University Press} } |
| 47 | A Primer on Hilbert Space Theory. Linear Spaces, Topological Spaces, Metric Spaces, Normed Spaces, and Topological Groups- | .pdf, 2014, hilb | ||
| 48 | ★ | A Probabilistic Theory of Pattern Recognition | .djvu, detailed, ml, probability | |
| 49 | ★ | A Probability Path | .pdf, LLN, measure, probability | |
| 50 | A ProblemText in Advanced Calculus | .pdf, analysis, calculus, problem-text | ||
| 51 | ★ | A Radical Approach to Lebesgue's Theory of Integration | .pdf, [bressoud], author, history, integration | |
| 52 | A Radical Approach to Real Analysis | .djvu, [bressoud], history, ra | ||
| 53 | A Regularized Time Stepper for Multi-Body Systems | .pdf, [lacoursiere], cable, dynamics, mechanics, physics, simulation | ||
| 54 | ★★ | A Review of Proper Modeling Techniques | .pdf, [aRoPMT], compiler, compu, damping, dynamics, eigen, history, modeling, simulation, survey | |
| 55 | ★ | A Robust and Tractable Contact Model for Dynamic Robotic Simulation | .pdf, [drumwright], contact, convex, friction, paper, rigid-body, survey | |
| 56 | A Royal Road to Algebraic Geometry | .pdf, [holme], ag | ||
| 57 | A Short Course on Approximation Theory | .pdf, approximation, course, taylor | ||
| 58 | A Shorter Model Theory | .pdf, 1997, model | ||
| 59 | A Singular Introduction to Commutative Algebra | .pdf, alg, math | ||
| 60 | A Statistical Approach to Neural Networks | .pdf, ml, ml-stat | ||
| 61 | A Students Guide to Entropy | .pdf, [lemons], physics | ||
| 62 | A Students Guide to Maxwells Equations | .pdf, [fleisch], physics | ||
| 63 | A Students Guide to Vectors and Tensors | .pdf, [fleisch], author, covar, math, school, tensor | ||
| 64 | A Students Guide to Waves | .pdf, [fleisch], preview | ||
| 65 | A Students Guide to the Mathematics of Astronomy | .pdf, [fleisch], physics | ||
| 66 | A Supernoal Approach to Sparse Partial Pivoting | .pdf, lin-alg, matrix, numerical | ||
| 67 | ★ | A Survey Of Attitude Representations | .pdf, [shuster], engg, rotation, survey | |
| 68 | A Taste of Topology | .pdf, reco, topology | ||
| 69 | A Technical Primer On Causality | .pdf, causality, data-science, ml, probability | ||
| 70 | ★★ | A Theory of Networks for Approximation and Learning | .pdf, [ATNAL], [poggio], author, inverse, ml, regularization, relaxation | |
| 71 | A Toolchain for Real-Time Simulation using the Open Modelica Compiler | .pdf, compiler, integration, modeling, survey, symbolic | ||
| 72 | A Treatise on the Analytical Dynamics of Particles and Rigid Bodies, With an Introduction To The Problem of Three Bodies | .djvu, [whittaker], lagr | ||
| 73 | ★ | A Unified Approach to Understanding Statistics | .pdf, bayes, frequentist, probability, short, survey, too-diff, unif | |
| 74 | A Unified Framework for Rigid Body Dynamics | .pdf, dynamics, mechanics, paper, physics, rigid-body, simulation | ||
| 75 | ★★ | A User's Guide to Measure Theoretic Probability | .pdf, [pollard], author, history, measure, probability, survey | |
| 76 | A Volumetric Method for Building Complex Models from Range Images | .pdf, surf-recon | ||
| 77 | A characterization of continuity revisited | .pdf, charac, connectedness, continuity | ||
| 78 | ★★ | A cognitive analysis of Cauchy's conceptions of function, continuity, limit and infinitesimal, with implications for teaching the calculus | .pdf, [katz], nsa, understanding | @article{tall2014cognitive, title={A cognitive analysis of Cauchy’s conceptions of function, continuity, limit and infinitesimal, with implications for teaching the calculus}, author={Tall, David and Katz, Mikhail}, journal={Educational Studies in Mathematics}, volume={86}, number={1}, pages={97--124}, year={2014}, publisher={Springer} } |
| 79 | A combinatorial approach to hypermatrix algebra | .pdf, combinatorial, hypermatrix | ||
| 80 | A concept of nearness | .pdf, [herrlich], near | ||
| 81 | A constructive approach to nonstandard analysis | .pdf, alt, constr, math, nsa | @article{palmgren1995constructive, title={A constructive approach to nonstandard analysis}, author={Palmgren, Erik}, journal={Annals of Pure and Applied Logic}, volume={73}, number={3}, pages={297--325}, year={1995}, publisher={Elsevier} } | |
| 82 | A course of differential geometry and topology | .djvu, [fomenko], diff-geom, fig, topology | ||
| 83 | A fully automatic problem solver with human-style output | .pdf, ATP, good-intro | ||
| 84 | A general Phase-I method in linear programming | .pdf, [maros], phase, simplex | ||
| 85 | A general theory of natural equivalences | .pdf, cat, classic | ||
| 86 | A geometric interpretation of the covariance matrix | .pdf, covariance, intuit, probability, statistics | ||
| 87 | A history Of Mechanics | .pdf, [dugas], history, mechanics, physics | ||
| 88 | A hybrid global optimization algorithm for non-linear least squares regression | .pdf, fig, global, heuristic, least-squares, local, nonlinear, opt, practical | ||
| 89 | A linear programming-based algorithm for the signed separation of convex bodies | .pdf, [oritz], coll-detect, lp, non-smooth, simplex | ||
| 90 | A nonstandard proof of the Jordan curve theorem | .pdf, jordan-curve, nsa, proof | @article{narens1971nonstandard, title={A nonstandard proof of the Jordan curve theorem}, author={Narens, Louis}, journal={Pacific Journal of Mathematics}, volume={36}, number={1}, pages={219--229}, year={1971}, publisher={Mathematical Sciences Publishers} } | |
| 91 | A note on the biasing of Newton's direction | .pdf, LM, geom, least-squares, newton, nonlinear, opt | ||
| 92 | A note on the eigenvalues of double band matrices | .pdf, eigen-pyramid, project | ||
| 93 | A penalty function method for constrained molecular dynamics | .pdf, constrained, impulse, molecular | ||
| 94 | A ring homomorphism is enough to get nonstandard analysis | .pdf, algebra, logic, nsa | @article{benci2003ring, title={A ring homomorphism is enough to get nonstandard analysis}, author={Benci, Vieri and Di Nasso, Mauro and others}, journal={Bulletin of the Belgian Mathematical Society-Simon Stevin}, volume={10}, number={4}, pages={481--490}, year={2003}, publisher={The Belgian Mathematic Society} } | |
| 95 | ★★ | A short elementary proof of the Lagrange multiplier theorem | .pdf, [brezhneva], calculus, intuit, kkt, lagr, opt, proof | |
| 96 | ★ | A simple and elementary proof of the Karush–Kuhn–Tucker theorem for inequality-constrained optimization | .pdf, [brezhneva], intuit, kkt, lagr, opt, proof | |
| 97 | A special nonlinear least-squares problem | .pdf, example, least-squares, nonlinear, opt | ||
| 98 | A unified approach to discrete frictional contact problems | .pdf, contact, mechanics, mihai | ||
| 99 | A very minimal introduction to Tik Z | .pdf, latex, tikz | ||
| 100 | Abel's Theorem in Problems and Solutions. Based on the lectures of Professor V.I. Arnold | .pdf, [arnold], algebra, goal, group, obstructions, solvability | ||
| 101 | About Science, Myself and Others | .pdf, [ginzburg], account, history, human, physics | ||
| 102 | Abraham Robinson and Nonstandard Analysis, History, Philosophy, and Foundations | .pdf, foundations, history, nsa | ||
| 103 | Abstract Algebra, An Inquiry Based Approach | .pdf, abstract, algebra, concrete | ||
| 104 | Abstract and Concrete Categories, the Joy of Cats | .pdf, cat | ||
| 105 | Adaptive Dynamics of Articulated Bodies | .pdf, [redon], articul, coll-detect | ||
| 106 | ★ | Adaptive Integration for Controlling Speed vs. Accuracy in Multi-Rigid Body Simulation | .pdf, [drumwright], integ, paper, rigid-body | |
| 107 | Adaptive resolution in physics based virtual environments | .pdf, [lacoursiere], cable, dynamics, mechanics, physics, simulation | ||
| 108 | Advanced Calculus Demystified | .pdf, [bachman], basics, calculus | ||
| 109 | Advanced Character Physics | .pdf, PBD, particle | ||
| 110 | ★ | Advanced Design of Mechanical Systems, From Analysis to Optimization | .pdf, baumgarte, book, control, mechanics, rigid-body, survey | |
| 111 | Advanced Engineering Mathematics | .pdf, book, engg, mathematical | ||
| 112 | Advanced Mathematical Methods for Scientists and Engineers | .djvu, applied, compu, diff-eq, engg, numerical, opt | ||
| 113 | Aerodynamics Lecture | .pdf, aero, fig, rotation | ||
| 114 | Algebra Abstract and Concrete | .pdf, abstract, algebra, concrete, fig | ||
| 115 | ★ | Algebra and Geometry Inseparable | .pdf, 2007, alg, alt, cond, diff-geom, flt, numerical, unif | |
| 116 | ★ | Algebra, chapter 0 | .pdf, algebra, cat | |
| 117 | Algebraic Geometry of Discrete Dynamics, The case of one variable | .pdf, inverse, light-years, math | ||
| 118 | Algebraic Models in Geometry | .pdf, alg-geom, model | ||
| 119 | ★★ | Algebraic Structure and Generative Differentiation Rules | .pdf, [ASGD], derivative, functional, landau, o-not, unif, variational | |
| 120 | ★ | Algebraic Systems | .pdf, 1973, model | |
| 121 | Algebraic Topology, An Intuitive Approach | .pdf, AT, japanese | ||
| 122 | Algebras for Logic | .pdf, boolean, heyting, logic | ||
| 123 | Algorithm engineering bridging the gap between algorithm theory and practice | .pdf, 2010, book, comp-arithm, numerical | ||
| 124 | Algorithms for Continuous Optimization | .pdf, [judice], comp, lcp, linear, math, opt | ||
| 125 | ★ | Algorithms for Linear Complementarity Problems | .pdf, [judice], lcp | |
| 126 | All about the Dirac delta function | .pdf, [balakrishnan] | ||
| 127 | ★ | Almost Sure Existene of Lagragian Prices Vectors in Nonlinear Programming | .pdf, [rockafellar] | |
| 128 | Alpha-theory, An elementary axiomatics for nonstandard analysis | .pdf, algebra, axiomatic, nsa | @article{benci2003alpha, title={Alpha-theory: an elementary axiomatics for nonstandard analysis}, author={Benci, Vieri and Di Nasso, Mauro}, journal={Expositiones Mathematicae}, volume={21}, number={4}, pages={355--386}, year={2003}, publisher={Elsevier} } | |
| 129 | Alternative Mathematical Theory of Non-Equilibrium Phenomena | .pdf, alt, dyn-sys, phys, thermo | ||
| 130 | Alternative Representations of Rotation | .pdf, engg, rotation, survey | ||
| 131 | ★ | Amazing and Aesthetic Aspects of Analysis | .pdf, problem-text, series | |
| 132 | An Algorithm for the Fast Solution of Symmetric Linear Complementarity Problems | .pdf, [erleben], conv, dynamics, lcp, mechanics, paper, physics, rigid-body, simulation, subsp-min | ||
| 133 | ★ | An Analysis of Deep Neural Network Models for Practical Applications | .pdf, deep, ml, survey | |
| 134 | ★ | An Analysis of the Connections Between Layers of Deep Neural Networks | .pdf, deep, ml | |
| 135 | An Axiomatic Approach to the Integral | .pdf, axiomatic, calculus, integral, intuit | ||
| 136 | An Elementary Geometric Nonstandard Proof of the Jordan Curve Theorem | .pdf, jordan-curve, nsa, proof | @article{bertoglio1994elementary, title={An elementary geometric nonstandard proof of the Jordan curve theorem}, author={Bertoglio, Nestor and Chuaqui, Rolando}, journal={Geometriae Dedicata}, volume={51}, number={1}, pages={15--27}, year={1994}, publisher={Springer} } | |
| 137 | An Error Analysis for Numerical Multiple Integration | .pdf, bound, integration, multivar, numerical | ||
| 138 | An Evaluation of Open Source Physics Engines for Use in Virtual Reality Assembly Simulations | .pdf, rigid-body, software, survey | ||
| 139 | An Idealistic Formalization of Stokes Theorem, Pedagogical Math in Isabelle:ISAR | .pdf, auto-proof, formalized, stokes | ||
| 140 | An Index Notation for Tensor Products | .pdf, index-notation, tensor | ||
| 141 | An Infinite Series Approach to Calculus | .pdf, alt, inverse, math | ||
| 142 | An Introduction to Category Theory | .pdf, cat | ||
| 143 | An Introduction to Computational Networks and the Computational Network Toolkit | .pdf, cntk, ml, ms | ||
| 144 | ★ | An Introduction to Convexity | .pdf, convex, lagr, opt, survey | |
| 145 | An Introduction to Formal Logic | .pdf, formal, logic, study | ||
| 146 | An Introduction to Formal Logic, Solutions | .pdf, solutions | ||
| 147 | An Introduction to Goedels Theorems | .pdf, [IGT], consistency, goedel, logic, pa | ||
| 148 | An Introduction to Manifolds | .pdf, manifold | ||
| 149 | ★★ | An Introduction to Mathematical Logic and Type Theory | .djvu, logic, type-theory | |
| 150 | An Introduction to Non-Standard Analysis and its applications | .pdf, alt, math, nsa, short | @article{o2014introduction, title={An Introduction to Non-Standard Analysis and its Applications}, author={O’Neill, Kevin}, year={2014} } | |
| 151 | An Introduction to Nonstandard Analysis | .pdf, alt, intro, math, nsa | ||
| 152 | An Introduction to Numerical Analysis | .djvu, book, integration, numerical, reference | ||
| 153 | An Introduction to the Conjugate Gradient Method Without the Pain | .pdf, conjugate, gk1, gradient, nonlin, opt | ||
| 154 | ★ | An Introduction to the theory of infinite series | .djvu, series | |
| 155 | An Isabelle:HOL Formalisation of Green s Theorem | .pdf, auto-proof, formalized, green, stokes | ||
| 156 | ★ | An Outline of Set Theory | .pdf, ZF, [henle], axiomatic, logic, nsa, ppl, st | @book{henle2007outline, title={An outline of set theory}, author={Henle, James M}, year={2007}, publisher={Courier Corporation} } |
| 157 | An Outline of Theory of Semantic Information | .pdf, [carnap], logic, semantics | ||
| 158 | ★★ | An Overview of Type Theories | .pdf, history, lambda, logic, short, survey, type | |
| 159 | ★ | An algebraic model of transitive differential geometry | .pdf, alg-geom, diff-geom, synthetic | |
| 160 | An algorithm to find non-trivial linear dependencies | .pdf, complexity, linear, numerical, opt | ||
| 161 | An elementary illustrated introduction to simplicial sets | .pdf, degen, linear, lp, numerical, opt, simplex, sing | ||
| 162 | An excursion into large rotations | .pdf, origin, rexp, rotation | ||
| 163 | An improved general Phase-I method in linear programming | .pdf, phase, simplex | ||
| 164 | An informal introduction to topos theory | .pdf, cat, informal, topos | ||
| 165 | ★ | An introduction to Lagrangian and Hamiltonian mechanics | .pdf, classical, mechanics | |
| 166 | ★ | An inverse problem approach to pattern recognition in industry | .pdf, inverse, ml | |
| 167 | An invitation to algebraic geometry | .pdf, 2000, [karen-smith], ag | ||
| 168 | An uber-minimal guide to drawing trees and features in LATEX | .pdf, latex, software, tikz, tree | ||
| 169 | Analysis in J2 | .pdf, q1, quest | ||
| 170 | Analysis of commercial and free and open source solvers for linear optimization problems | .pdf, bench, comp, linear, lp, numerical, opt, simplex | ||
| 171 | Analysis on Surreal Numbers | .pdf, alt, math, post-nsa, rsa, s-real | ||
| 172 | ★ | Analysis with ultrasmall numbers | .pdf, [hrbacek], alt, nsa, ra | @article{hrbacek2010analysis, title={Analysis with ultrasmall numbers}, author={Hrbacek, Karel and Lessmann, Olivier and O'Donovan, Richard}, journal={American Mathematical Monthly}, volume={117}, number={9}, pages={801--816}, year={2010}, publisher={Mathematical Association of America} } |
| 173 | ★★ | Analysis, Measure, and Probability, A visual introduction | .pdf, TODO, [AMP], [pivato], analysis, fig, integration, measure, probability, sigma-alg, visual | |
| 174 | Analytic Combinatorics | .pdf, analysis, asympt, combinatorics, future | ||
| 175 | Analytic Inequalities | .djvu, [kazarinoff], inequalities, practice | ||
| 176 | Analytic Inequalities | .pdf, inequalities | ||
| 177 | Analytic Perturbation Theory and its Applications | .pdf, numerical, opt, pert | ||
| 178 | ★★ | Applications of Classical Physics | .pdf, alt, history, intuit, physics, tensor | |
| 179 | Applied Asymptotic Analysis | .djvu, 2006, asympt, taylor | ||
| 180 | ★ | Applied Differential Geometry | .pdf, diff-form, diff-geom, fig, tensor | |
| 181 | ★★ | Applied Linear Algebra, The Decoupling Principle | .pdf, dynamics, eigen, hard, lin-alg, missing, stability, survey, unif | |
| 182 | Applied Optimal Control, Optimization, Estimation, And Control | .pdf, 1975, simulation | ||
| 183 | Applied and computational complex analysis - I | .djvu, 1974, [henrici], complex, numerical | ||
| 184 | Applied and computational complex analysis - II | .djvu, 1977, [henrici], analysis, complex, numerical | ||
| 185 | Applied and computational complex analysis - III | .djvu, 1986, [henrici], analysis, complex, numerical | ||
| 186 | Applied exterior calculus | .djvu, calculus, diff-form, exterior | ||
| 187 | Applied numerical linear algebra | .djvu, 1997, [demmel], alt-cond, cond, lin-alg, matrix, numerical | ||
| 188 | Applying Topology to Data, Orientation, Chains, Cycles, and Boundaries | .pdf, orientation | ||
| 189 | Approach of a class of of discontinuous dynamical systems of fractional order | .pdf, disc-dyn-sys, mechanics, physics, simulation | ||
| 190 | Approximation of Constrained Dynamics via Augmented Potentials | .pdf, [fax], annotated, constrained, dynamics, mathematical, mechanics, origins, physics, simulation | ||
| 191 | Are real numbers countable in constructive mathematics? | .pdf, q1, quest | ||
| 192 | Artifical Time Integration | .pdf, [ascher], integration, numerical | ||
| 193 | Artificial Neural Network Ensembles, a Bayesian St andpoint | .pdf, ml, ml-stat | ||
| 194 | Asymptotic Analysis, Course Notes | .pdf, anal, asympt, calc, course, o-not, survey | ||
| 195 | Asymptotic Expansions for Regularized State-Dependent Neutral Delay Equations | .pdf, [hairer], ghost, integ, numerical | ||
| 196 | Asymptotic Expansions, M204, Davis | .pdf, asympt, course | ||
| 197 | Asymptotic analysis and perturbation theory | .pdf, 2013, asympt, de-conf, last:24, taylor | ||
| 198 | Asymptotice Expansions, Notes, iaravamid | .pdf, asympt, course | ||
| 199 | Augmented Lagrangian Methods | .pdf, course, linear, numerical, opt | ||
| 200 | Automatic Differentiation of Rigid Body Dynamics for Optimal Control and Estimation | .pdf, auto-diff, contact, control, featherstone, reduced-coord, rigid-body | ||
| 201 | Automatic Forward Error Analysis for Floating Point Algorithms | .missing, comp-arithm, missing, numerical | ||
| 202 | Axiom of Choice | .pdf, [schechter], author, lebesgue, measure, short, ultrafilter | ||
| 203 | Axiom of Choice | .pdf, 2006, [herrlich], alt, math | ||
| 204 | Axiomatic Geometry | .pdf, [lee] | ||
| 205 | Bag of tricks in Advanced Calculus, Real Analysis, Complex Analysis | .pdf, analysis, tricks | ||
| 206 | Basic Concepts about Manifolds and Fibre Bundles | .pdf, [in-short], diff-geom, fig, manifolds | ||
| 207 | ★ | Basic Concepts of Synthetic Differential Geometry | .djvu, 1996, alg-geom, diff-geom, synthetic, theplan | |
| 208 | Basic Proof Theory | .pdf, logic, proof | ||
| 209 | Basic Rig Body Physics Lecture8 | .pdf, course, dynamics, mechanics, physics, rigid-body, simulation | ||
| 210 | Basic Simple Type Theory | .pdf, lambda, type | ||
| 211 | Basics of olympiad inequalities | .pdf, inequalities | ||
| 212 | Basis Updates | .pdf, course, linear, numerical, opt | ||
| 213 | Bayesian Learning for Neural Networks | .pdf, ml, ml-stat, thesis | ||
| 214 | Beginning Model Theory, The Completeness Theorem and Some Consequences | .djvu, 1977, model | ||
| 215 | Behavior of the Numerical Integration Error | .pdf, experiment, integration, numerical | ||
| 216 | Believing the Axioms 1 | .pdf, alt, math | ||
| 217 | Believing the Axioms 2 | .pdf, alt, math | ||
| 218 | Beyond Toplogy | .pdf, near, topology | ||
| 219 | Big Data Analytics, Machine Learning, Cloud Computing | .pdf, data-sci, ml | ||
| 220 | ★★ | Bigeometric Calculus and its applications | .pdf, alt, calc, calculus, diff-geom, infinitesimals | |
| 221 | Bilinear form | .pdf, tensor | ||
| 222 | Blobworld A System for RegionBased Image Indexing and Retrieval | .pdf, mv, texture | ||
| 223 | ★ | Bohm's Theorem | .pdf, bohm, computability, history, lambda | |
| 224 | Bundle Fusion, Real-time Globally Consistent 3 D Reconstruction using On-the-fly Surface Re-integration | .pdf, surf-recon | ||
| 225 | ★ | But you have to remember P. J. Daniell of Sheffield | .pdf, brownian, daniell, history, kolmogorov-ext, probability, statistics, survey | |
| 226 | CCMA, A Robust, Parallelizable Constraint Method for Molecular Simulations | .pdf, constrained, molecular | ||
| 227 | CIB13769 | |||
| 228 | ★ | COMMUTING AND NON-COMMUTING INFINITESIMALS | .pdf, [katz], diff | |
| 229 | ★ | CONTRAVARIANCE, COVARIANCE, DENSITIES, AND ALL THAT, AN INFORMAL DISCUSSION ON TENSOR CALCULUS | .pdf, [tiee], coord-free, diff-geom, intuit, survey, tensor | |
| 230 | ★ | CS704, Lambda Calculus, Part I | .pdf, church-rosser, course, intuit, lambda, lecture, short | |
| 231 | CSF00-disc | .pdf, disc-dyn-sys, mechanics, physics, simulation | ||
| 232 | Calc III Partial Deriv | .pdf, gk1, gradient | ||
| 233 | Calculus in the Surreals, A Topological Construction | .pdf, alt, math, post-nsa, rsa, s-real | ||
| 234 | ★ | Calculus of Variations | .pdf, 1962, [courant], course, math, seal:finite-dim-opt(rocka), variational | |
| 235 | Calculus of Variations | .djvu, 2000, [fomin], book, math, variational | ||
| 236 | Calculus of Variations | .pdf, [fomin], math, multipliers, physics, variational | ||
| 237 | ★ | Calculus of Variations and Applications | .pdf, beltrami, exercise, history, proof, sele, survey, variational | |
| 238 | Calculus of variations and optimal control theory | .djvu, 1980, [m.hestenes], control, opt | ||
| 239 | Calculus, Problems and Solutions | .pdf, [CPaS], [ginzburg], analytic, author, calculus, problem-text, solutions, taylor | ||
| 240 | Capital in the Twenty-First Century | .pdf, other | ||
| 241 | Category Theory and Model Theory | .pdf, hook, logi-compact, model | ||
| 242 | Category Theory for Scientists | .pdf, cat | ||
| 243 | Cauchy Construction of R | .pdf, cauchy, construction, ra, short | ||
| 244 | Causal Fundamentalism in Physics | .pdf, q5 | ||
| 245 | Central Limit Theorem and the Law of Large Numbers | .pdf, CLT, LLN, history, probability, topical | ||
| 246 | Chaos and Stability in Planetary Systems | .djvu, chaos, dynamics, kind, lagr, physics, planetary, stability | ||
| 247 | Characterization of an indefinite Riemann integral | .pdf, integral | ||
| 248 | ★ | Characterization of the Subdifferentials of Convex Functions | .pdf, [rockafellar] | |
| 249 | Clarifying the nature of the infinite, the development of metamathematics and proof theory | .pdf, [avigad], foundations, history, logic, philosophical, proof theory | ||
| 250 | Classical Differential Geometry | .pdf, [compact], [petersen], diff-geom | ||
| 251 | ★ | Classical Mechanics | .pdf, classical, mechanics, ref | |
| 252 | ★ | Classical Mechanics, Zurich, 2014 | .pdf, classical, mechanics | |
| 253 | ★ | Classical Mechanics, solutions | .pdf, classical, mechanics, ref, solutions | |
| 254 | Clifford Algebra to Geometric Calculus, A Unified Language for Mathematics and Physics | .pdf, GA, [hestenes], clifford-algebra, diff-form, exterior-algebra, mechanics, physics | ||
| 255 | ★ | Clifford Algebra, A visual introduction | .pdf, clifford, fig | |
| 256 | ★★ | Clifford algebra, geometric algebra, and applications | .pdf, GA, clifford | |
| 257 | ★★ | Closed Forms, What are they and why we care | .pdf, closed-form, trefethen | |
| 258 | ★★ | Cognitive Development of Proof | .pdf, [tall], understanding | |
| 259 | ★ | Combinatorial Set Theory, With a Gentle Introduction to Forcing | .pdf, forcing, logic | |
| 260 | ★ | Combinators, lambda-Terms and Proof Theory | .pdf, combinators, lambda, logic | |
| 261 | Combining Direct and Iterative Methods for the Solution of Large Systems in Different Application Areas | .pdf, block, direct, hybrid, iterative, mixed, numerical | ||
| 262 | Combining rotation quaternions | .pdf, p8' | ||
| 263 | Complementarity Applications, Algorithms and Extensions | .pdf, 2001, lin-alg, matrix, numerical | ||
| 264 | Complex Analysis and Conformal Mapping | .pdf, [olver] | ||
| 265 | ★ | Comprehensive Analysis of the Failure of Intuition in Elementary Rigid Body Dynamics | .pdf, intuition, physics, rigid-body | |
| 266 | ★ | Comprehensive Introduction to Linear Algebra | .pdf, [CItLA], bilinear, intuit, multi-linear, tensor | |
| 267 | Computability Theory, Semantics, and Logic Programming | .djvu, 1987, semantics | ||
| 268 | ★ | Computability and Recursion | .pdf, history, lambda, overview, recursion, short | |
| 269 | ★ | Computation and Visualization of Geometric Partial Differential Equations | .pdf, [tiee], cotangent, intuit, tensor | |
| 270 | Computation of Condition Numbers for linear programming problems using Pen ̃a’s Method | .pdf, cond, linear, lp, lp-cond, numerical, opt, simplex | ||
| 271 | Computational Complexity and Numerical Stability of Linear Problems | .pdf, complexity, numerical, stability, survey | ||
| 272 | Computational Dynamics | .pdf, [shabana], book, compu, dynamics, mechanics, physics, simulation | ||
| 273 | Computational Integration | .djvu, computational, integration, survey, symbolic | ||
| 274 | Computational Linear Algebra, Direct Solution of Linear Systems | .pdf, [moore], [moore] compu course, direct, lin-alg, ppl | ||
| 275 | Computational Linear Algebra, Iterative Solution of Linear Systems | .pdf, [moore], [moore] compu course, iterative, lin-alg, ppl, sor | ||
| 276 | Computational Linear Algebra, The Symmetric Eigen-Problem | .pdf, [moore], compu, course, eigen, lin-alg, ppl | ||
| 277 | Computational Physics, An Introduction | .pdf, book, coll-detect, compu, dynamics, integ, molecular, physics, rigid-body | ||
| 278 | Computational Science Education Project, Mathematical Optimization | .pdf, gk1, opt | ||
| 279 | ★ | Computational Techniques of the Simplex Method | .pdf, [CSTM], [maros], impl, linear, lp, numerical, opt, simplex | |
| 280 | Computational analysis with the HP-25 pocket calculator | .djvu, 1977, [henrici], calculator, numerical | ||
| 281 | ★★ | Computational capacity of the universe | .pdf, IT, QC, goal, physics, plank | |
| 282 | Computers and Intractability A Guide to the Theory of NP-Completeness | .djvu, complexity, cs | ||
| 283 | Computers and Languages, Theory and Practice | .pdf, BNF, computers, history | ||
| 284 | Computing Sparse LU Factorizations for Large-Scale Linear Programming Bases | .missing, [suhl], fact, impl, lin-alg, matrix, missing, numerical | ||
| 285 | Conceptual Mathematics, A first introduction to categories | .pdf, cat | ||
| 286 | Concrete Semantics, with Isabelle/HOL | .pdf, auto-proof, isabelle | ||
| 287 | Constant Rank Theorem | .pdf, inverse, math | ||
| 288 | Constrained Impulsive Molecular Dynamics | .pdf, constrained, impulse, molecular, rigid-body | ||
| 289 | ★ | Constrained Optimization in the Calculus of Variations and Optimal Control Theory | .pdf, 1992, connect, constrained, control, intro-hist, opt, short, variational | |
| 290 | Constructive Modalities with Provability Smack | .pdf, q1, quest | ||
| 291 | Constructive Modalities with Provability Smack | .png, q1, quest | ||
| 292 | Constructive Reality | .pdf, q1, quest | ||
| 293 | Context-Free Grammars: Covers, Normal Forms, and Parsing | |||
| 294 | Continuity in terms of connectedness for functions on the line | .pdf, charac, connectedness, continuity, darboux, topology | ||
| 295 | Continuity of Darboux Functions | .pdf, connectedness, continuity, darboux | ||
| 296 | Continuous Collision Detection for Articulated Models using Taylor Models and Temporal Culling | .pdf, [redon], articul, coll-detect | ||
| 297 | Contravariance, Covariance and Spacetime Diagrams | .pdf, covar, ldual1, math, school, tensor | ||
| 298 | Convergence And Stability In The Numerical Approximation Of Dynamical Systems | .pdf, dynamical, integ, numerical | ||
| 299 | ★ | Convergence and divergence testing theory and applications by Integration at a point | .pdf, analysis, convergence, limits, series, taylor | |
| 300 | Convergence of Stochastic Processes | .pdf, [pollard] | ||
| 301 | Convergence, Clark | .pdf, convergence, filter | ||
| 302 | Convex Analysis | .djvu, [rockafellar], convex | ||
| 303 | Convex Analysis and Approximation Theory | .pdf, approximation, convex | ||
| 304 | ★ | Convex Functions, Monotone Operators and Variational Inequalities | .pdf, [rockafellar] | |
| 305 | Convex Optimization | .pdf, convex, opt | ||
| 306 | ★ | Convex and analytically-invertible dynamics with contacts and constraints, Theory and implementation in Mu Jo Co | .pdf, PD, rigid-body, software | |
| 307 | Coordinate-Free Geometric Programming | .pdf, ADT, ag, translation | ||
| 308 | ★ | Counterexamples in Analysis | .pdf, counter, ra | |
| 309 | Counterexamples in Topology | .pdf, counter, topology | ||
| 310 | Covariance Collated, I | .pdf, collated, covar | ||
| 311 | Criss-cross methods, A fresh view on pivot algorithms | .pdf, 1997, convergence, criss-cross, proof, simplex | ||
| 312 | Danca02 | .pdf, disc-dyn-sys, mechanics, physics, simulation | ||
| 313 | Dangerous and Illegal Operations in Calculus | .pdf, analysis, generalised | ||
| 314 | Darboux Continuity | .pdf, continuity, counter, darboux | ||
| 315 | Darboux property | .pdf, continuity, darboux, encycl, ivt, short, survey | ||
| 316 | David Tall Research Papers | .pdf, [tall] | ||
| 317 | Deep Learning Book | .pdf, [DLB], book, deep, ml, survey | ||
| 318 | ★ | Deep Learning Glossary – Wild ML | .pdf, [wildml], ml, survey, vocabulary | |
| 319 | Deep Learning without Poor Local Minima | .pdf, dl, ml, open, optimization | ||
| 320 | Deep Network Guided Proof Search | .pdf, ML, heuristics, interesting, prover | ||
| 321 | ★★ | Deep learning, Review | .pdf, [DLR], deep, history, intuit, ml, short, survey | |
| 322 | ★★ | Deep vs. Shallow Networks, an Approximation Theory Perspective | .pdf, [poggio], deep, ml | |
| 323 | Degrees of Unsolvability Structure and Theory | .djvu, 1979, [epstein], logic, recursion, solva | ||
| 324 | Delay differential equation | .pdf, mechanics, physics, proj-dyn-sys, simulation | ||
| 325 | Delving Deep into Rectifiers, Surpassing Human-Level Performance on Image Net Classification | .pdf, activation, ml, nn, relu | ||
| 326 | ★ | Demystifying Quantum Mechanics | .pdf, intuit, physics, quantum | |
| 327 | Depth and Intensity Based Edge Detection in Time-of-Flight Images | .pdf, edge-detect, mv | ||
| 328 | Derivative Pricing in Discrete Time | .pdf, [cutland], applied, author, discrete, financial, nsa | @book{cutland2012derivative, title={Derivative Pricing in Discrete Time}, author={Cutland, Nigel J and Roux, Alet}, year={2012}, publisher={Springer Science & Business Media} } | |
| 329 | Derivatives and Linear Approximation | .pdf, o-not | ||
| 330 | Deriving the Trapezoidal Rule Error | .pdf, bound, integration, numerical | ||
| 331 | Des Lois Geometriques Qui Regissent Le Deplacement Dun System Solide | .pdf, [rodrigues], frensh, math, mechanics, original, rotation | ||
| 332 | Descartes La Geometrie | .pdf, [descartes], math, original | ||
| 333 | Detecting Illumination in Images | .pdf, edge-detect, mv | ||
| 334 | Diagonalization in a Construtive Context | .pdf, [bell], q1, quest | ||
| 335 | Diagrammatic Syntax and its Constraints | .pdf, cat | ||
| 336 | Die lineale Ausdehnungslehre | .pdf, [grassmann], lin-alg, math, original | ||
| 337 | Differential Equations A Dynamical Systems Approach Higher-Dimensional Systems | .pdf, 1995, [hubbard], diff-eq, ppl | ||
| 338 | Differential Equations A Dynamical Systems Approach Ordinary Differential Equations | .pdf, 1991, [hubbard], diff-eq, ppl | ||
| 339 | Differential Forms | .djvu, [cartan], diff-form, orientation | ||
| 340 | ★★ | Differential Forms and Integration | .pdf, [tao], diff-form, infinitesimal, intuit, short | |
| 341 | Differential Forms with Applications to the Physical Sciences | .djvu, diff-form, physics | ||
| 342 | Differential Forms. Theory and Practice | .pdf, 2014, [weintraub], diff-form, last:57, orientation | @book{weintraub2014differential, title={Differential Forms: Theory and Practice}, author={Weintraub, Steven H}, year={2014}, publisher={Elsevier} } | |
| 343 | ★ | Differential Geometry Notes | .pdf, [DGN], curvature, diff-form, diff-geom, fig, notes | |
| 344 | ★ | Differential Geometry in Toposes | .pdf, SDG, coord-free, diff-geom, infini, pointless, synthetic, topology | |
| 345 | ★ | Differential Topology, an Introduction | .pdf, fig, intuit, near, topology | |
| 346 | ★ | Differential forms, a complement to Vector Calculus | .pdf, [weintraub], diff-form, last:68, theplan, vec-calc | @book{weintraub1997differential, title={Differential forms: a complement to vector calculus}, author={Weintraub, Steven H}, year={1997}, publisher={Academic Press} } |
| 347 | ★ | Differential geometry book recommendations | .pdf, [kennington], autodid, diff-geom, hist, theplan | |
| 348 | Differentiation, Lecture 8 | .pdf, derivative, lecture, o-not | ||
| 349 | Direct sparse factorization of blocked saddle point matrices | .pdf, [lacoursiere], lcp, paper, rigid-body, sparse | ||
| 350 | ★ | Discontinuous variational time integrators for complex multibody collisions | .pdf, [oritz], integ, lagr, non-smooth, variational | |
| 351 | ★ | Discrete Calculus, Applied Analysis on Graphs for Computational Science | .pdf, diff-form, discr-calc, short | |
| 352 | Discrete Differential Forms for Computational Modeling | .pdf, diff-form, discr-calc, summary | ||
| 353 | Discrete Exterior Calculus | .pdf, diff-form, discr-calc, short | ||
| 354 | Distinctive Image Features from Scale-Invariant Keypoints | .pdf, cited, invariant, mv | ||
| 355 | Div, Grad, Curl, and All That: An Informal Text on Vector Calculus | .djvu, alt, curl, div, grad, informatl, math, vec-calc | ||
| 356 | ★ | Diversity Leads to Generalization in Neural Networks | .pdf, ml, nn, success | |
| 357 | Donald Knuth: Calculus via O notation : Mathematics under the Microscope | .pdf, inverse, math | ||
| 358 | Down with Determinants | .pdf, alt, determinant, lin-alg, math | ||
| 359 | Dynamics With Inequalities, Impacts and Hard Constraints | .pdf, 2011, book, mechanics, mihai, physics, proj-dyn-sys, simulation | ||
| 360 | Dynamics and Bifurcations of Non-Smooth Mechanical Systems | .pdf, disc-dyn-sys, mechanics, physics, simulation | ||
| 361 | Dynamics of Multibody Systems | .pdf, [shabana], book, dynamics, multi-body, rigid-body, simulation | ||
| 362 | E407 Te X | .pdf, [euler], math, original, rotation | ||
| 363 | ★ | EGA (Elements of Geometric Algebra) | .djvu, GA | |
| 364 | ENCYCLOPEDIA OF TYPES OF ALGEBRAS 2010 | .pdf, algebra | ||
| 365 | Edge Boxes, Locating Object Proposals from Edges | .pdf, edge-detect | ||
| 366 | Edge Detection Techniques, Evaluations and Comparisons | .pdf, edge-detect, mv | ||
| 367 | ★ | Efficient Back Prop | .pdf, back-prop, basics, batch, intro, ml, nn, survey, tricks | |
| 368 | Efficient Geometrically Exact Continuous Collision Detection | .pdf, ccd, coll-detect, dynamics, exact, mechanics, paper, physics, rigid-body, simulation | ||
| 369 | Efficient Numerical Shadowing Global Error Estimation for High Dimensional Dissipative Systems | .pdf, dynamics, mechanics, physics, simulation | ||
| 370 | Efficient and reliable iterative methods for linear systems | .pdf, 2002, iter, krylov, lin-alg, matrix, numerical, survey | ||
| 371 | Eigenvalue Stability - Controls Wiki | |||
| 372 | ★ | Electromagnetics I, course handouts | .pdf, covar, example, fig, physics, tensor | |
| 373 | Elementary Analysis through Examples and Exercises | .pdf, exercises, ra | ||
| 374 | ★ | Elementary Axioms and Pictures for Infinitesimal Calculus | .pdf, [tall], author, fig, nsa, understanding | @article{tall1982elementary, title={Elementary axioms and pictures for infinitesimal calculus}, author={Tall, David}, journal={Bulletin of the IMA}, volume={18}, pages={43--48}, year={1982} } |
| 375 | Elementary Calculus, an Infinitesimal Approach | .pdf, [keisler], alt, math, nsa | @book{keisler2012elementary, title={Elementary calculus: An infinitesimal approach}, author={Keisler, H Jerome}, year={2012}, publisher={Courier Corporation} } | |
| 376 | Elementary Inequalities | .pdf, inequalities | ||
| 377 | Elementary Real Analysis | .pdf, ppl | ||
| 378 | Elementary algebraic geometry | .djvu, 2003, [hulek], ag | ||
| 379 | Elementary differential geometry | .pdf, 2010, coord-free, diff-geom, fig, gk1, gradient, math | ||
| 380 | ★ | Elements for Physics, Quantities, Qualities, and Intrinsic Theories | .pdf, [EoP], [tarantola], author, coord-free, diff-geom, ipt, multilin, physics, rotation, tensor | |
| 381 | ★★ | Elements of Expertise in Geometry | .pdf, done, meta-proof | |
| 382 | ★ | Elements of numerical analysis | .djvu, 1964, [EoNA], [henrici], conv, gk1, numerical | |
| 383 | Elements of the Theory of Computation | .djvu, compu, reco | ||
| 384 | ★ | Elements of the Theory of Functions and Functional Analysis, Vol 2, Measure,Lebesgue Integral,Hilbert Space | .pdf, 1961, [fomin], [kolmogorov], functional, hook, measure, rus-style | |
| 385 | ★ | Elements of the theory of functions and functional analysis. Vol.1 | .djvu, 1963, [fomin], [kolmogorov], elements, functional, hook, rus-style | |
| 386 | Enclosing Hybrid Behavior | .pdf, rigid-body, zeno | ||
| 387 | Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point | .pdf, rigid-body, zeno | ||
| 388 | Encyclopedia of General Topology | .pdf, encycl, topology | ||
| 389 | ★ | Encyclopedia of Optimization | .pdf, 2009, encycl, lp, opt, simplex, survey | |
| 390 | ★★ | Energy and Information | .pdf, IT, entropy, intuit, thermodynamics | |
| 391 | Equational logic, A great pedagogical tool for teaching a skill in logic | .pdf, equational, logic | ||
| 392 | Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis | .pdf, alt, math, nsa | @article{cowles2014equivalence, title={Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis}, author={Cowles, John and Gamboa, Ruben}, journal={arXiv preprint arXiv:1406.1560}, year={2014} } | |
| 393 | Eternal preliminaries part 2, filters and ultrafilters | .pdf, list, ultrafilter | ||
| 394 | Euclid to Eddington (ocr) | .txt, [whittaker], ppl | ||
| 395 | ★ | Euler Error | .pdf, numerical, taylor | |
| 396 | Evaluation of Physics Engines and Implementation of a Physics Module in a 3d-Authoring Tool | .pdf, rigid-body, software, survey | ||
| 397 | Exact Solutions to Linear Programming Problems | .pdf, exact, linear, lp, numerical, opt, simplex | ||
| 398 | Examples of non-natural lagrangians | .pdf, counter, lagrangian, physics | ||
| 399 | Expert and Novice Approaches to Reading Mathematical Proofs | .pdf, understanding | ||
| 400 | ★ | Exploring Physics with Geometric Algebra | .pdf, GA, comp, math, trivializer | |
| 401 | ★ | Exploring Strategies for Training Deep Neural Networks | .pdf, deep, generalization, ml, training | |
| 402 | Exponential and Sinusoidal Signals | .pdf, course, gk1, sig | ||
| 403 | ★ | Extending Open Dynamics Engine for Robotics Simulation | .pdf, [drumwright], rigid-body | |
| 404 | Extensions of a Theory of Networks for Approximation and Learning | .pdf, [poggio], inverse, ml, outliers | ||
| 405 | ★★ | FOL and ZFC in a Nutshell (extract) | .pdf, [FZnut], extract, fol, goedel, in-short, level-up, logic, set, set theory, short, st, survey, to-print, zf, zfc | |
| 406 | ★ | Face Recognition, A Literature Survey | .pdf, cited, ml, survey | |
| 407 | Factorization and update of a reduced basis matrix for the revised simplex method | .pdf, linear, lp, numerical, opt, simplex | ||
| 408 | Fast Continuous Collision Detection for Articulated Models | .pdf, [redon], articul, coll-detect | ||
| 409 | Fast Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS | .pdf, Parallel, comp-arithm, numerical | ||
| 410 | Fast Dynamic Simulation of Multi-Body Systems Using Impulses | .pdf, [bender], dynamics, mechanics, paper, physics, rigid-body, simulation | ||
| 411 | Fast Edge Detection Using Structured Forests | .pdf, edge-detect | ||
| 412 | Feature Selection Based on Information theory | .pdf, classification, information, ml, mv, survey, thesis | ||
| 413 | Feynman Lectures On Physics Chapter2-19 | .pdf, [feynman], ppl | ||
| 414 | Feynman Lectures on Physics Volume 1 Chapter 00 | .pdf, [feynman], ppl | ||
| 415 | Feynman Lectures on Physics Volume 1 Chapter 01 | .pdf, [feynman], ppl | ||
| 416 | Feynman Lectures on Physics Volume 1 Chapter 03 | .pdf, [feynman], ppl | ||
| 417 | Feynman Lectures on Physics Volume 1 Chapter 04 | .pdf, [feynman], ppl | ||
| 418 | Feynman Lectures on Physics Volume 1 Chapter 05 | .pdf, [feynman], ppl | ||
| 419 | Feynman Lectures on Physics Volume 1 Chapter 06 | .pdf, [feynman], ppl | ||
| 420 | Feynman Lectures on Physics Volume 1 Chapter 07 | .pdf, [feynman], ppl | ||
| 421 | Feynman Lectures on Physics Volume 1 Chapter 08 | .pdf, [feynman], ppl | ||
| 422 | Feynman Lectures on Physics Volume 1 Chapter 09 | .pdf, [feynman], ppl | ||
| 423 | Feynman Lectures on Physics Volume 1 Chapter 10 | .pdf, [feynman], ppl | ||
| 424 | Feynman Lectures on Physics Volume 1 Chapter 11 | .pdf, [feynman], ppl | ||
| 425 | Feynman Lectures on Physics Volume 1 Chapter 12 | .pdf, [feynman], ppl | ||
| 426 | Feynman Lectures on Physics Volume 1 Chapter 13 | .pdf, [feynman], ppl | ||
| 427 | Feynman Lectures on Physics Volume 1 Chapter 14 | .pdf, [feynman], ppl | ||
| 428 | Feynman Lectures on Physics Volume 1 Chapter 15 | .pdf, [feynman], ppl | ||
| 429 | Feynman Lectures on Physics Volume 1 Chapter 16 | .pdf, [feynman], ppl | ||
| 430 | Feynman Lectures on Physics Volume 1 Chapter 17 | .pdf, [feynman], ppl | ||
| 431 | Feynman Lectures on Physics Volume 1 Chapter 28 | .pdf, [feynman], ppl | ||
| 432 | Feynman Lectures on Physics Volume 1 Chapter 34 | .pdf, [feynman], ppl | ||
| 433 | Feynman Lectures on Physics Volume 1 Chapter 35 | .pdf, [feynman], ppl | ||
| 434 | Feynman Lectures on Physics Volume 1 Chapter 36 | .pdf, [feynman], ppl | ||
| 435 | Feynman Lectures on Physics Volume 1 Chapter 39 | .pdf, [feynman], ppl | ||
| 436 | Feynman Lectures on Physics Volume 1 Chapter 44 | .pdf, [feynman], ppl | ||
| 437 | Filters in Analysis and Topology | .pdf, filter | ||
| 438 | ★ | Filters, cachan | .pdf, counter, filter, topology | |
| 439 | ★★ | Finite Elements, Theory, Fast Solvers, and Applications in Solid Mechanics | .pdf, applied, convergence, discrete, drift, fe, lagr, mechanics, multi-grid, opt, survey, variational | |
| 440 | Finiteness of Variance is Irrelevant in the Practice of Quantitative Finance | .pdf, finance, pathology, statistics, variance | ||
| 441 | ★ | Finitism | .pdf, HP, [tait], finitism, logic | |
| 442 | First Order Logic and Nonstandard Analysis | .pdf, foundations, logic, nsa, short | @article{hartman2010first, title={First Order Logic and Nonstandard Analysis}, author={Hartman, Julian}, year={2010} } | |
| 443 | Flex Eurographics Tutorial | .pdf, PBD, flex, rigid-body | ||
| 444 | ★★ | Flexible Multibody Dynamics | .pdf, baumgarte, book, classical, control, lagr, mechanics, multi-body, rigid-body, survey | |
| 445 | Formal Proof, Reconciling Correctness and Understanding | .pdf, auto-proof, natural, understanding | ||
| 446 | Formalization of Real Analysis, A Survey of Proof Assistants and Libraries | .pdf, auto-proof, automated, survey | ||
| 447 | Formulating Dynamic Multi-Rigid-Body Contact Problems with Friction as Solvable LCP | .pdf, [anitescu], contact, dynamics, lcp, mechanics, paper, physics, rigid-body, simulation | ||
| 448 | Foundations of Infinitesimal Calculus | .pdf, [keisler], alt, book, calculus, math, nsa, ref | @book{keisler1976foundations, title={Foundations of infinitesimal calculus}, author={Keisler, H Jerome}, volume={20}, year={1976}, publisher={Prindle, Weber & Schmidt Boston} } | |
| 449 | Foundations of Linear Algebra- | .djvu, 1995, abstract, lin-alg | ||
| 450 | From Curve Fitting to Machine Learning | .pdf, ml | ||
| 451 | From Edges to Objects | .pdf, edge-detect | ||
| 452 | ★ | From Finite Sets to Feynman Diagrams | .pdf, cat | |
| 453 | Fun with Nonstandard Models | .pdf, model | ||
| 454 | Functional Differential Geometry | .missing, [sussman], diff-geom, ppl | ||
| 455 | Functions Defined by Improper Integrals | .pdf, [trench], analysis, integ, problem-text | ||
| 456 | Functions preserving connectedness or path-connectedness | .pdf, connectedness, continuity | ||
| 457 | Fundamental Formulas of Physics | .pdf, physics, survey | ||
| 458 | ★ | Fundamentals of Mathematics, Analysis | .djvu, [bachman] | |
| 459 | ★ | Fundamentals of Mathematics, Geometry | .djvu, [bachman], geometry, orientation | |
| 460 | ★ | Fundamentals of Mathematics, The Real Number System and Algebra | .djvu, [bachman] | |
| 461 | Fundamentals of Matrix Computations, Second Edition - | .pdf, 2002, lin-alg, matrix, numerical | ||
| 462 | ★★ | Fundamentals of Optimization | .pdf, [rockafellar], authority, lagrange, lucid, opt, ppl, set-valued | |
| 463 | Fundamentals of matrix computations - | .djvu, 2010, lin-alg, matrix, numerical | ||
| 464 | Fundamentals of model theory | .pdf, 1997, book, model | ||
| 465 | Further linear algebra. Chapter V. Bilinear and quadratic forms | .pdf, [FLA-V], bilinear | ||
| 466 | Further remarks on first order infinitesimal mechanisms | .pdf, ?, nsa | ||
| 467 | GDC09 Modeling and Solving Constraints | .pdf, [catto], dynamics, mechanics, paper, physics, rigid-body, simulation | ||
| 468 | GDC2011 Soft Constraints Reinventing the Spring | .pdf, [catto], dynamics, mechanics, paper, physics, rigid-body, simulation | ||
| 469 | GDC2012 Solving Rigid Body Contacts | .pdf, dynamics, mechanics, paper, physics, rigid-body, simulation, slides | ||
| 470 | ★ | General Topology | .pdf, example, fig, filter, topology | |
| 471 | Generalized Analytic Continuation | .djvu, analysis, analytic, continuation, hard, taylor | ||
| 472 | Generalized Continuities | .pdf, continuity, survey, topology | ||
| 473 | Generalized Lyapunov approach for convergence of neural networks with discontinuous or non-Lipschitz activations | .pdf, convergence, diff-eq, discontinuous, dynamics, fixed-point, ml, nn | ||
| 474 | Gentle Matrix Algebra Theory Computations And Applications In Statistics | .pdf, 2007, [smith], lin-alg, matrix, numerical | ||
| 475 | Geometric Algebra Illustrated by Cinderella | .pdf, GA | ||
| 476 | Geometric Algebra Primer | .pdf, GA, confused | ||
| 477 | Geometric Algebra with Applications in Engineering - | .pdf, 2009, engg, ga | ||
| 478 | ★ | Geometric Control of Mechanical Systems | .pdf, book, control, mechanics, rigid-body, survey | |
| 479 | Geometric Inequalities | .pdf, [kazarinoff], inequalities, practice | ||
| 480 | Geometric Integration of Quaternions | .pdf, orientation | ||
| 481 | ★★ | Geometric Mechanics and Symmetry, from finite to infinite dimensions | .pdf, hamiltonian, lagrangian, mechanics | |
| 482 | Geometric Numerical Integration, Lecture 4, High oscillations | .pdf, [hairer], integration, lecture, numerical | ||
| 483 | Geometric Numerical Integration, Lectures | .pdf, [hairer], geometric, integration, numerical | ||
| 484 | Geometric Numerical Integration, Workshop | .pdf, [hairer], geometric, integration, numerical, survey, workshop | ||
| 485 | ★★ | Geometrical Vectors | .djvu, GA, diff-form, geometry, physics, vec-calc | |
| 486 | Geometry Our Cultural Heritage | .pdf, [holme], geometry, history | ||
| 487 | Geometry Revealed | .pdf, geometry | ||
| 488 | Geometry Whose Element of Arc Is a Linear Differential Form, with Application to the Study of Minimum Developables | .pdf, diff-form, geometry | ||
| 489 | ★ | Geometry of differential forms | .djvu, diff-form, japanese | |
| 490 | Geometry, The Language of Space and Form | .pdf, geometry, history, soft | ||
| 491 | Geometry, Topology and Physics | .pdf, 2003, geometry, physics, topology, unif | ||
| 492 | Ghosts And Machines | .pdf, [GaM], [lacoursiere], dynamics, mechanics, physics, rigid-body, seal, simulation, thesis, vec-calc | ||
| 493 | Gifted Students and Advanced Mathematics | .pdf, inequalities, soft | ||
| 494 | ★★ | Goedel's Theorem, Article Series | .pdf, critical, goedel, logic | |
| 495 | Gradient Descent Converges to Minimizers | .pdf, convergence, ml, my-paper, nn, success | ||
| 496 | Gradient descent revisited | .pdf, back-prop, gd, ml, nn, optimization, proof | ||
| 497 | Grassmanns Vision | .pdf, GA, [hestenes], grassmann, history, ppl | ||
| 498 | ★ | Gravitation | .djvu, 1973, diff-form, physics | |
| 499 | Gravity, A Geometrical Course | .pdf, gravity, physics | ||
| 500 | Group Theory | .pdf, cat, fig, group | ||
| 501 | ★★ | Group Theory in a Nutshell for Physicists | .pdf, [zee], author, group, history, hook, jokes, lie, physics, tensor | |
| 502 | Grouping and Querying, A Paradigm to Get Output-Sensitive Algorithms | .pdf, coll-detect | ||
| 503 | ★ | Groups of motions and mechanics I, point mechanics | .pdf, [delphenich], dynamics, ppl, strange | |
| 504 | Habits Of Mind, An Organizing Pricinple for Mathematics Curriculum | .pdf, soft | ||
| 505 | Hahn Field Representation Of A. Robinson’S Asymptotic Numbers | .pdf, asympt, nsa | ||
| 506 | Hamilton Rodrigues And The Quaternion Scandal | .pdf, history, math, quat, rotation | ||
| 507 | ★ | Hamilton’s principle, why is the integrated difference of kinetic and potential energy minimized | .pdf, by-example, classical, concise, disappoint, educational, hamiltonian, history, lagr, mechanics, understanding | |
| 508 | ★ | Handbook of Analysis and its Foundations | .djvu, [schechter], constructive, logic, ra, st, ultrafilter | |
| 509 | Handbook of Linear Algebra | .pdf, [HLA], algebra, hypermatrix, linearise, tensor | ||
| 510 | ★★ | Handbook of Mathematical Functions | .djvu, general, integration, survey, table | |
| 511 | Handbook of Mathematical Logic | .djvu, 1977, logic, model, pre-study | ||
| 512 | Handbook of Practical Logic and Automated reasoning | .pdf, auto-proof, book, logic | ||
| 513 | Henrici, Missing books.pdf | .pdf, [henrici], numerical | ||
| 514 | ★★ | Hermann Grassmann and the Invention of Linear Algebra | .pdf, alg, coord-free, diff-form, history, lin-alg | |
| 515 | Hermite Cours Danalyse coursdanalysedel01hermuoft | .pdf, math | ||
| 516 | Hidden lemmas in the early history of infinite series | .pdf, nsa, series | @article{laugwitz1987hidden, title={Hidden lemmas in the early history of infinite series}, author={Laugwitz, Detlef}, journal={aequationes mathematicae}, volume={34}, number={2}, pages={264--276}, year={1987}, publisher={Springer} } | |
| 517 | Hierarchical Bayes Models, A Practitioners Guide | .pdf, bayes, hierarch | ||
| 518 | High-order quantum algorithm for solving linear differential equations | .pdf, future, quantum | ||
| 519 | Hilbert Spaces with Applications- | .pdf, 2005, hilb | ||
| 520 | ★★ | History of Lambda-calculus and Combinatory Logic | .pdf, combinators, history, lambda, logic, type | |
| 521 | History of Numerical Linear Algebra, a Personal View | .pdf, hist, lin-alg, matrix, numerical | ||
| 522 | History of analytic geometry | .pdf, [boyer], geometry, grassmann, history | ||
| 523 | How Humans Learn to Think Mathematically, Chapter I | .pdf, [tall] | ||
| 524 | ★★ | How Important Is Weight Symmetry in Backpropagation | .pdf, 2016, [poggio], back-prop, ml, nn | |
| 525 | How Prior Probability Influences Decision Making, A Unifying Probabilistic Model | .pdf, ml, prior, probability, unif | ||
| 526 | How Riemannian Manifolds Converge | .pdf, convergence, riemann, series | ||
| 527 | ★ | How do you explain maximum likelihood estimation intuitively | .pdf, intuit, likelihood, ml, probability, rated, statistics | |
| 528 | How is a vector rotated | .pdf, [balakrishnan] | ||
| 529 | How is the epsilon-delta definition of continuity equivalent to the following statement? | .pdf, continuity, equiv, proof, topology | ||
| 530 | How to Read Commutative Diagrams | .pdf, cat | ||
| 531 | Hybrid Systems with Constraints | .pdf, 2013, book, dynamics, mechanics, physics, simulation | ||
| 532 | Hybrid, multiresolution wires with massless frictional contacts | .pdf, [servin], cable, dynamics, mechanics, physics, simulation | ||
| 533 | Hypermatrix Algebra, Theory | .pdf, hypermatrix, tensor | ||
| 534 | ★ | Hyperreals and Their Applications | .pdf, logic, nsa, slides, survey | @article{wenmackershyperreals, title={Hyperreals and Their Applications}, author={Wenmackers, Sylvia} } |
| 535 | ICM1950.1 | .djvu | ||
| 536 | ICM1950.2 | .djvu | ||
| 537 | Identifying and attacking the saddle point problem in high-dimensional non-convex optimization | .pdf, gk1, hessian, nonlin, opt, saddle | ||
| 538 | Idius Land, Contra vs covariant | .pdf, covar, intuit | ||
| 539 | ★ | Image Feature Detectors and Descriptors, Foundations and Applications | .pdf, feature, mv, suvey | |
| 540 | Implicit Bounding Volumes and Bounding Volume Hierarchies | .pdf, bvh, coll-detect, thesis | ||
| 541 | Implicit Functions and Diffeomorphisms without C1 | .pdf, inverse, math | ||
| 542 | Implicit function theorem history, theory, and applications | .djvu, 2013, history, inverse, math, survey | ||
| 543 | Impulse Based Dynamic Simulation Of Rigid Body Systems | .pdf, [mirtich], dynamics, impulse, mechanics, physics, rigid-body, simulation, thesis | ||
| 544 | ★ | Imrpovement to the Levenberg-Marquardt algorithm for nonlinear least squares | .pdf, LM, fig, least-squares, nonlinear, opt | |
| 545 | In the light of logic | .pdf, [feferman], ppl | ||
| 546 | ★ | Inapproximability of Combinatorial Optimization Problems | .pdf, approx, combinatorial, discrete, opt, taylor | |
| 547 | Inconsistency in Science | .pdf, nsa, short, survey | @book{meheus2002inconsistency, title={Inconsistency in science}, author={Meheus, Joke}, volume={2}, year={2002}, publisher={Springer Science & Business Media} } | |
| 548 | ★ | Index Notation for Vector Calculus | .pdf, [INfVC], index-notation, tensor | |
| 549 | Inequalities | .pdf, classic, inequalities | ||
| 550 | Inequalities Theorems, Techniques and Selected Problems | .pdf, inequalities | ||
| 551 | Inequalities Theory of Majorization and Its Applications | .pdf, inequalities | ||
| 552 | Inequalities and Interpolation | .pdf, inequalities, unif | ||
| 553 | Inequalities, A Mathematical Olympiad Approach | .pdf, inequalities, practice | ||
| 554 | Inequalities, a Journey into Linear Analysis | .pdf, inequalities | ||
| 555 | Inevitability of Infinitesimals | .pdf, infini, model, nsa | @misc{borovikinevitability, title={Inevitability of infinitesimals}, author={Borovik, Alexandre and Katz, Mikhael} } | |
| 556 | Inevitability of Things non-standard | .pdf, model, nsa | @article{borovikinevitability, title={INEVITABILITY OF THINGS NON-STANDARD}, author={Borovik, Alexandre} } | |
| 557 | Infinite Series in a History of Analysis | .pdf, missing, series | ||
| 558 | ★★ | Infinite dimensional analysis | .pdf, 2006, [charalambos], alt, unif | |
| 559 | Infinite dimensional analysis, a hitchhiker's guide | .pdf, 2006, alt, math | ||
| 560 | Infinitesimal Calculus | .missing, [henle], nsa, ppl | ||
| 561 | ★★ | Infinitesimal Integral Vector Calculus | .pdf, [stroyan], diff-form, nsa, orientation, part | |
| 562 | ★★ | Information Theory Primer | .pdf, IT | |
| 563 | Information Theory and Reliable Communication | .pdf, IT, [gallager] | ||
| 564 | Information Theory, Inference, and Learning Algorithms | .pdf, IT, [ITILA], ml, survey | ||
| 565 | ★ | Information theory techniques for multimedia data classification and retrieval | .pdf, classification, information, ml, mv, probability, survey, thesis | |
| 566 | Inquiry as Inquiry, A Logic of Scientific Discovery | .pdf, 1999, [hintikka] | ||
| 567 | Inside Interesting Integrals | .pdf, [nahin], author, integral, series, technique | ||
| 568 | Integral, Measure and Derivative, A Unified Approach | .pdf, integration, measure | ||
| 569 | ★ | Integration - A Functional Approach | .pdf, integration | |
| 570 | Integration on Surreal Numbers | .pdf, alt, integ, math, post-nsa, rsa, s-real | ||
| 571 | Intermediate Dynamics For Engineers | .pdf, EL, NE, [IDfE], [oreilly], book, dynamics, mechanics, physics, unif | ||
| 572 | Introduction to Algebraic Geometry | .pdf, [smith], ag | ||
| 573 | Introduction to Asymptotic Methods | .djvu, asympt, book | ||
| 574 | Introduction to Asymptotics A Treatment Using Nonstandard Analysis | .pdf, asympt, nsa | @book{jones1997introduction, title={Introduction to asymptotics: a treatment using nonstandard analysis}, author={Jones, Douglas Samuel}, year={1997}, publisher={World Scientific} } | |
| 575 | ★ | Introduction to Calculus and Analysis, vol I | .djvu, [courant], anal | |
| 576 | ★ | Introduction to Calculus and Analysis, vol II | .pdf, [courant], anal, vec-calc | |
| 577 | Introduction to Clifford’s Geometric Algebra | .pdf, GA, clifford, notation, sheet | ||
| 578 | ★ | Introduction to Kernel Methods | .pdf, intro, intuit, kernel, ml, statistics | |
| 579 | ★ | Introduction to Lattices and Order | .pdf, 2002, book, lattice, order, test | |
| 580 | Introduction to Linear Optimization 1- | .pdf, 1997, linear, numerical, opt | ||
| 581 | Introduction to Linear Optimization 2- | .pdf, 1997, linear, numerical, opt | ||
| 582 | Introduction to Linear Optimization 3- | .pdf, 1997, linear, numerical, opt | ||
| 583 | Introduction to Machine Learning | .pdf, bool, ml, survey | ||
| 584 | ★★ | Introduction to Machine Learning, Course | .pdf, course, fig, introduction, ml, probability, survey | |
| 585 | Introduction to Mathematical Logic | .pdf, 1996, [church], logic, semantics | ||
| 586 | Introduction to Mathematical Logic, | .pdf, 2015, logic | ||
| 587 | Introduction to Mechanics and Symmetry | .pdf, [marsden], lagragian, mechanics | ||
| 588 | Introduction to Model Theory and Metamathematics of Algebra | .pdf, [robinson], classic, model | ||
| 589 | Introduction to Non-Linear Algebra | .pdf, algebra, interesting, inverse, light-years, math, tensor | ||
| 590 | Introduction to Olympiad Inequalities | .pdf, inequalities | ||
| 591 | Introduction to Order Theory | .pdf, lattice, order | ||
| 592 | Introduction to Random Signals and Applied Kalman Filtering, with Matlab Exercises | .pdf, kalman | ||
| 593 | ★★ | Introduction to Smooth Manifolds | .pdf, 2013, [ItSM], [lee], frequent, inverse, manifold, math, tangent-space | |
| 863 | ★★ | Introduction to Tensor Calculus | .pdf, covar, grad, ldual1, levi-civita, short, tensor | |
| 595 | Introduction to Tensor Products of Banach Spaces | .djvu, [I-TP-BS], linearise, tensor | ||
| 596 | ★ | Introduction to Vectors and Tensors | .pdf, covar, dual, tensor | |
| 597 | ★ | Introduction to semantics | .djvu, 1948, [carnap], hist, logic, semantics | |
| 598 | Introduction to set theory | .pdf, ST, [hrbacek] | ||
| 599 | ★ | Introduction to the Calculus of Variations | .pdf, [olver], author, lagrangian, variational | |
| 600 | Introduction to the Theory of Infinitesimals | .pdf, [stroyan], diff-form, implicit, infini, inverse | ||
| 601 | Intuitionistic Logic | .pdf, intuit, logic | ||
| 602 | Intuitive Mathematics, The Gradient | .pdf, calc, gk1, gradient, intuit, multi-var, opt | ||
| 603 | ★ | Invariance, Covariance, and Contravariance | .pdf, coavr, noted, simple | |
| 604 | ★★ | Invariant Algebras And Geometric Reasoning | .pdf, ag, algebra, clifford, geometry, invariant | |
| 605 | ★★ | Invariant manifolds for physical and chemical kinetics | .pdf, diff-form, physics, reduction-stairs | |
| 606 | ★★ | Inverse Problem Theory and Methods for Model Parameter Estimation | .pdf, IT, [IPTM], [tarantola], coord-free, coordinates, inverse, ipt, manifolds, physics, probability | |
| 607 | Inverse Problems, Quest for Information | .pdf, IT, [tarantola], article, inverse, ipt, survey | ||
| 608 | Inversion error, condition number, and approximate inverses of uncertain matrices | .pdf, alt, cond, lin-alg, matrix, numerical | ||
| 609 | ★ | Irresistible Integrals | .pdf, heuristics, integration | |
| 610 | Is 'the theory of everything' merely the ultimate ensemble theory | .pdf, ?, algebra, unif | ||
| 611 | Is Kurt Gödel's Incompleteness Theorem a "cheap trick"? | .pdf, godel, phil | ||
| 612 | ★★ | Is dxdy really a multiplication of dx and dy | .pdf, diff-form, infinitesimal, integration, multivar, nsa, tensor | |
| 613 | Is force a contravariant vector or a covariant vector or either | .pdf, covar, physics | ||
| 614 | Is the analysis as taught in universities in fact the analysis of definable numbers? | .pdf, counter | ||
| 615 | ★ | Is there Life after Zeno, Taking Executions Past the Breaking Point | .pdf, Zeno, hybrid, lagrangian, rigid-body, zeno | |
| 616 | ★ | Isabelle Primer for Mathematicians | .pdf, auto-proof, isabelle, short, tutorial | |
| 617 | ★ | It is possible to demonstrate the taylor s formula with the taylor s formula | .pdf, Lagrange, Peano, taylor | |
| 618 | Iterative Dynamics With Temporal Coherence | .pdf, [catto], dynamics, mechanics, paper, physics, rigid-body, simulation | ||
| 619 | Iterative Methods for Sparse Linear Systems | .pdf, [saad], iter, lin-alg, matrix, modern, numerical, ref, sparse | ||
| 620 | Iterative Methods for Square and Rectangular Systems | .pdf, course, linear, numerical, opt | ||
| 621 | Iterative Refinement Implies Numerical Stability | .pdf, numerical, opt, pert | ||
| 622 | Iterative solution of linear systems in the 20th century | .pdf, 2000, iter, lin-alg, matrix, modern, numerical, parallel, survey | ||
| 623 | Jordan Canonical Form Applications to Differential Equations | .pdf, [weintraub], diff-eq, theplan | ||
| 624 | Jordan Canonical Form, Theory and Practice | .pdf, [weintraub], theplan | ||
| 625 | Kantorovich | .pdf, hist, linear, lp, numerical, opt, simplex | ||
| 626 | Key Moments in the History of Numerical Analysis | .pdf, hist, numerical | ||
| 627 | Krylov and Spectral for Solving CP in Many-Body Contact Dynamics Simulation | .pdf, contact, dynamics, lcp, mechanics, paper, physics, rigid-body, simulation | ||
| 628 | ★ | LECTURE NOTES ON NONSTANDARD ANALYSIS | .pdf, hyperreals, nsa, short | @article{goldbring2012lecture, title={Lecture notes on nonstandard analysis}, author={Goldbring, I}, journal={UCLA, Summer School in Logic}, year={2012} } |
| 629 | LUSOL – a Sparse Basis Package | .pdf, course, linear, numerical, opt | ||
| 630 | LaTeX symbols | latex, software | ||
| 631 | ★ | Labyrinth of Thought, A History of Set Theory and Its Role in Modern Mathematics | .pdf, ST, history, manifold, riemann | |
| 632 | ★★ | Lagrange Multipliers in Optimization | .pdf, [rockafellar], hist, survey | |
| 633 | Lagrange Multipliers without Permanent Scarring | .pdf, intuit, multipliers | ||
| 634 | ★★ | Lagrangian Multipliers and Variational Inequalities | .pdf, [rockafellar] | |
| 635 | Lambda Calculi with Types | .pdf, [barendregt], cube, lambda, logic, type | ||
| 636 | ★ | Lambda Calculus with Types | .pdf, [barendregt], lambda, logic | |
| 637 | Lambda-calculus and combinators, an introduction | .pdf, [LCCI], combinators, exercises, lambda, standard, stlc, text, type | ||
| 638 | Language, Truth and Logic in Mathematics | .pdf, [hintikka], logic, semantics | ||
| 639 | Large Scale Numerical Optimization, Overview | .pdf, course, numerical, opt | ||
| 640 | ★★ | Learning Deep Architectures for AI | .pdf, deep, intro, machine-vision, ml, survey | |
| 641 | ★★ | Learning Functions, When Is Deep Better Than Shallow | .pdf, 2016, [poggio], deep, ml | |
| 642 | Learning from Examples as an Inverse Problem | .pdf, inverse, ml | ||
| 643 | ★★ | Learning with Kernels, Support Vector Machines, Regularization, Optimization | .pdf, [LwK], cited, intuit, kernel, ml, survey, svm, terminology | |
| 644 | Least Squares, Course | .pdf, course, least-squares, lin, lucid, nonlin, opt | ||
| 645 | Lebesgue s Theory of Integration, Its Origins and Development | .pdf, history, integration, measure | ||
| 646 | Lecture Notes - Modeling of Dynamical Systems | .pdf, course, dynamics, mechanics, physics, simulation | ||
| 647 | ★ | Lecture Notes for Advanced Calculus | .pdf, bilinear, multi-linear, tensor | |
| 648 | ★ | Lecture Notes on Bayesian Estimation and Classification | .pdf, bayes, classification, ml, mv, probability | |
| 649 | Lecture Notes, Modeling of Mechanical Systems, Appendix Quaternions | .pdf, lecture, p8', rotation | ||
| 650 | Lectures On Matrices | .pdf, [wedderburn], book, lin-alg, math | ||
| 651 | ★ | Lectures in Logic and Set Theory, Volume 1, Mathematical Logic | .pdf, 2003, [tourlakis], logic | |
| 652 | Lectures in logic and set theory. Volume 2, Set theory | .pdf, ST, [tourlakis], logic | ||
| 653 | Lectures on finite precision computations - | .djvu, 1996, comp-arithm, numerical | ||
| 654 | Lectures on the Curry-Howard Isomorphism | .pdf, auto-proof, curry-howard, lambda | ||
| 655 | ★★ | Lectures on the Hyperreals An Introduction to Nonstandard Analysis | .pdf, compactness, lucid, model, nsa, ultrafilter | @book{goldblatt2012lectures, title={Lectures on the hyperreals: an introduction to nonstandard analysis}, author={Goldblatt, Robert}, volume={188}, year={2012}, publisher={Springer Science & Business Media} } |
| 656 | ★ | Lectures on the Hyperreals An Introduction to Nonstandard Analysis | .djvu, [LoH], nsa | @book{goldblatt2012lectures, title={Lectures on the hyperreals: an introduction to nonstandard analysis}, author={Goldblatt, Robert}, volume={188}, year={2012}, publisher={Springer Science & Business Media} } |
| 657 | Lightening review of Los theorem | .pdf, los, model, nsa, proof, transfer, ultrafilter | ||
| 658 | Limit Ultrapowers | .pdf, [keisler], alt, math, nsa, nsa-logic | @article{keisler1963limit, title={Limit ultrapowers}, author={Keisler, H Jerome}, journal={Transactions of the American Mathematical Society}, volume={107}, number={3}, pages={382--408}, year={1963}, publisher={JSTOR} } | |
| 659 | ★ | Linear Algebra And Matrix Theory | .djvu, [nering], abstract, duality, ldual1, lin-alg, lp, matrix, numerical | |
| 660 | Linear Algebra Combining Subspaces | .pdf, direct-sum, duality, lin-alg | ||
| 661 | Linear Algebra Via Exterior Products | .pdf, GA, [winitzki], duality, lin-alg, math | ||
| 662 | ★ | Linear Algebra and Geometry | .pdf, multi-linear, tensor | |
| 663 | ★ | Linear Algebra and Matrix Theory | .pdf, [nering], algebra, author, duality, multi-linear, numerical, tensor | |
| 664 | Linear Least Squares Problems, Course | .pdf, course, least-squares, lin, opt | ||
| 665 | Linear Model Methodology | .pdf, linear, markov, model, probability, science, survey | ||
| 666 | Linear Programming in Linear Time When the Dimension Is Fixed | .pdf, alt, linear, lp, numerical, opt, search, simplex | ||
| 667 | ★★ | Linear Programming, Lagrange Multipliers, and Duality | duality, lagr, lp, short.pdf | |
| 668 | Linear and Nonlinear Programming - 2008 | .pdf, [luenberger], gk1, lin, nonlin, opt, ppl | ||
| 669 | Linear and Nonlinear Waves | .pdf, physics, survey, waves | ||
| 670 | Linear-Time Dynamics using Lagrange Multipliers | .pdf, [baraff], dynamics, mechanics, origins, paper, physics, rigid-body, simulation | ||
| 671 | ★ | Linearly implicit time integration methods in real-time applications, DAEs and stiff ODEs | .pdf, baumgarte, implicit, modeling, review, stabilization | |
| 672 | Lingua Universalis vs. Calculus Ratiocinator, An Ultimate Presupposition of Twentieth-Century Philosophy | .pdf, 1997, [hintikka] | ||
| 673 | List of matrices | .pdf, sheet | ||
| 674 | ★ | Local Invariant Feature Detectors, A Survey | .pdf, [2008], covariant, feature, history, invariant, local, survey | |
| 675 | Logic for Computer Science, Foundations of Automatic Theorem Proving, | .pdf, 1986, logic | ||
| 676 | Looking for the big picture | .pdf, [tall] | ||
| 677 | Lower Bounds For Algebraic Computation Trees | .pdf, bound, coll-detect | ||
| 678 | Ludwig Wittgenstein, Half truths and one-and-a-half truths | .pdf, [hintikka], wittg | ||
| 679 | MAKING SENSE OF MATHEMATICS THROUGH PERCEPTION, OPERATION & REASON, THE CASE OF TRIGONOMETRIC FUNCTIONS | .pdf, [tall] | ||
| 680 | MECA-H-411-Slides | |||
| 681 | MEXX Numerical Software For The Integration Of Constrained Mechanical Multibody Systems | .pdf, dynamics, integ, mechanics, numerical, physics, rigid-body, simulation, software | ||
| 682 | MINOS Part 1 – the Reduced-Gradient Method | .pdf, course, linear, numerical, opt | ||
| 683 | MINOS Part 2 – LCL Methods | .pdf, course, linear, numerical, opt | ||
| 684 | ★ | MVT implies FTC | .pdf, [MVTiFTC], ftc, intuit, mvt | |
| 685 | Machine Learning, A Probabilistic Perspective | .pdf, book, ml, probability, reco, reference, survey | ||
| 686 | Make Category Theory Intuitive | .pdf, cat | ||
| 687 | ★ | Manifold Theory | .pdf, [MT], [compressed], [petersen], author, diff-geom, manifold | |
| 688 | Mass Splitting For Jitter Free Parallel Rigid Body Simulation | .pdf, dynamics, gdc, mechanics, paper, physics, rigid-body, simulation | ||
| 689 | Mass Splitting For Jitter Free Parallel Rigid Body Simulation,supplement | .pdf, dynamics, mechanics, paper, physics, rigid-body, simulation, slides | ||
| 690 | Math Forum Discussions - Re: Nonconstructivity of power set axiom | .pdf, q1, quest | ||
| 691 | Math Quotations | .pdf, general, math, soft | ||
| 692 | Math-Insight, Multivariable calculus | .pdf, curl, div, gradient, intuition, math-insight, vec-calc | ||
| 693 | ★★ | Math-Insight, Subtleties about curl | .pdf, counter, curl, intuituion, math-insight, microscopic, vec-calc | |
| 694 | ★ | Math-Insight, The idea behind Stokes theorem | .pdf, curl, diff-form, intuition, math-insight | |
| 695 | ★ | Mathematical Approaches to Biomolecular Structure and Dynamics | .pdf, constrained, dynamics, molecular, rigid-body, survey | |
| 696 | Mathematical Conceptualism | .pdf, q1, quest | ||
| 697 | Mathematical Discovery | .pdf, ppl | ||
| 698 | Mathematical Knowledge | .pdf, 2007, [potter] | ||
| 699 | Mathematical Logic | .pdf, [tourlakis], logic, semantics | ||
| 700 | Mathematical Logic | .pdf, [chiswell], goedel, logic, logic_reco_goedel, reco | ||
| 701 | Mathematical Logic and Formalized Theories, A Survey of Basic Concepts and Results | .pdf, ST, history, logic, survey | ||
| 702 | ★★ | Mathematical Mechanics, From Paticle to Muscle | .pdf, cat, disappointing, idiosyncratic, infinitesimal, mechanics, nsa | |
| 703 | ★★ | Mathematical Methods of Classical Mechanics | .djvu, [MMCM], [arnold], author, authority, classical, frequent, mechanics, physics, ref | |
| 704 | Mathematics under the Microscope | .pdf, mathematics, soft | ||
| 705 | ★ | Mathematics without Apologies, Portrait of a Problematic Vocation | .epub, critical, soft | |
| 706 | Matplotlib tutorial | .pdf, plot, software | ||
| 707 | ★ | Matrix Differential Calculus | .pdf, book, calculus, matrix, multi-var, p9 | |
| 708 | ★★ | Matrix Tensor Notation Part II. Skew and curved coordinates | .pdf, [hassenpflug], alt, notation, tensor | |
| 709 | Matrix computations | .djvu, 1996, lin-alg, matrix, numerical | ||
| 710 | ★★ | Matrix tensor notation part I. Rectilinear orthogonal coordinates | .pdf, [hassenpflug], alt, notation, tensor | |
| 711 | Maximization of a Linear Function of Variables Subject to Linear Inequalities | .pdf, [dantzig], hist, linear, lp, numerical, opt, simplex | ||
| 712 | Maximum Entropy and Bayesian Methods | .pdf, [jaynes], author, entropy, probability | ||
| 713 | ★ | Meaning and Existence in Mathematics-Springer | .pdf, 1972, cat, model | |
| 714 | Measuring Neural Net Robustness with Constraints | .pdf, advers, ml | ||
| 715 | ★★ | Mechanical integrators for constrained dynamical systems in flexible multibody dynamics | .pdf, integration, multi-body, numerical, rigid-body, thesis | |
| 716 | ★ | Mechanics | .djvu, classic, concise, mechanics | |
| 717 | ★ | Mechanics | .pdf, classic, classical, concise, mechanics, rus-style | |
| 718 | Mechanics of Flight | .pdf, book, physics | ||
| 719 | ★ | Methods for Nonlinear Least Squares Problems | .pdf, last:fail, least-squares, nonlinear, opt, survey | |
| 720 | ★ | Model Selection, Beyond the Bayesian-Frequentist Divide | .pdf, [cawley], author, ml, selection, statistics, validation | |
| 721 | Model Theory | .djvu, 2008, model | ||
| 722 | ★★ | Model Theory | .pdf, SEP, model, semantics | |
| 723 | Model Theory and Differential Algebraic Geometry | .pdf, alg-geom, diff-geom, model, synthetic | ||
| 724 | Model Theory, An Introduction | .pdf, 2002, book, model | ||
| 725 | ★ | Modeling Contact Friction and Joint Friction in Dynamic Robotic Simulation using the Principle of Maximum Dissipation | .pdf, [drumwright], author, friction, paper, rigid-body | |
| 726 | ★ | Modeling of Dynamic Systems | .pdf, dynamic-systems, interesting, model, modeling | |
| 727 | Models of Computation, An Introduction to Computability Theory | .pdf, computability, recursion | ||
| 728 | Modern Algebra with Applications | .pdf, algebra, boolean, logic | ||
| 729 | Modern Geometry. Methods and Applications, Part 1. The Geometry of Surfaces, Transformation Groups, and Fields | .djvu, [fomenko], confusing, geometry | ||
| 730 | Modern Geometry. Methods and Applications, Part 2. The Geometry and Topology of Manifolds | .pdf, [fomenko], geometry | ||
| 731 | Modern Geometry. Methods and Applications, Part 3. Introduction to Homology Theory | .djvu, [fomenko], geometry | ||
| 732 | Modes of Convergence, Interpolation Methods I | .pdf, analysis, approximation | ||
| 733 | Molecular Dynamics and HPC | .pdf, hpc, molecular, parallel, survey | ||
| 734 | Molecular Dynamics, Survey of Methods for Simulating the Activity of Proteins | .pdf, lincs, molecular, rattle, shake, survey | ||
| 735 | Monotone Operatros and the Proximal Point Algorithm | .pdf, [rockafellar] | ||
| 736 | ★ | Most Tensor Problems Are NP-Hard | .pdf, complexity, compu, eigen, interesting, light-years, np, tensor | |
| 737 | Motion Interpolation and Bounds Calculations in CATCH | .pdf, coll-detect | ||
| 738 | Multivariable calculus. Concepts and contexts | .pdf, 2004, book, gk1, multi-var | ||
| 739 | NPSOL and SNOPT – SQP Methods | .pdf, course, linear, numerical, opt | ||
| 740 | NVIDIA Flex 0.8.0 documentation | .pdf, PBD, flex, rigid-body | ||
| 741 | Naive Computational Type Theory | .pdf, formal, math | ||
| 742 | Naive Set Theory | .pdf, ref, set theory, st | ||
| 743 | ★★ | Naming and Diagonalization, from Cantor to Goedel to Kleene | .pdf, PA, [ND-CGK], [gaifman], [in-short], author, diagonlization, fixed-point, goedel, history, logic, short, train-thought | |
| 744 | Natural Deduction, Some Recent Developments | .pdf, logic, nat-deduct | ||
| 745 | Naturalism in the philosophy of mathematics | .pdf, soft, thesis | ||
| 746 | ★ | Nearness,A Better Approach to Continuity and Limits | .pdf, RA, alt | |
| 747 | Networks and the best approximation property | .pdf, [poggio], fundamentals, ml, nn, representation, universal | ||
| 748 | Networks for Approximation and Learning | .pdf, [poggio], inverse, ml | ||
| 749 | Neural Network Architectures | .pdf, deep, ml, survey | ||
| 750 | Neural Networks for Pattern Recognition | .pdf, cited, ml, ml-stat | ||
| 751 | Neural Networks, a review from a statistical perspective | .pdf, ml, ml-stat | ||
| 752 | Neural networks and deep learning, Why are deep neural networks hard to train | .pdf, [nndl], dl, ml, vanishing-gradient | ||
| 753 | New Foundations for Classical Mechanics | .pdf, [hestenes], grassmann, mechanics, rigid-body | ||
| 754 | New Geometric Data Structures for Collision Detection and Haptics | .pdf, coll-detect, rigid-body, survey | ||
| 755 | New Tools for Computational Geometry and rejuvenation of Screw Theory | .pdf, GA, [hestenes], rigid-body | ||
| 756 | New Views of the Kalman Filter connect machine learning, signal processing, and system identification | .pdf, kalman, ml, probability | ||
| 757 | Newton-Euler Dynamics | .pdf, NE, book, dynamics, mechanics, physics | ||
| 758 | ★ | Newton-amg algorithm for solving complementarity problems arising in rigid body dynamics with frictional impacts | .pdf, lcp, paper, rigid-body, simulation | |
| 759 | Newton-type Methods | .pdf, newton, opt, survey | ||
| 760 | Newtonian Mechanics, Particles and Forces | .pdf, q5, simult | ||
| 761 | Non-Standard Asymptotic Analysis and Non-Linear Theory of Generalized Functions | .pdf, asympt, nsa | @article{todorov1993nonstandard, title={Nonstandard asymptotic analysis and nonlinear theory of generalized functions}, author={Todorov, Todor D}, journal={Preprint}, year={1993} } | |
| 762 | Non-Standard Variational Calculus with Applications to Classical Mechanics 1, an Existence Criterion | .pdf, [bagarello], existence, mechanics, nsa, nsele, sele, variational | @article{bagarello1999nonstandard, title={Nonstandard variational calculus with applications to classical mechanics. 1. An existence criterion}, author={Bagarello, F}, journal={International journal of theoretical physics}, volume={38}, number={5}, pages={1569--1592}, year={1999}, publisher={Springer} } | |
| 763 | Non-analytic functions | .pdf, analytic | ||
| 764 | ★ | Nonlinear Ordinary Differential Equations | .pdf, ODE, [olver], nonlinear, solver | |
| 765 | Nonlinear Ordinary Differential Equations | .pdf, [olver] | ||
| 766 | Nonlinear Systems | .pdf, [olver] | ||
| 767 | Nonlinear constrained dynamics | .pdf, PBD, [mihai], paper, rigid-body | ||
| 768 | Nonlinear velocity time stepping | .pdf, PBD, [mihai], paper, rigid-body | ||
| 769 | Nonsmooth Lagrangian Mechanics and Variational Collision Integrators | .pdf, non-smooth, rigid-body, variational | ||
| 770 | ★ | Nonstandard Analysis | .pdf, [robinson], alt, classic, nsa | |
| 771 | ★ | Nonstandard Analysis | .djvu, axiomatic, lucid, nsa, reco | |
| 772 | Nonstandard Analysis Applied to Advanced Undergraduate Mathematics, Infinitesimal Modeling and Very Elementary Physics | .pdf, [herrmann], alt, infini, math, nsa, phys | @article{herrmann1991nonstandard, title={Nonstandard Analysis Applied to Advanced Undergraduate Mathematics, Infinitesimal Modeling and Very Elementary Physics}, author={Herrmann, Robert A}, journal={arXiv preprint math/0312432}, year={1991}, publisher={Citeseer} } | |
| 773 | Nonstandard Analysis In Practice | .pdf, applied, nsa, survey | @book{diener1995nonstandard, title={Nonstandard analysis in practice}, author={Diener, Francine and Diener, Marc}, year={1995}, publisher={Springer Science & Business Media} } | |
| 774 | Nonstandard Analysis and representation of reality | .pdf, alt, math | ||
| 775 | ★ | Nonstandard Analysis and the Hyperreals | .pdf, nsa, short, ultrafilter | @article{hermoso2009nonstandard, title={Nonstandard analysis and the hyperreals}, author={Hermoso, Jordi Gutierrez}, journal={Essay retrieved on}, volume={5}, year={2009} } |
| 776 | Nonstandard Analysis for the Working Mathematician | .djvu, alt, book, math, nsa | @book{loeb2000nonstandard, title={Nonstandard analysis for the working mathematician}, author={Loeb, Peter A and Wolff, Manfred PH}, year={2000}, publisher={Springer} } | |
| 777 | Nonstandard Analysis in Classical Physics and Quantum Formal Scattering | .pdf, [bagarello], applied, hamiltonian, nsa, physics, quantum | @article{bagarello1988nonstandard, title={Nonstandard analysis in classical physics and quantum formal scattering}, author={Bagarello, F and Valenti, S}, journal={International journal of theoretical physics}, volume={27}, number={5}, pages={557--566}, year={1988}, publisher={Springer} } | |
| 778 | Nonstandard Analysis, A Simplified Approach | .pdf, nsa | ||
| 779 | ★★ | Nonstandard Analysis, Axiomatically | .pdf, HST, IST, alt, logic, nsa | @book{kanovei2013nonstandard, title={Nonstandard analysis, axiomatically}, author={Kanovei, Vladimir and Reeken, Michael}, year={2013}, publisher={Springer Science & Business Media} } |
| 780 | Nonstandard Analysis, Theory and Applications | .pdf, alt, math, nsa, nsa-ode, nsa-phys | @book{arkeryd2012nonstandard, title={Nonstandard analysis: theory and applications}, author={Arkeryd, Leif O and Cutland, Nigel J and Henson, C Ward}, volume={493}, year={2012}, publisher={Springer Science & Business Media} } | |
| 781 | Nonstandard Asymptotic Analysis | .djvu, asympt, nsa | @book{van2006nonstandard, title={Nonstandard asymptotic analysis}, author={Van den Berg, Imme}, volume={1249}, year={2006}, publisher={Springer} } | |
| 782 | ★ | Nonstandard Set Theory | .pdf, HST, ST, [hrbacek], alt, author, logic, nsa | @article{hrbacek1979nonstandard, title={Nonstandard set theory}, author={Hrbacek, Karel}, journal={American Mathematical Monthly}, pages={659--677}, year={1979}, publisher={JSTOR} } |
| 783 | ★ | Normal Deviate Blog, Simson, Additivity, Noninformative, Rise Survey | .pdf, additivity, axio, intuit, probability | |
| 784 | Notes on Convex Sets, Polytopes, Polyhedra, Combinatorial Topology, Voronoi Diagrams and Delaunay Triangulations | .pdf, discrete, orientation | ||
| 785 | Notes on Differential Forms | .pdf, [NoDF], [sadun], author, diff-form, short | ||
| 786 | ★ | Notes on Probability Theory | .pdf, examples, introduction, intuit, notes, probability | |
| 787 | Notes on Taylor's Theorem | .pdf, calc, taylor | ||
| 788 | Notes on Topology, Wodzicki | .pdf, filter, topology | ||
| 789 | ★ | Number and Symmetry, an Introduction to Algebra | .pdf, algebra | |
| 790 | Numbers and Functions, Steps into Analysis | .pdf, analysis, book, mvt, taylor | ||
| 791 | Numbers and Models, Standard and Nonstandard | .pdf, foundations, logic, nsa, short | @article{roquette2010numbers, title={Numbers and models, standard and nonstandard}, author={Roquette, Peter}, journal={Mathematische Semesterberichte}, volume={57}, number={2}, pages={185--199}, year={2010}, publisher={Springer} } | |
| 792 | Numerical Analysis | .pdf, sheet | ||
| 793 | Numerical Analysis | .pdf, [olver] | ||
| 794 | Numerical Analysis of Dynamical Systems | .pdf, dyn, integ, numerical | ||
| 795 | Numerical Computing with MATLAB | .pdf, [moler], cond, lu, numerical, software | ||
| 796 | Numerical Geometric Integration | .pdf, [hairer], [in-short]-parts, geometric, hamiltonian, integration, lagrangian, numerical | ||
| 797 | Numerical Integration of Non-analytic Functions | .pdf, analytic, integration, numerical | ||
| 798 | Numerical Integration of Periodic Functions, A Few Examples | .pdf, example, integration, numerical | ||
| 799 | Numerical Linear Algebra | .pdf, [trefethen], history, lin-alg, matrix, numerical, short | ||
| 800 | Numerical Mathematics and Computing | .pdf, book, numerical, ref | ||
| 801 | Numerical Methods | .pdf, book, numerical | ||
| 802 | Numerical Methods and Software Tools in Industrial Mathematics | .pdf, applied, numerical, science, software, survey | ||
| 803 | Numerical Methods for High Speed Vehicle Dynamic Simulation | .pdf, dynamics, mechanics, physics, simulation, vehicle | ||
| 804 | Numerical Methods for Linear Complementarity Problems in Physics-based Animation | .pdf, [erleben], dynamics, mechanics, paper, physics, rigid-body, simulation, survey | ||
| 805 | ★★ | Numerical Methods for Nonsmooth Dynamical Systems, Applications in Mechanics and Electronics | .pdf, book, dynamics, lcp, non-smooth, numerical, ref, rigid-body, simulation | |
| 806 | Numerical Methods in Scientific Computing, Vol I | .pdf, integration, numerical, reference | ||
| 807 | Numerical Methods in Scientific Computing, Vol II | .pdf, numerical, reference | ||
| 808 | Numerical Optimization | .pdf, 2006, fig, gk1, lucid, opt | ||
| 809 | Numerical Recipesin C | .pdf, book, code, numerical, ref | ||
| 810 | Numerical Simulation of Dynamic Systems, Cellier | .pdf, course, dynamics, mechanics, physics, simulation | ||
| 811 | Numerical Validation in Current Hardware Architectures 2008- 2009 | .pdf, book, comp-arithm, numerical | ||
| 812 | Numerical aspects in developing LP softwares, LPAKO | .pdf, fact, lin-alg, matrix, numerical | ||
| 813 | Numerical methods for nonsmooth mechanical systems, Lecture 3 | .pdf, course, dynamics, mechanics, non-smooth, physics, simulation | ||
| 814 | Olympiad Inequalities | .pdf, inequalities | ||
| 815 | On Goedel | .djvu, [hintikka], goedel | ||
| 816 | On Iterative Computation of Generalized Inverse and Associated Projections | .pdf, lin-alg, numerical | ||
| 817 | On Nearness Space | .pdf, alt, topology | ||
| 818 | ★ | On Proof and Progress in Mathematics | .pdf, soft | |
| 819 | On The Hahn-Banach Theorem | .pdf, banach, duality, hist | ||
| 820 | On The Ingredients Of An Aristotlian Science | .pdf, [hintikka] | ||
| 821 | On The Minimization Over S03 Manifolds | .pdf, application, engg, rotation | ||
| 822 | ★ | On Virtual Displacement and Virtual Work in Lagrangian Dynamics | .pdf, educational, lagr, survey, virt-disp | |
| 823 | On a characterization of continuity | .pdf, connectedness, continuity, darboux | ||
| 824 | ★ | On higher order integration of angular velocities using quaternions | .pdf, [zupan], rotation | |
| 825 | On the Linear Algebra Kernel of Simplex-Based LP Solvers | .pdf, fact, lin-alg, matrix, numerical | ||
| 826 | On the Relation of the Principle of Maximum Dissipation to the Principle of Gauss | .pdf, dissipation, friction, paper, rigid-body | ||
| 827 | On the Relationships between statistical pattern recognition and artificial neural networks | .pdf, ml, ml-stat | ||
| 828 | ★ | On the concept of matrix derivative | .pdf, calculus, lin-alg, matrix, multi-var, node, p9 | |
| 829 | On the difficulty of training recurrent neural networks | .pdf, dyn-sys, ml, nn, vanishing-gradient | ||
| 830 | On the e-pertubation Method for Avoiding Degeneracy | .pdf, numerical, opt, pert | ||
| 831 | On the use of coordinate-free matrix calculus | .pdf, calculus, coord-free, p8', quat, rotation | ||
| 832 | ★ | One-Valued Logic | .pdf, critical, logic | |
| 833 | Optimality and Degeneracy in Linear Programming | .pdf, numerical, opt, pert | ||
| 834 | Optimization | .pdf, course, fig, opt, survey | ||
| 835 | Optimization Basics | .pdf, fig, opt, survey, thesis | ||
| 836 | Optimization Methods From Theory to Design | .pdf, gk1, lucid, opt | ||
| 837 | Optimization Modelling a Practical Approach | .pdf, gk1, model, opt | ||
| 838 | Optimization Under Uncertainty | .pdf, [rockafellar], opt, ppl, set-valued | ||
| 839 | ★ | Optimization and Nonstandard Analysis | .pdf, hard-copy, nsa, opt, variational | @book{rubio1994optimization, title={Optimization and nonstandard analysis}, author={Rubio, Julio Enrique}, year={1994}, publisher={CRC Press} } |
| 840 | Optimization theory, the finite dimensional case | .djvu, 1975, [m.hestenes], opt | ||
| 841 | Optimization, Course, Andrew Zisserman | .pdf, course, gk1, opt | ||
| 842 | Optimization, Course, Moore | .pdf, [moore], course, gk1, nonlin, opt, ppl | ||
| 843 | ★★ | Optimization, Insights and Applications | .epub, fig, lagr, opt, tangent, theplan, unif, variational | |
| 844 | ★ | Optimzation and Regularization of Nonlinear Least Squares Problems | .pdf, gk1, last:15, least-squares, nonlinear, opt, survey, thesis | |
| 845 | Ordinary Differential Equations | .pdf, [moore], [moore] compu course, diff-eq, ode, ppl | ||
| 846 | Orientation, manifolds with boundary, induced structures | .pdf, orientation | ||
| 847 | Orthogonal Bases and the QR Algorithm | .pdf, [olver] | ||
| 848 | PDCO – Primal-Dual Interior Methods | .pdf, course, linear, numerical, opt | ||
| 849 | Paradoxes and Sophisms in Calculus | .pdf, 2013, alt | ||
| 850 | Parallel Tracking and Mapping for Small AR Workspaces | .pdf, tracking | ||
| 851 | Parametrization And Range Of Motion Of The Ball And Socket Joint | .pdf, constraints, dynamics, mechanics, paper, physics, rigid-body, simulation | ||
| 852 | Pattern Classification As An Ill-Posed, Inverse Problem, A Regularization Approach | .pdf, inverse, ml | ||
| 853 | Paul Bamberg, Shlomo Sternberg-A course in mathematics for students of physics. Volume 1-Cambridge University Press | .djvu, 1991, inverse, math | ||
| 854 | Paul Bamberg, Shlomo Sternberg-A course in mathematics for students of physics. Volume 2-Cambridge University Press | .djvu, 1991, inverse, math | ||
| 855 | ★★ | Penalty Methods and Augmented Lagrangians in Nonlinear Programming | .pdf, [rockafellar] | |
| 856 | Perturbation Theory, M5311, Gillian | .pdf, asympt, course, pert | ||
| 857 | Peter Olver's Home Page | .pdf, [olver] | ||
| 858 | Philosophy of Mathematics | .djvu, [hintikka] | ||
| 859 | ★ | Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century | .pdf, alt, history, infinitesimal | |
| 860 | Physical meaning of Lagrange multipliers | .pdf, intuit, multipliers | ||
| 861 | ★ | Physics, Topology, Logic and Computation, A Rosetta Stone | .pdf, [baez], cat, logic, q4, unif | |
| 862 | Piecewise convexity of artificial neural networks | .pdf, convergence, dl, ml, open, optimization, success | ||
| 863 | ★ | Piecewise-smooth Dynamical Systems Theory and Applications | .pdf, non-smooth, rigid-body | |
| 864 | ★★ | Plateau's Problem | .pdf, abstract, hook, variational | |
| 865 | Plausible Reasoning In the Brain | .djvu, [jaynes] | ||
| 866 | ★ | Playing for Real, A Text on Game Theory | .pdf, analysis, compact, game | |
| 867 | Please explain the intuition behind the dual problem in optimization. | .pdf, duality, faithful, opt | ||
| 868 | Point Set Topology | .pdf, filter, topology | ||
| 869 | Position Based Dynamics | .pdf, PBD, dynamics, paper, particle, rigid-body, simulation | ||
| 870 | ★ | Position Based Dynamics, thesis | .pdf, PBD, critical, stability, survey, thesis | |
| 871 | Position-based Methods for the Simulation of Solid Objects | .pdf, PBD, [bender], dynamics, mechanics, paper, particle, physics, rigid-body, simulation | ||
| 872 | ★★ | Post Structural Readings of a Logico-Mathematical text | .pdf, goedel, incompleteness, logic, philosophy | |
| 873 | Post-Stabilization for Rigid Body Simulation | .pdf, [ascher], dynamics, mechanics, paper, physics, rigid-body, simulation, stabilization | ||
| 874 | ★★ | Practical Foundations of Mathematics | .djvu, [taylor], author, auto-proof, cat, computation, cs, fol, logic, type-theory | |
| 875 | Practical Optimization | .djvu, book, gk1, opt | ||
| 876 | Practical Parameterization Of Rotations Using The Exponential Map | .pdf, [grassia], exp-map, math, rotation | ||
| 877 | ★ | Practical methods of optimization | .djvu, [fletcher], constrained, gk1, last:232, opt | @book{fletcher2013practical, title={Practical methods of optimization}, author={Fletcher, Roger}, year={2013}, publisher={John Wiley & Sons} } |
| 878 | Precondition | .pdf, conv, numerical | ||
| 879 | Preconditioning | .pdf, conv, numerical | ||
| 880 | ★ | Preventing Over-Fitting during Model Selection via Bayesian Regularisation of the Hyper-Parameters | .pdf, [cawley], ml, selection, statistics, validation | |
| 881 | Principles of Multiscale Modeling | .pdf, [weinan], book, molecular, physics, simulation | ||
| 882 | Prior Information and Ambiguity in Inverse Problems | .pdf, [jaynes], ill-cond, inverse | ||
| 883 | Probabilistic interpretation of feedforward neural network outputs, with relationships to statistical prediction of ordinal quantities | .pdf, cited, ml, ml-stat | ||
| 884 | Probability Theory, The Logic of Science | .pdf, bayes, probability, rated | ||
| 885 | ★ | Probability Theory, the Logic of Science | .pdf, [jaynes], dirac, probability, science, survey | |
| 886 | Probability Tutorials | .pdf, course, probability | ||
| 887 | Probability Tutorials Solutions | .pdf, course, probability | ||
| 888 | Probability Tutortials Notations | .pdf, course, probability | ||
| 889 | Probability and information | .pdf, fig, information, probability, short | ||
| 890 | ★ | Probability as a Normalized measure | .pdf, measure, probability, vquote | |
| 891 | Probability, covariance, pca, lagrange | .pdf, covariance, lagrange, ml, multipliers, pca, probability, statistics | ||
| 892 | Probing the Future, The Art and Science of Prediction | .pdf, [delphenich], chaos, dynamics, ppl | ||
| 893 | Problems in Real Analysis, Advanced Calculus on the Real Axis | .pdf, analysis, calculus, problem-text | ||
| 894 | Problems in the philosophy of mathematics | .djvu, [lakatos], logic | ||
| 895 | Projected Dynamical Systems and Variational Inequalities with Applications | .pdf, 1996, book, mechanics, physics, proj-dyn-sys, simulation | ||
| 896 | Projected Gauss-Seidel Subspace Minimization Method for Interactive Rigid Body Dynamics | .pdf, [erleben], conv, dynamics, mechanics, paper, physics, rigid-body, simulation | ||
| 897 | Projected dynamical system | .pdf, mechanics, physics, proj-dyn-sys, simulation | ||
| 898 | Projected dynamical systems with delays: Definition, stability and applications | .pdf, mechanics, physics, proj-dyn-sys, simulation | ||
| 899 | Projective Dynamics, Fusing Constraint Projections for Fast Simulation | .pdf, PBD, equiv, rigid-body | ||
| 900 | ★★ | Proof and Computation in Geometry | .pdf, geometry, logic, meta-proof, model, proof | |
| 901 | Proof of the second derivative test | .pdf, hessian, nonlin, opt, proof | ||
| 902 | Proof-Search control in Interaction with domain-specific methods | .pdf, auto-proof | ||
| 903 | Proofs and Refutations | .djvu, [lakatos], convergence, history | ||
| 904 | Proofs of Taylor's Theorem | .pdf, calc, proof, taylor | ||
| 905 | Properties of and Rules for Big-O, Big-Omega, Big-Theta | .pdf, big-o, computing, o-not, slides | ||
| 906 | Propositions as Types | .pdf, auto-proof, curry-howard, history | ||
| 907 | Quantifiers, Questions and Quantum Physics | .pdf, [hintikka] | ||
| 908 | Quantum Algorithm Zoo | .pdf, future, quantum | ||
| 909 | Quantum Calculus | .pdf, [_pokman_cheung], [victor_kac], alt, math, q-calc | ||
| 910 | ★ | Quantum Calculus | .pdf, [knill], calculus, q-calc, quantum | |
| 911 | Quantum Mathematics | .pdf, [olver] | ||
| 912 | Quaterion Computation | .pdf, engg, rotation | ||
| 913 | Quaterions and Geometric Algebra | .pdf, GA, quat, soft | ||
| 914 | Quaternion Algebraic Geometry | .pdf, ag, math, quat, rotation | ||
| 915 | Quaternion Based Constraints | .pdf, [lacoursiere], constraints, dynamics, mechanics, paper, physics, rigid-body, simulation | ||
| 916 | Quaternions and the Heuristic Role of Mathematical Structures in Physics | .pdf, hist, phys, quat | ||
| 917 | Quaternions for Engineers | .pdf, engg, quat, rotation | ||
| 918 | Quaternions in Classical Mechanics | .pdf, engg, mechanics, quat, rotation | ||
| 919 | Quaternions, Interpolation and Animation | .pdf, fig, intuit, rotation | ||
| 920 | Quora, Representative Sample | .pdf, distribution, ml, quora, representative | ||
| 921 | ★★ | R. T. Rockafellar's Publications | .pdf, [rockafellar] | |
| 922 | ROUGH PATH THEORY AND STOCHASTIC CALCULUS | .pdf, alt, rough, stochastic | ||
| 923 | Radically Elementary Probability and Statistics | .pdf, alt, contrast, nsa, probability | @techreport{geyer2007radically, title={Radically elementary probability and statistics}, author={Geyer, Charles J}, year={2007}, institution={Technical Report} } | |
| 924 | Randomness And Undecidability In Physics | .pdf, computability, recurstion, survey | ||
| 925 | Rank Deficient Nonlinear Least Squares Problems and Subset Selection | .pdf, gk1, least-squares, nonlinear, opt | ||
| 926 | Real Analysis | .pdf, ppl | ||
| 927 | Real Analysis Through Modern Infinitesimals | .djvu, IFT, nsa | @book{vakil2011real, title={Real analysis through modern infinitesimals}, author={Vakil, Nader}, volume={140}, year={2011}, publisher={Cambridge University Press} } | |
| 928 | Real Analysis Workbook | .pdf, analysis, calculus, problem-text | ||
| 929 | Real Analysis and Foudations, Solutions Manual | .pdf, [krantz], solutions | ||
| 930 | Real Analysis and Foundations | .pdf, 2014, [RAF], [krantz], exercises, model, ra | ||
| 931 | Real Analysis on Intervals | .pdf, analysis, integration, ra | ||
| 932 | Real Analysis, Trench | .pdf, [trench], analysis, problem-text | ||
| 933 | ★★ | Real World Unintuitive Theorems List | .pdf, list, voted | |
| 934 | Reason's Nearest Kin, Philosophies of Arithmetic from Kant to Carnap | .pdf, 2000, [potter], phil, survey | ||
| 935 | Recurrent Neural Networks Tutorial, Part 3 – Backpropagation Through Time and Vanishing Gradients – Wild ML | .pdf, ml, vanishing-gradient | ||
| 936 | Redundancy Elimiation with a Lexicographic Solved Form | .pdf, degen, linear, lp, numerical, opt, simplex | ||
| 937 | ★★ | Reflections on Automath | .pdf, automah, lambda, logic, type | |
| 938 | Reflections on Simultaneous Impact | .pdf, dynamics, mechanics, paper, physics, rigid-body, simulation | ||
| 939 | Reforming the Mathematical Language of Physics | .pdf, GA, [hestenes], q2, quest | ||
| 940 | Relation between convergence class and convergence space | .pdf, continuity | ||
| 941 | ★ | Remodeling of Dynamical Systems to Benefit Numerical Simulations | .pdf, dyn, integ, model, numerical | |
| 942 | Remote Sensing, Machine Vision Slides | .pdf, likelihood, ml, mv, probability, stat | ||
| 943 | Representation properties of multilayer feedforward networks | .pdf, [poggio], ml, nn | ||
| 944 | ★ | Representing Attitude | .pdf, engg, rotation, survey | |
| 945 | ★★ | Rethinking Rigor in Calculus, the Role of the Mean Value Theorem | .pdf, [RRiC], calculus, crystal, ivt, mvt, taylor | |
| 946 | ★ | Reuniting the Antipodes — Constructive and Nonstandard Views of the Continuum | .pdf, alt, infini, logic, synth-geom, unif | |
| 947 | Riemannian Manifolds, An Introduction to Curvature | .pdf, [lee] | ||
| 948 | Rigid Body Dynamics | .pdf, book, linearise, mechanics, particle, problem-text, rigid-body, sheet, survey | ||
| 949 | ★ | Rigid Body Dynamics of Mechanisms I, Theoretical Basics | .pdf, book, multi-body, rigid-body | |
| 950 | ★ | Rigid Body Dynamics of Mechanisms II, Applications | .pdf, book, multi-body, rigid-body | |
| 951 | Rigid Body Dynamics, Lecture | .pdf, fig, lecture, rigid-body, rotation | ||
| 952 | ★ | Rigid-Body Dynamics with Friction and Impact | .pdf, [stewart], classic, contact, friction, paper, rigid-body, survey | |
| 953 | Rise of the Machines | .pdf, ML, interesting, survey | ||
| 954 | Road to Reality | .pdf, [penrose], notation, tensor | ||
| 955 | Robust Computer Vision, Theory and Applications | .pdf, likelihood, ml, mv, robustness | ||
| 956 | Robustness of classifiers, from adversarial to random noise | .pdf, advers, ml, presi | ||
| 957 | Rotation | .pdf, [bran], engg, rotation, survey | ||
| 958 | Rotation Group Summary | .pdf, math, rotation | ||
| 959 | Rotation by quaternion conjugation and quaternion matrix | .pdf, p8' | ||
| 960 | ★★ | Rough Calculus Overview | .pdf, [pawlak], alt, rough | |
| 961 | Rough Calculus Preview | .pdf, [pawlak], alt, rought | ||
| 962 | ★ | Rough Derivatives as Dynamic Granules in Rough Granular Calculus | .pdf, atl, calculus, rough | |
| 963 | Rudolf Carnap, Logical Empiricist, Materials and Perspectives | .pdf, 1975, [hintikka] | ||
| 964 | SNOPT Example Optimizations | .pdf, course, linear, numerical, opt | ||
| 965 | STABILITY OF FAST ALGORITHMS FOR STRUCTURED LINEAR SYSTEMS | .pdf, linear, numerical, stability, survey | ||
| 966 | Sample Questions for Real Analysis Exam | .pdf, analysis, calculus, problem-text | ||
| 967 | ★ | Second Year Calculus, from Celestial Mechanics to Special Relativity | .pdf, [bressoud], calculus, diff-form, multi-var | |
| 968 | ★ | Second Year Calculus, from Celestial Mechanics to Special Relativity | .djvu, [bressoud], diff-form, djvu | |
| 969 | Semi-implicit Schemes | .pdf, integ, numerical | ||
| 970 | Set Theoretical Aspects of Real Analysis | .pdf, 2014, model, q4 | ||
| 971 | ★ | Set Theory | .djvu, ZFC, formal, logic, model, notes, set theory | |
| 972 | Set Theory Alternatives | .pdf, model | ||
| 973 | Set Theory, Boolean-Valued Models and Independence Proofs | .pdf, ST, [bell], alt, logic, math | ||
| 974 | ★★ | Set Value Analysis | .pdf, [aubin], alt, finally | |
| 975 | ★ | Set theory and its philosophy a critical introduction | .pdf, 2004, [potter], logic, q1, quest, survey | |
| 976 | Several Nonstandard Remarks | .pdf, nsa, pro, survey | @article{fesenko2006several, title={Several nonstandard remarks}, author={Fesenko, Ivan}, journal={AMS/IP advances in the mathematical sciences}, pages={37--50}, year={2006} } | |
| 977 | Shake | .pdf, cable, dynamics, mechanics, physics, simulation | ||
| 978 | Sharp Error Bounds For the Trapezoidal Rule and Simpsons Rule | .pdf, bound, example, integration, numerical | ||
| 979 | Sheaves in Geometry and Logic, A First Introduction to Topos Theory- | .djvu, 1992, cat, geom, logic, q4, topos, unif | ||
| 980 | Sheaves, Cohomology of Sheaves, and Applications to Riemann Surfaces | .pdf, 2011, ag, cat, q4, sheaves | ||
| 981 | ★★ | Sherlock Holmes in Babylon and other tales of mathematical history | .pdf, [katz], history | |
| 982 | Short History of Neural Networks | .pdf, history, ml, nn, short | ||
| 983 | Silly Silly Dot Basis | .pdf, ldual1 | ||
| 984 | Simple Regular And Efficient Numerical Integration Of Rotational Motion | .pdf, engg, integ, numerical, rotation | ||
| 985 | Singular and Degenerate | .pdf, degen, linear, lp, numerical, opt, simplex, sing | ||
| 986 | Six Ways to Sum a Series | .pdf, series | ||
| 987 | Smooth Infinitesimal Analysis | .pdf, sia, thesis | ||
| 988 | Smooth Infinitesimal Analysis Based Model of Multidimensional Geometry | .pdf, SIA, alt, infini | ||
| 989 | Software Foundations | .pdf, auto-proof, book | ||
| 990 | Solving Ordinary Differential Equations II, Stiff and Differential-Algebraic Problems | .pdf, [hairer], integration, numerical, stiff | ||
| 991 | Solving Real-World Linear Programs, A Decade and More of Progress | .pdf, linear, lp, numerical, opt, simplex | ||
| 992 | ★ | Solving nonlinear ODE and PDE problems | .pdf, diff-eq, eigen, numerical, solving, survey | |
| 993 | Some Applications of Nonstandard Analysis to Advanced Undergraduate Mathematics | .pdf, [herrmann], nsa, q3 | ||
| 994 | Some NP-complete problems in linear programming | .pdf, complexity, linear, numerical, opt | ||
| 995 | Some Results Concerning A General Set Theoretical Approach to Logic | .pdf, ST, alt, logic | ||
| 996 | Some history of the hierarchical Bayesian methodology | .pdf, bayes, hierarch | ||
| 997 | Sparse Linear Algebra, LU Factorization | .pdf, fact, lin-alg, matrix, numerical | ||
| 998 | ★ | Sparsity and Its Applications | .pdf, AMG, [brameller], lin-alg, matrix, numerical, sparse | |
| 999 | Sparsity in Large Systems | .pdf, [brameller], lin-alg, matrix, numerical, simplex, sparse | ||
| 1000 | Spook, a variational time-stepping scheme for rigid multibody systems subject to dry frictional contacts | .pdf, [lacoursiere], dynamics, integrator, rigid-body | ||
| 1001 | Stability Analysis | .pdf, eigen, stability | ||
| 1002 | ★ | Stability Analysis and Control of Rigid-Body Systems with Impacts and Friction | .pdf, rigid-body, stability | |
| 1003 | Stability of Computational Methods for Constrained Dynamics Systems | .pdf, dynamics, goal, mechanics, physics, simulation | ||
| 1004 | ★ | Stabilization Of Invariants Of Discretized Differential systems | .pdf, DAE, [ascher], author, baumgarte, drift, dynamics, numerical, stabilization, symplectic | |
| 1005 | Stabilization of Constrained Mechanical Systems with DAEs and Invariant Manifolds | .pdf, baumgarte, constrained, dynamics, mathematical, mechanics, origins, physics, satbilization, simulation | ||
| 1006 | Stabilization of daes and invariant manifolds | .pdf, [ascher], stabilization | ||
| 1007 | ★★ | Stable Constrained Dynamics | .pdf, paper, rigid-body, simulation, stability, survey | |
| 1008 | Stable Robust And Versatile Multibody Dynamics Animation | .pdf, [erleben], dynamics, mechanics, physics, rigid-body, simulation, software, survey, thesis | ||
| 1009 | State of the Art of Parallel Coordinates | .pdf, intrig, survey | ||
| 1010 | Statistics Done Wrong, The Woefully Complete Guide | .pdf, probability, statistics | ||
| 1011 | Stochastic Calculus with Infinitesimals | .pdf, alt, nsa, probability | @book{herzberg2012stochastic, title={Stochastic calculus with infinitesimals}, author={Herzberg, Frederik S}, volume={2067}, year={2012}, publisher={Springer} } | |
| 1012 | ★★ | Stochastic Processes, Theory for applications | .pdf, [SP-Ta], [gallager], author, measure, probability, stochastic | |
| 1013 | Strange Functions in Real Analysis, | .pdf, 2005, alt, math | ||
| 1014 | Structure and Interpretation of Classical Mechanics | .pdf, [sussman], mech, ppl | ||
| 1015 | Structure of almost diagonal matrices | .pdf, diag, lin-alg, matrix, numerical | ||
| 1016 | Structured Derivations, a Unified Proof Style for Teaching Mathematics | .pdf, auto-proof, proof | ||
| 1017 | ★★ | Summation Convention and Vector Algebra | .pdf, [SCVA], index-notation | |
| 1018 | Surreal Numbers and Transfer Principle | .pdf, alt, math, nsa, s-real, transfer | ||
| 1019 | Survey of Simulation Packages | .pdf, rigid-body, software, survey | ||
| 1020 | Sussman - A Computational Model of Skill Acquisition - 1973 | .pdf, [sussman], ppl | ||
| 1021 | Sussman-Structure and Interpretation of Computer Programs- 1996 | .pdf, [sussman], ppl | ||
| 1022 | Suvery of Numerical Mathematics, I | .djvu, numerical, survey | ||
| 1023 | Suvery of Numerical Mathematics, II | .djvu, numerical, survey | ||
| 1024 | Sweet reason, A field guide to modern logic | .djvu, [henle], logic, ppl | ||
| 1025 | ★ | Symbolic Integration Tutorial | .pdf, integration, method, symbolic | |
| 1026 | Symbolic Logic, Syntax, Semantics, and Proof | .pdf, 2012, logic, semantics | ||
| 1027 | Symmetries and invariances in classical physics | .pdf, invariance, mathematical, physics, symmetry | ||
| 1028 | Symmetry and Moving Frames Lecture Notes | .pdf, [olver] | ||
| 1029 | Symplectic Numerical Integrators in Constrained Hamiltonian Systems | .pdf, constrained, integrate, molecular, numerical, rattle, shake, survey, symplectic | ||
| 1030 | ★ | Symplectic splitting methods for rigid body molecular dynamics | .pdf, MD, geometric, integration, numerical, paper, rigid-body, symplectic | |
| 1031 | Syntax and Semantics of Propositional Logic | .pdf, course, lecture, logic, semantics | ||
| 1032 | ★ | Synthetic Differential Geometry | .pdf, cat, diff-geom, logic, q4, sia, synthetic, thesis, unif | |
| 1033 | ★ | Synthetic Differential Geometry | .pdf, cat, confusing, coord-free, diff-form, diff-geom, infini, synthetic | @book{kock2006synthetic, title={Synthetic differential geometry}, author={Kock, Anders}, volume={333}, year={2006}, publisher={Cambridge University Press} } |
| 1034 | Synthetic vs classical differential geometry | .pdf, SDG, coord-free, diff-geom, pointless, synthetic, topology | ||
| 1035 | ★ | System Identification, Theory for the User | .pdf, interesting, system-ident | |
| 1036 | ★ | Systematic Errors | .pdf, measurement, pitfall, probability, review | |
| 1037 | THE DEVELOPMENT OF MATHEMATICAL THINKING, PROBLEM-SOLVING AND PROOF | .pdf, [tall] | ||
| 1038 | THE PROVING PROCESS IN MATHEMATICS CLASSROOM – METHOD AND RESULTS OF A VIDEO STUDY | .pdf, understanding | ||
| 1039 | THE UNREASONABLE EFFECTIVENESS OF NONSTANDARD ANALYSIS | .pdf, interesting, logic, nsa | @article{sanders2015unreasonable, title={The unreasonable effectiveness of Nonstandard Analysis}, author={Sanders, Sam}, journal={arXiv preprint arXiv:1508.07434}, year={2015} } | |
| 1040 | TYL, #14. Alternative set theories : Logic Matters | .pdf, q1, quest | ||
| 1041 | ★ | Table of Integrals, Series, and Products | .pdf, integration, series, survey, table | |
| 1042 | Table of Integrals, Series, and Products, Related Papers | .pdf, integration, survey, table, technique | ||
| 1043 | Tactics for mechanized reasoning, a commentary on Milner | .pdf, auto-proof, history, milner | ||
| 1044 | Tame Topology and O-minimal Structures | .djvu, topology | ||
| 1045 | ★ | Tangent Space (Lecture Notes) | .pdf, [TS-LN], derivation, diff-geom, tangent-space, tensor | |
| 1046 | Taylor Series | .pdf, fig, summary, taylor, under | ||
| 1047 | Taylor Series and Polynomials | .pdf, taylor | ||
| 1048 | ★ | Taylor s theorem with the Lagrange form of the remainder, Gowers Weblog | .pdf, mvt, proof, taylor | |
| 1049 | Te X-nical Stuff: Big O Notation for Calculus | .pdf, inverse, math | ||
| 1050 | Te X-nical Stuff: Differentiation with Big O notation | .pdf, inverse, math | ||
| 1051 | Teach Yourself Logic | .pdf, autodid, logic, math | ||
| 1052 | ★ | Teach Yourself Logic 2017 | .pdf, guide, logic | |
| 1053 | Teaching Mathematics with a Different Philosophy, Calculus Without Limits | .pdf, inverse, math | ||
| 1054 | Technical Concepts, Orientation, Rotation, Velocity and Acceleration and the CRM | .pdf, engg, rigid-body, rotation | ||
| 1055 | Techniques of Constructive Analysis- | .pdf, 2006, q1, quest | ||
| 1056 | Template Matching Advances and Applications in Image Analysis | .pdf, ml, mv, template | ||
| 1057 | ★★ | Ten Misconceptions from the History of Analysis and Their Debunking | .pdf, [katz], alt, convergence, history, infinitesimal, nsa | @article{blaszczyk2013ten, title={Ten misconceptions from the history of analysis and their debunking}, author={B{\l}aszczyk, Piotr and Katz, Mikhail G and Sherry, David}, journal={Foundations of Science}, volume={18}, number={1}, pages={43--74}, year={2013}, publisher={Springer} } |
| 1058 | Tensor Transpose and Its Properties | .pdf, tensor, transpose | ||
| 1059 | Tensors, Contravariant and Covariant | .pdf, covar | ||
| 1060 | The 12 pillars of wisdom, Understanding intelligence | .pdf, brain, exercises, interesting, olympiad, soft | ||
| 1061 | The Absolute Arithmetic Continuum And The Unification Of All Numbers Great And Small | .pdf, alt, h-real, math, nsa, s-real, trans, unif | @article{ehrlich2012absolute, title={The absolute arithmetic continuum and the unification of all numbers great and small}, author={Ehrlich, Philip}, journal={Bulletin of Symbolic Logic}, volume={18}, number={1}, pages={1--45}, year={2012}, publisher={Cambridge University Press} } | |
| 1062 | ★ | The Absurdity of Vastness | .pdf, st, survey, understanding | |
| 1063 | The Application of Modal Coordinate Methods To Large Nonlinear Time-dependent Problems | .pdf, reduced-coord, survey | ||
| 1064 | The Argument of Mathematics | .pdf, understanding | ||
| 1065 | ★★ | The Axioms of Set Theory | .pdf, axiomatic, logic, set theory, short, st | |
| 1066 | ★★ | The Blind Spot, Lectures on Logic | .pdf, [girard], godel, incompleteness, logic | |
| 1067 | ★ | The Book Of Nothing | .pdf, soft, understanding | |
| 1068 | The Calculus Integral | .pdf, ppl | ||
| 1069 | ★ | The Calculus of Relations as a Foundation for Mathematics | .pdf, algebra, cat, foundations, logic | |
| 1070 | ★ | The Calculus of Variations From the Beginning Through Optimal Control Theory | .pdf, history, math, survey, variational | |
| 1071 | ★ | The Closed-form Integration of Arbitrary Functions | .pdf, closed-form, integration | |
| 1072 | The Complexity of Linear Dependence Problems in Vector Spaces | .pdf, complexity, linear, numerical, opt | ||
| 1073 | The Composite Simplex Algorithm | .pdf, phase, simplex | ||
| 1074 | The Comprehensive Latex Symbol List | .pdf, latex, software | ||
| 1075 | The Concept of Convergence, Ultrafilters and Nets | .pdf, convergence, net, topology, ultrafilter | ||
| 1076 | The Continuous and the Infinitesimal in Mathematics and Philosophy | .pdf, [bell], alt, hist, logic, math, nsa, phil, topology | @book{bell2005continuous, title={The continuous and the infinitesimal in mathematics and philosophy}, author={Bell, John Lane}, year={2005}, publisher={Polimetrica sas} } | |
| 1077 | The Development of Modern Logic | .pdf, hist, logic | ||
| 1078 | The Dynamical Systems Approach to Differential Equations | .pdf, alt, diff-eq, dyn-sys, math | ||
| 1079 | ★ | The Easy Way to Goedels Proof and Related Topics | .pdf, [gaifman], goedel, in-short | |
| 1080 | The Electron, new theory and experiment | .pdf, [jaynes], experiment, physics | ||
| 1081 | ★★ | The End of Error, Unum Computing | .pdf, float, intriguing, numerical, physics, rigid-body | |
| 1082 | The Euler Lagrange Equation | .pdf, sele, variational | ||
| 1083 | The Four Pillars of Geometry | .pdf, [stillwell], geometry, intro | ||
| 1084 | The Future of Set Theory by S.Shelah | .pdf, q1, quest | ||
| 1085 | ★★ | The Geometry of Physics | .pdf, coord-free, diff-form, geometry, orientation, physics | |
| 1086 | The Growth of Mathematical Knwoledge | .pdf, [hintikka], logic | ||
| 1087 | The Hahn-Banach Theorem, The Life and Times | .pdf, banach, duality, hist | ||
| 1088 | ★★ | The Hartman-Grobman (Linearization) theorem | .pdf, control, dyn-syst, linearization, proof, stability | |
| 1089 | ★★ | The Hassenpflug matrix tensor notation | .pdf, [hassenpflug], alt, notation, rigid-body, short, tensor | |
| 1090 | The Implicit and The Inverse Function Theorems, Easy Proofs | .pdf, inverse, math | ||
| 1091 | The Integral and Its generalizations | .pdf, daniell, history, integration, measure, probability, survey | ||
| 1092 | The Integrals of Lebesgue, Denjoy, Perron, and Henstock | .pdf, integration, survey | ||
| 1093 | ★ | The Language of Mathematics, A Linguistic and Philosophical Investigation | .pdf, 2013, logic, semantics | |
| 1094 | The Law of Large Numbers and its Applications | .pdf, LLN, probability | ||
| 1095 | ★★ | The Logic of Paradox | .pdf, alt, logic, paradox | |
| 1096 | The Mathematics Of Havoks Solver | .pdf, [jad] | ||
| 1097 | The Metamathematics of Ergodic Theory | .pdf, [avigad], discrete, dynamics, three-body | ||
| 1098 | The Method of Lagrange Multipliers | .pdf, [trench], analysis, lagr, problem-text | ||
| 1099 | The Neos Guide | .pdf, gk1, opt, survey | ||
| 1100 | The Nonlinear World, Conceptual Analysis and Phenomenology | .pdf, 2012, alt, math | ||
| 1101 | The Orientation Manifesto | .pdf, orientation | ||
| 1102 | The Origins of a Practical Simplex Method | .pdf, hist, linear, lp, numerical, opt, simplex | ||
| 1103 | The Philosophy of Computer Science | .pdf, dud, meta-proof | ||
| 1104 | ★ | The Physics of Scales | .pdf, [in-short], classical, lagrangian, physics, quantum, relativity | |
| 1105 | The Primal Simplex Method | .pdf, course, linear, numerical, opt | ||
| 1106 | ★ | The Principles of Mathematics Revisited | .pdf, 1998, [hintikka] | |
| 1107 | The Proof is in the Pudding | .pdf, [krantz], history, proof, understanding | ||
| 1108 | The Psychology of Abandon | .pdf, other | ||
| 1109 | The Quaternions with an application to Rigid Body Dynamics | .pdf, dynamics, mechanics, physics, quat, rigid-body, rotation, simulation | ||
| 1110 | ★★ | The Road to Modern Logic, an interpretation | .pdf, FOL, history, logic | |
| 1111 | The Simplex Method is Not Always Well Behaved | .pdf, numerical, opt, pert | ||
| 1112 | The Smart Money is on Numerical Analysts | .pdf, [trefethen], numerical, understanding | ||
| 1113 | ★ | The Strength of Nonstandard Analysis | .pdf, IFT, nsa, understanding | @book{van2007strength, title={The strength of nonstandard analysis}, author={Van den Berg, Imme and Neves, V{'\i}tor}, year={2007}, publisher={Springer Science & Business Media} } |
| 1114 | The Teaching and Learning of Mathematics at University Level | .pdf, soft, understanding | ||
| 1115 | ★★ | The Theorems Of Green-Stokes, Gauss-Bonnet AND Poincare-Hopf In Graph Theory | .pdf, [knill], author, curvature, diff-form, discrete, fig, finally, graph, integration, q-calc, stokes | |
| 1116 | ★ | The Third Generation of Neural Networks | .pdf, basics, history, intro, ml, nn, relu, survey | |
| 1117 | The Way of Analysis | .djvu, [strichartz], alt-format | ||
| 1118 | ★★ | The Way of Analysis | .pdf, [strichartz], [tWoA], author, lebesgue, o-not, ra | |
| 1119 | The Withering Away of Formal Semantics | .pdf, interesting, logic, polemical | ||
| 1120 | ★ | The collected papers of Gerhard Gentzen | .djvu, [gentzen], deduction, history, logic | |
| 1121 | ★★ | The impact of the lambda calculus, in logic and computer science | .pdf, [barendregt], author, history, lambda | |
| 1122 | The influence of a matrix condition number on iterative methods convergence | .pdf, conv, numerical | ||
| 1123 | The rise of modern logic from Leibniz to Frege | .djvu, hist, logic | ||
| 1124 | The world according to wavelets | .djvu, 1996, [hubbard], diff-eq, ppl | ||
| 1125 | Theoretical mechanics of particles and continua | .djvu, [walecka], book, molecular, physics, simulation | ||
| 1126 | Theory of Computation | .djvu, [tourlakis] | ||
| 1127 | Theory of Information, Fundamentality, Diversity and Unification | .pdf, IT, logic | ||
| 1128 | Theory of Suboptimal Decisions Decomposition and Aggregation | .pdf, 1988, numerical, opt, pert | ||
| 1129 | Theory of the Integral | .pdf, ppl | ||
| 1130 | ★ | There's Something about Goedel - The Complete Guide to the Incompleteness Theorem | .pdf, 2009, diagonal, goedel, logic, lucid | |
| 1131 | Thermal Physics | .pdf, physics, thermal | ||
| 1132 | Thermodynamics, entropy and waterwheels | .pdf, entropy, interesting, intuit, thermodynamics | ||
| 1133 | Three Views of Logic Mathematics, Philosophy, and Computer Science | .pdf, 2014, logic, math | ||
| 1134 | ★★ | Three-Dimensional Geometry and Topology | .djvu, ag, geometry, topology | |
| 1135 | Tikz | .pdf, latex, software, tikz | ||
| 1136 | ★★ | To Dissect a Mockingbird, A Graphical Notation for the Lambda Calculus with Animated Reduction | .pdf, combinators, lambda, short | |
| 1137 | ★★ | Tools for dynamics simulation of robots, a survey based on user feedback | .pdf, rigid-body, robotics, simulation, survey | |
| 1138 | Topics in Fourier Analysis, DFT, FFT, Wavelets, Laplace Transform | .pdf, [olver] | ||
| 1139 | Topological Spaces | .pdf, conv-space, filter, topology | ||
| 1140 | Topology Illustrated | .pdf, [saveliev], diff-form, discr-calc, topology | ||
| 1141 | Topology and Geometry | .pdf, fig, reco, topology | ||
| 1142 | Topology of Fibre bundles and Global Aspects of Gauge Theories | .pdf, bundle, diff-geom, fibre, intuit | ||
| 1143 | Topology via logic | .djvu, logic, topology | ||
| 1144 | ★★ | Topology with Applications, Topological Spaces via Near and Far | .pdf, continuity, naimpally, near, topology | |
| 1145 | Topology, The Journey Into the Separation Axioms | .pdf, connectedness, topology | ||
| 1146 | ★ | Toward a history of mathematics focused on procedures | .pdf, [kutateladze], alt, author, history, infinitesimals, intuit | |
| 1147 | Trajectory Following Optimization by Gradient Transformation Differential Equations | .pdf, [TFO-GTDE], contrast, fig, gd, intuit, newton, optimization | ||
| 1148 | Trajectory-based optimization | .pdf, alt, back-prop, convergence, gd, optimization | ||
| 1149 | ★ | Transfer Principles for Non Standard Analysis | .pdf, logic, nsa, transfer | @article{angles2012transfer, title={Transfer Principles for Non Standard Analysis}, author={Angles d’Auriac, Paul-Elliot}, year={2012} } |
| 1150 | Treatise of Plane Geometry Through Geometric Algebra | .pdf, GA, translation | ||
| 1151 | ★ | Treatise on Intuitionistic Type Theory | .pdf, intuitionistic, logic | |
| 1152 | Troubleshooting Neural Net Training, Deeplearning4j | .pdf, ml, practical, training | ||
| 1153 | Two-way Coupling of Rigid and Deformable Bodies with Accurate Friction Using Position Projection | .pdf, PBD, [mihai], paper, rigid-body | ||
| 1154 | ★★ | Type Theory and Formal Proof, An Introduction | .pdf, [TFo], constructive, intuitionistic, lambda, logic, type, type-theory | |
| 1155 | Type Theory and Formal Proof, an Introduction (Exercises, Solutions) | .pdf, exercises, solutions, type-theory | ||
| 1156 | ★★ | Types and Lambda Calculus | .pdf, intuitionistic, lambda, short, type | |
| 1157 | UNDERSTANDING PROOF, TRACKING EXPERTS DEVELOPING UNDERSTANDING OF AN UNFAMILIAR PROOF | .pdf, understanding | ||
| 1158 | Ultraproduct Construction of Representative Utility Functions with Infinite-Dimensional Domain | .pdf, applied, economics, nsa, thesis | @article{bedrosian2015ultraproduct, title={Ultraproduct construction of representative utility functions with infinite-dimensional domain}, author={Bedrosian, Geghard}, year={2015} } | |
| 1159 | ★★ | Unconditionally Stable Algorithms for Rigid Body Dynamics That Exactly Preserve Energy and momentum | .pdf, cited, dynamics, integration, rigid-body, stability | |
| 1160 | ★ | Understanding Analysis | .pdf, ra | |
| 1161 | Understanding Deep Convolutional Networks | .pdf, dl, math-framework, ml | ||
| 1162 | Understanding How Image Quality Affects Deep Neural Networks | .pdf, advers, ml | ||
| 1163 | ★★ | Understanding Machine Learning, From Theory to Algorithms | .pdf, [UML-FTA], book, ml, reference, statistics, theory | |
| 1164 | Understanding Molecular Simulation, From Algorithms to Applications | .pdf, [frenkel], book, molecular, physics, simulation | ||
| 1165 | Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10 K Lo C | .pdf, auto-proof, fig, tactics | ||
| 1166 | ★ | Understanding computation, from simple machines to impossible programs | .pdf, automata, computation, exercises, lambda, reg-exp, while | |
| 1167 | Unified Integration | .pdf, integration | ||
| 1168 | Unified Particle Physics for Real-Time Applications | .pdf, PBD, flex, rigid-body | ||
| 1169 | Unified Simulation of Rigid and Flexible Bodies Using Constrained Dynamics | .pdf, [mihai], thesis, unif | ||
| 1170 | ★ | Universal adversarial perturbations | .pdf, advers, deep, intuit, ml | |
| 1171 | Untangling invariant object recognition | .pdf, machine-vision | ||
| 1172 | Uri Ascher, Publications | .pdf, [ascher] | ||
| 1173 | Using an Anti-Relaxation Step to Improve the Accuracy of the Frictional Contact Solution in a Differential Variational Inequality Framework for the Rigid Body Dynamics Problem | .pdf, [negrut], paper, rigid-body | ||
| 1174 | ★ | Varieties of Logic | .epub, 2014, [shapiro], logic, model, sia | |
| 1175 | Various proofs of the Cauchy-Schwarz inequality | .pdf, inequalities | ||
| 1176 | Vector Calculus in Three Dimensions | .pdf, [olver], vec-calc | ||
| 1177 | Vector Calculus in Two Dimensions | .pdf, [olver], vec-calc | ||
| 1178 | Vector Calculus, Linear Algebra And Differential Forms, A Unified Approach | .pdf, IFT, [VLDU], coord-free, diff-form, diff-geom, lin-alg, math, seal, unif, vec-calc | ||
| 1179 | Vectors and tensors in curved space time | .pdf, [VT-CST], levi-civita, tensor | ||
| 1180 | Vibrating Systenms abd Eigenvalues | |||
| 1181 | Vibration fundamentals and practice | .pdf, [de silva], book, engg, mathematical | ||
| 1182 | Viewpoint-invariant and viewpoint-dependent object recognition in dissociable neural subsystems | .pdf, machine-vision | ||
| 1183 | Visual Abstract Algebra | .pdf, [pivato] | ||
| 1184 | ★ | Visual Complex Analysis | .pdf, [needham], analysis, complex, fig, integration, ra | |
| 1185 | ★ | Visual Geometry and Topology | .pdf, [fomenko], topology | |
| 1186 | Visual Interactive Simulation, 2006 | .pdf, course, dynamics, mechanics, physics, simulation | ||
| 1187 | Visualizing Quaternions, Clifford Algebra | .pdf, clifford, quat | ||
| 1188 | ★★ | What Rests on What? The Proof-Theoretic Analysis of mathematics | .pdf, [feferman], logic | |
| 1189 | What are the advantages of dual of a problem | .pdf, dual, linear, lp, numerical, opt, simplex | ||
| 1190 | What can the answer be I. Elementary vector analysis | .pdf, [balakrishnan], ldual1 | ||
| 1191 | What can the answer be II. Reciprocal basis and dual vectors | .pdf, [balakrishnan], covar, ldual1 | ||
| 1192 | What can the answer be III. Reciprocal basis in 2 dimensions and other nice things | .pdf, [balakrishnan] | ||
| 1193 | What can the answer be IV. Reciprocal basis in n dimensions and other ramifications | .pdf, [balakrishnan] | ||
| 1194 | What does it mean to induce a topology? | .pdf, topology, why | ||
| 1195 | What is Unification, A Categorial View of Substitution, Equation and Solution | .pdf, cat | ||
| 1196 | What is a closed-form number | .pdf, closed-form | ||
| 1197 | What is a good handwriting font for mathematics | .pdf, misc | ||
| 1198 | What is a p-value anyway? 34 Stories to Help You Actually Understand Statistics | .pdf, [Wpva34], examples, intuit, probability, rated | ||
| 1199 | What is negation | .pdf, absurdity, logic, nat-deduct | ||
| 1200 | ★★ | What really is a continuous function | .pdf, continuity, counter, history, ra, survey | |
| 1201 | ★ | What's in a Diagram, On the Classification of Symbols, Figures and Diagrams | .pdf, soft | |
| 1202 | ★ | When Cauchy and Holder Met Minkowsk, A Tour through Weil-Known Inequalities | .pdf, concave, inequalities, short, unif | |
| 1203 | When Less is More, Visualizing Basic Inequalities | .pdf, inequalities | ||
| 1204 | When is 0999 less than 1 | .pdf, [katz], nsa, survey | ||
| 1205 | Who Rules the World | .pdf, other | ||
| 1206 | ★★ | Who's afraid of coordinate systems, An essay on representation of spacetime structure | .pdf, [in-short], alt, coord-based, coord-free, diff-geom, discussion, history, orthodoxy, physics | |
| 1207 | ★ | Why Gradients Must Have Zero Curl | .pdf, [tiee], curl, grad, intui, rahm, tensor | |
| 1208 | Why divide the sample variance by N-1 | .pdf, intuit, probability, statistics, variance | ||
| 1209 | ★ | Why do we use the normal distribution | .pdf, distribution, intuit, ml, probability, quora, statistics | |
| 1210 | ★★ | Why is a linear transformation a tensor | .pdf, 1, multi-linear, rel, tensor | |
| 1211 | Wittgenstein on the Arbitrariness of Grammar | .pdf, 2004, logic, math, wittg | ||
| 1212 | Wittgenstein’s Diagonal Argument, A Variation on Cantor and Turing | .pdf, [juliet floyd], q1, quest | ||
| 1213 | ★ | Wrestling With the Fundamental Theorem of Calculus | .pdf, [bressoud], ftc, history, integration, short | |
| 1214 | XPBD, Position-Based Simulation of Compliant Constrained Dynamics | .pdf, PBD, rigid-body | ||
| 1215 | You Could Simplify Calculus | .pdf, inverse, math | ||
| 1216 | ZF, Choice, Zorn, Ordinals, Ultrafilters | .pdf, choice, st, ultrafilter | ||
| 1217 | [Agnieszka B. Malinowska, Delfim F.M. Torres (auth(Book ZZ.org) | .pdf, alt, math, q-calc | ||
| 1218 | [Clare Parnell] Vector and Matrix Norms | .pdf, [clare parnell], lecture, numerical | ||
| 1219 | [Clifford A. Truesdell (Eds.)] A first course in r(Book ZZ.org) | .pdf, mechanics, physics | ||
| 1220 | [Garcia-Fernandez] Elevation Cable Modeling for Interactive Simulation of Cranes | .pdf, [garcia-fernandez], cable, dynamics, mechanics, physics, simulation | ||
| 1221 | [Garcia-Fernandez] UVSim A Harbor Cranes Training System | .pdf, [garcia-fernandez], cable, dynamics, mechanics, physics, simulation | ||
| 1222 | ★ | [Jefimenko] Electricity and Magnetism, An Introduction to the Theory of Electric and Magnetic Fields | .pdf, [jefimenko], author, electro-mag, experimental, maxwell, physics, theory, vec-calc | |
| 1223 | [Luenberger] A Double Look at Duality | .pdf, [luenberger], ppl | ||
| 1224 | [Luenberger] Optimization by Vector Space Methods | .djvu, [luenberger], ppl | ||
| 1225 | [Patrick Billingsley] Probability and Measure, Thi(Book ZZ.org) | .pdf, [patrick_billingsley], math | ||
| 1226 | [Robert B. Ash, Catherine A. Doléans-Dade] Probab(Book ZZ.org) | .djvu, math | ||
| 1227 | [Servin] Interactive Simulation of Elastic Deformable Materials | .pdf, [servin], cable, dynamics, mechanics, physics, simulation | ||
| 1228 | [Servin] Massless Cable for Real-time Simulation | .pdf, [servin], cable, dynamics, mechanics, physics, simulation | ||
| 1229 | [Servin] Rigid Body Cable for Virtual Environments | .pdf, [servin], cable, dynamics, mechanics, physics, simulation | ||
| 1230 | [Sueda] Large-Scale Dynamic Simulation of Highly Constrained Strands | .pdf, [sueda], cable, dynamics, mechanics, physics, simulation | ||
| 1231 | [Suhl] A fast LU update for linear programming | .pdf, [suhl], fact, impl, lin-alg, matrix, numerical | ||
| 1232 | [Teschner] An Adaptive Contact Model for the Robust Simulation of Knots | .pdf, [teschner], cable, dynamics, mechanics, physics, simulation | ||
| 1233 | [Teschner] CORDE, Cosserat rod elements for the dynamic simulation of one-dimensional elastic objects | .pdf, [teschner], cable, dynamics, mechanics, physics, simulation | ||
| 1234 | [birkhoff] Lattice Theory | .pdf, 1967, [birkhoff], lattice, order | ||
| 1235 | asmmath-short-math-guide | .pdf, latex, software | ||
| 1236 | asymptote | .pdf, software | ||
| 1237 | calculus in abstract Wiener space using infinitesimals | .pdf, abstract, application, chaos, infini, wide | ||
| 1238 | calculus wo limits | .pdf, inverse, math | ||
| 1239 | ★ | convergence space in n Lab | .pdf, continuity, ncat | |
| 1240 | convex geometry,functional analysis, optimization, and nonstandard models | .pdf, short, survey | ||
| 1241 | ★★ | differential geometry reconstructed, a unified systematic framework | .pdf, [kennington], diff-geom, logic, semantics, unif | |
| 1242 | diffyq proj space | .pdf, [hubbard], diff-eq, ppl | ||
| 1243 | filter in n Lab | .pdf, convergence space, filter, ncat | ||
| 1244 | icm1950 | .pdf, hist, numerical | ||
| 1245 | ★ | invitation to SIA | .pdf, sia | |
| 1246 | klein - line geom rigid bodies | .pdf, dynamics, strange | ||
| 1247 | klein - screws | .pdf, dynamics, strange | ||
| 1248 | latexcheatsheet | .pdf, latex, software | ||
| 1249 | lecture12 | .pdf, [erleben], dynamics, lecture, mechanics, overview, physics, rigid-body, simulation | ||
| 1250 | lim01 | |||
| 1251 | lyx141 | .pdf, software | ||
| 1252 | macar200302-11 | .pdf, disc-dyn-sys, mechanics, physics, simulation | ||
| 1253 | mathabx | .pdf, latex, symbols | ||
| 1254 | matrix cookbook | .pdf, engg, lin-alg, matrix, sheet | ||
| 1255 | mgsbegin | .pdf, formal, math | ||
| 1256 | netlib cond | .pdf, cond, lin-alg, matrix, numerical, software | ||
| 1257 | nonstandard analysis in n Lab | .pdf, model, ncat, nsa | ||
| 1258 | notes02-symmetric CG | .pdf, course, linear, numerical, opt | ||
| 1259 | open-logic-complete | .pdf, logic | ||
| 1260 | pandoc | .pdf, software | ||
| 1261 | paper-lncs | .pdf, formal, math | ||
| 1262 | ★ | pi-Base | .pdf, online, survey, tool, topology, url | |
| 1263 | progc09 | .pdf, [moore], course, ppl | ||
| 1264 | progf09 | .pdf, [moore], course, ppl | ||
| 1265 | real analysis tricks | .pdf, analysis, tricks | ||
| 1266 | sep | .pdf, math | ||
| 1267 | separable space in n Lab | .pdf, ncat, separable, topology | ||
| 1268 | topological space in n Lab | .pdf, ncat, tolopogy | ||
| 1269 | Numerical integration of the Cartesian Equations of Motion of a System with Constraints, Molecular Dynamics of n-Alkanes | .pdf, integ, molecular, paper, rigid-body, shake |