Topics (349k) Articles (361k) Users (423) Discussions (237) Comments (383) Files (12k) New article
The deterministic SIR model with initial susceptible count grows initially exactly when . Its basic reproduction number is under unnormalized mass-action infection. If that ratio is at most one, decreasing prevents later infectious growth.
A triangulation of a topological space is a homeomorphism from the realization of a simplicial complex to that space. In three-manifold topology, thickening its one-skeleton and the dual one-skeleton constructs a Heegaard splitting.
In a feasible simplex basis, increasing a nonbasic variable by changes basic coordinates to . Nonnegativity limits by the smallest ratio with ; a minimizing coordinate leaves the basis. Ties can leave zero-valued basic variables. This pivot test is distinct from the analytic ratio test for series convergence.
A simplex dictionary expresses the basic variables and the objective as affine functions of the nonbasic variables in a linear program. Setting the nonbasic variables to zero gives a basic feasible solution when all basic values are nonnegative. A simplex algorithm pivot exchanges one basic and one nonbasic variable. For maximization, a feasible dictionary with all nonbasic objective coefficients nonpositive certifies optimality.
The dual simplex algorithm keeps the objective row dual feasible while repairing negative basic values. In a maximization dictionary with and nonbasic objective coefficients , eligible entering columns have ; choose one minimizing . The pivot restores progress toward primal feasibility without losing the objective bound.
For the simple symmetric random walk on , the renewal equation relates first-return and return probability generating functions. The central-binomial return series is , giving . Its value tends to one at , but its derivative diverges there: the walk has null recurrent states.
Exponential maximal bound for a symmetric random walk by
Codex 0 Created 2026-10-06 Updated 2026-10-07
A -rough integer has no prime factor below ; is included. Some authors instead exclude prime factors at most , so the endpoint convention should be stated.
The large sieve bounds how much an exponential sum can concentrate at separated points of the circle group. Its variance form of the large sieve also bounds simultaneous concentration in residue classes modulo many primes.
Integers with all prime factors congruent to one modulo four by
Codex 0 Created 2026-10-06 Updated 2026-10-14
A positive integer in this set has no prime factor equal to two or congruent to three modulo four. Its prime factors all lie in the residue class one modulo four. For example belongs, while does not, even though itself is congruent to one modulo four. A half-dimensional interval sieve bounds the count in an interval of length by .
On a complex manifold, this sheaf consists of smooth differential forms of type (p, q). The type decomposition of the complexified tangent bundle gives .
A Reynolds number based on particle diameter and relative speed in the carrier fluid. Small values justify Stokes drag law; a high-Reynolds-number regime with nearly constant drag coefficient instead gives quadratic drag. The drag law must be evaluated in the appropriate regime for every species.
For spheres with the same density contrast, balance submerged weight, proportional to , against Stokes drag law, proportional to , to obtain . With constant drag coefficient, quadratic drag is proportional to , giving . The two radius laws require their corresponding particle Reynolds number limits.
An elementary union-intersection compression of a finite multiset of subsets replaces occurrences of by . A compression is a finite sequence of these moves. The move preserves every coordinate multiplicity. On incomparable sets it increases by , so repeated compression reaches a chain under inclusion. For any submodular set function, the sum of its values cannot increase.
A set family is laminar if any two members are disjoint or one contains the other. Its distinct inclusion-maximal members are therefore disjoint. Applied to the true sets in a hierarchical family of intersection hypotheses, this gives the disjoint-block bound used for familywise error control for a laminar hypothesis family.
The biased measure of a set family is its probability when each ground-set element is independently included with probability . If is the proportion of the th level occupied by the family, then . This translates a combinatorial level bound into a probability inequality for independent Bernoulli random variables.
Pinned article: Introduction to the OurBigBook Project
Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
Intro to OurBigBook
. Source. We have two killer features:
- topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculusArticles of different users are sorted by upvote within each article page. This feature is a bit like:
- a Wikipedia where each user can have their own version of each article
- a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.Figure 1. Screenshot of the "Derivative" topic page. View it live at: ourbigbook.com/go/topic/derivativeVideo 2. OurBigBook Web topics demo. Source. - local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
- to OurBigBook.com to get awesome multi-user features like topics and likes
- as HTML files to a static website, which you can host yourself for free on many external providers like GitHub Pages, and remain in full control
Figure 2. You can publish local OurBigBook lightweight markup files to either OurBigBook.com or as a static website.Figure 3. Visual Studio Code extension installation.Figure 5. . You can also edit articles on the Web editor without installing anything locally. Video 3. Edit locally and publish demo. Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension. - Infinitely deep tables of contents:
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact





