dogear

enter for all results · esc to close

Theory

1,949 items in 14 lists

  1. Abstract Algebra: Theory and Applications judsonbooks.org

    Thomas W. Judson.

  2. Group Theory jmilne.org

    J.S. Milne.

  3. Fields and Galois Theory jmilne.org

    J.S. Milne.

  4. Algebraic Number Theory jmilne.org

    J.S. Milne.

  5. Algebraic Geometry jmilne.org

    J.S. Milne.

  6. NIST Handbook of Statistical Methods itl.nist.gov

    Resource on practical statistics directed towards scientists and engineers.

  7. Isabelle isabelle.in.tum.de

    General-purpose interactive theorem prover with higher-order logic and set-theory environments for formalizing mathematics and computer science.

  8. Archive of Formal Proofs isa-afp.org

    Refereed collection of Isabelle proof libraries, examples, and scientific developments maintained against current Isabelle releases.

  9. Mathematics Today by Institute of Mathematics and its Applications ima.org.uk

    News, opinions, and articles related to mathematics, so the reader stays updated.

  10. ILoveMaths ilovemaths.com

    Mathematics lessons and activities for Indian classes 6 to 12.

  11. Homotopy Type Theory hottheory.files.wordpress.com

    Open textbook on homotopy type theory, univalent foundations, and higher-dimensional structures.

    site link ↗
  12. Lecture Notes on Statistical Theory homepages.math.uic.edu

    Undergraduate notes by Ryan Martin on estimation, likelihood, hypothesis testing, and Bayesian statistics, with some R examples.

  13. Linear Algebra hefferon.net

    Jim Hefferon.

  14. The Elements of Statistical Learning hastie.su.domains

    Trevor Hastie, Robert Tibshirani, Jerome Friedman.

  15. Linear Methods of Applied Mathematics harrell.math.gatech.edu

    Evans M. Harrell II, James V. Herod (Georgia Tech).

  16. Think DSP greenteapress.com

    Allen B. Downey.

    site link ↗
  17. Probability and Statistics Cookbook github.com

    Matthias Vallentin (UC Berkeley).

  18. GeoGebra geogebra.org

    Interactive mathematics suite for geometry, graphing, algebra, spreadsheets, statistics, and calculus.

  19. Free Math freemathapp.org

    Free, open-source software for recording, organizing, and reviewing digital mathematics homework without solving the problems automatically.

  20. Foundations of Signal Processing fourierandwavelets.org

    Martin Vetterli, Jelena Kovacevic, Vivek K Goyal.

    site link ↗
  21. forall x: Calgary (An Introduction to Formal Logic) forallx.openlogicproject.org

    P.D. Magnus and Tim Button, remixed by Aaron Thomas-Bolduc and Richard Zach (Open Logic Project).

    site link ↗
  22. Fundamentals of Numerical Computation fncbook.com

    Online textbook by Tobin Driscoll and Richard Braun with Julia, MATLAB, and Python editions covering core numerical methods for linear systems, approximation, root finding, ODEs, and PDEs.

  23. Algebraic Methods feog.github.io

    F. Oggier.

  24. An Introduction to Formal Logic fecundity.com

    P.D. Magnus (University at Albany).

  25. Feedback Systems: An Introduction for Scientists and Engineers fbsbook.org

    Free textbook by Karl J. Åström and Richard M. Murray on modeling, feedback, stability, performance, state feedback, and control design.

  26. Active Calculus faculty.gvsu.edu

    Matt Boelkins.

  27. Research and Lecture Notes fabricebaudoin.blog

    Advanced notes by Fabrice Baudoin on stochastic analysis, differential geometry, and Dirichlet spaces.

  28. European Mathematical Society Magazine euromathsoc.org

    The Magazine features announcements about meetings and conferences, articles outlining current trends in scientific development, reports on member societies, and many other informational items.

  29. Error Correction Zoo errorcorrectionzoo.org

    Maintained reference database of classical, quantum, and hybrid error-correcting codes, with definitions, relationships, and references.

  30. Encyclopedia of Mathematics encyclopediaofmath.org

    Reference articles on mathematical concepts, theorems, biographies, and applications.

  31. Wikibooks en.wikibooks.org

    Community-authored collection of open mathematics textbooks and instructional books.

  32. An Introduction to Probability and Random Processes ellerman.org

    Gian-Carlo Rota, Kenneth Baclawski.

  33. An Introduction to Statistical Signal Processing ee.stanford.edu

    Robert M. Gray, Lee D. Davisson.

    site link ↗
  34. edX edx.org

    University and professional mathematics courses, with audit and paid options varying by course.

  35. Galois Theory eclass.uoa.gr

    Ian Stewart.

  36. Numerical Analysis for Engineers ece.uwaterloo.ca

    University of Waterloo course with lectures, assignments, projects, and MATLAB material on numerical methods for engineers.

  37. Introduction to Signal Processing ece.rutgers.edu

    Sophocles J. Orfanidis (Rutgers University).

    site link ↗
  38. Elementary Differential Equations With Boundary Value Problems digitalcommons.trinity.edu

    William F. Trench.

    site link ↗
  39. Elementary Differential Equations digitalcommons.trinity.edu

    William F. Trench.

    site link ↗
  40. Dexter Chua dec41.user.srcf.net

    Harvard. 2013 ~ 2018. Covers Analysis, Probability, Linear Algebra, Complex Analysis, Numerical Analysis, Statistics, Optimization, Algebraic Topology, Quantum Field Theory, and more.

  41. next page of items loading…