Change of variables/ symmetries
Using the correct variables or using a symmetry of the structure underlying the problem to convert a problem to another: this is a principle that I try to use when I think about a question. What is the...
View ArticleDifferential equations front page
I noticed that there is a link for this page, even with a brief summary, on the Equation-solving front page, but the link is dead. There are a couple of pages related to solving DEs already on the...
View ArticleProof of correctness of algorithms
I propose that there should be a page (probably several pages) on how to prove correctness for a (deterministic or randomized) algorithm.read more
View ArticleUniversal properties
In Universal Algebra, Category Theory, Abstract Algebra and Homological Algebra, "universal properties" and "commutative diagrams" are common place. Maybe an article about them (what are, how to use...
View ArticleA definitions tricki article
Those who have started writing or editing tricki articles probably have come across the same problem. Suppose you need to define a mathematical notion (an operator, a function space, a property and so...
View ArticleErlangen program
What about an article explaining the ideas behind the Erlangen program? It could link to the symmetries article discused at the forum.
View Articlecomputing integrals by differentiating under the integral sign
Seems like this basic technique should have a tricki page.
View ArticleClik here to view.
When constructing sequences, keep track of the size of the terms (elementary...
The example that sticks in my mind is proving that k-cells are compact. The proof is by contradiction: suppose that an open over has no finite subcover, and find a sequence of nested k-cells with no...
View ArticleClik here to view.
A general idea in "for all" statements
I have a proposition for the page Proving "for all" statements.There is a more general approach/view, which generalize induction and the articles in the subsection Prove the result for some cases and...
View ArticleConstructive mathematics
Do you think there would be sufficient interest for articles "how to tell if my proof is constructive" and "how to make constructive proofs". Most proofs are mostly constructive and there is a limited...
View ArticleChange of variables/ symmetries
Using the correct variables or using a symmetry of the structure underlying the problem to convert a problem to another: this is a principle that I try to use when I think about a question. What is the...
View ArticleDifferential equations front page
I noticed that there is a link for this page, even with a brief summary, on the Equation-solving front page, but the link is dead. There are a couple of pages related to solving DEs already on the...
View ArticleProof of correctness of algorithms
I propose that there should be a page (probably several pages) on how to prove correctness for a (deterministic or randomized) algorithm.read more
View ArticleUniversal properties
In Universal Algebra, Category Theory, Abstract Algebra and Homological Algebra, "universal properties" and "commutative diagrams" are common place. Maybe an article about them (what are, how to use...
View ArticleA definitions tricki article
Those who have started writing or editing tricki articles probably have come across the same problem. Suppose you need to define a mathematical notion (an operator, a function space, a property and so...
View ArticleErlangen program
What about an article explaining the ideas behind the Erlangen program? It could link to the symmetries article discused at the forum.
View Articlecomputing integrals by differentiating under the integral sign
Seems like this basic technique should have a tricki page.
View ArticleClik here to view.
When constructing sequences, keep track of the size of the terms (elementary...
The example that sticks in my mind is proving that k-cells are compact. The proof is by contradiction: suppose that an open over has no finite subcover, and find a sequence of nested k-cells with no...
View ArticleClik here to view.
A general idea in "for all" statements
I have a proposition for the page Proving "for all" statements.There is a more general approach/view, which generalize induction and the articles in the subsection Prove the result for some cases and...
View ArticleConstructive mathematics
Do you think there would be sufficient interest for articles "how to tell if my proof is constructive" and "how to make constructive proofs". Most proofs are mostly constructive and there is a limited...
View Article