ProofWiki:Community Portal
From ProofWiki
Welcome to the community portal. This is the place to find out what is happening on ProofWiki. Learn what tasks need to be done, and what is currently happening on ProofWiki.
|
Contents: |
You might be looking for...
- Help with an aspect of ProofWiki: see the help page for documentation, or ask a question for assistance.
Community bulletin boardPost your ProofWiki-related news and announcements here! | |
|
If you noticed that the site was down for a bit earlier, that was me! I upgraded to a new version of the software, but forgot to redirect traffic to a readonly version. All should be good now though, if you notice any problems let me know. --Joe (talk) 14:15, 15 June 2009 (UTC)
Join in! We've made some inroads into propositional logic and abstract algebra, but loads to be done. --prime.mover 20:37, 16 October 2008 (UTC)
Hey, I have a suggestion to make suggesting suggestions easier to suggest. Can we have a page put up where people can put up ideas to improve the wiki? I have some little ideas and don't know where to put them --GFauxPas 14:30, 12 December 2011 (CST)
| |
Help outProofWiki is a great resource for mathematical proofs but can not maintain itself. If you want to help ProofWiki expand and grow check out the lists of things below. | ||
Things to do
Fix-up projects
|
Recently Added Proofs
| |
Is there anybody out there?
A selection of links to some other sites which are more or less concerned with Mathematics:
On-line Text Books (School Level)
Magazines
- http://plus.maths.org/
- http://isquaredmagazine.co.uk/#
- http://www.maa.org/pubs/mathmag.html
- http://polymathprogrammer.com/singularity/
Forums and Online Communities
- http://www.mathhelpforum.com/math-help/
- http://www.thestudentroom.co.uk/
- http://physicsforums.com/ (Mathematics section)
- http://mathoverflow.net/
- http://math.stackexchange.com
- http://www.mathisfunforum.com
- Natural Math
- Math Future
- Sangakoo
- Maths Centre for Professional Teachers
Books
Wikis and Encyclopedias
- Mathwikis wiki: Serving the Mathwikis community
- Metamath: A tiny language that can express theorems in abstract mathematics
- Scholarpedia
- ProvenMath
- Subject Wikis
- http://www.tricki.org/
- http://en.wikipedia.org/wiki/Wikipedia:WikiProject_Mathematics
- Math Wiki (on Wikia)
- MathPages
- http://mathworld.wolfram.com/
- http://planetmath.org/
- http://www.mathwords.com/
- nLab
- Art of Problem Solving
- Esolang (yes I know it's not mathematics)
Blogs
- http://www.mathblogging.org/ (Aggregates from various math blogs)
- http://blog.tanyakhovanova.com/
- http://terrytao.wordpress.com/
- http://wildaboutmath.com/
- http://randmathfun.blogspot.com
- Math Accent
- Bee Bop Parade
- A Quantum Immortal: Stuff Ron Gross finds interesting
Software/Computing
- http://www.latex-project.org/
- http://www.w3.org/Math/Software/
- http://pari.math.u-bordeaux.fr/
- http://www.gnu.org/software/octave/
- http://www.sagemath.org/
- http://www.texmacs.org/
- http://www.lyx.org/
- http://www.mersenne.org/
- http://www.seventeenorbust.com/
- http://www.geogebra.org/cms/en/info
- http://demonstrations.wolfram.com/index.html
- http://www.r-project.org/
Comics
- http://xkcd.com/
- http://brownsharpie.courtneygibbons.org/
- http://abstrusegoose.com/
- http://spikedmath.com/
Formalized Mathematical Proofs
- Mizar: "an attempt to reconstruct mathematical vernacular in a computer-oriented environment."
- Isabelle
- HOL light
- HOL4
- Coq
- HOL Zero
- ProofPower
Computational Knowledge Engines
Lecture Notes
Algebra
Abstract Algebra
- R.B. Ash: Abstract Algebra
- P. Garret: Introduction to Abstract Algebra
- P. Garret: Abstract Algebra
- D. Surowski: A Workbook in Higher Algebra
Linear Algebra
- H. Connell: Elements of Abstract and Linear Algebra
- J. Hefferon: Linear Algebra
- A. Baker: Basic Linear Algebra
- W.W.L. Chen: Linear Algebra
Group Theory
- J.S. Milne: Group Theory
- P. Cvitanović: Group Theory: Birdtracks, Lie's and Exceptional Groups
- P. Garret: Buildings, BN-Pairs, Hecke Algebras, Classical Groups
- R.B. Howlett: Miscellaneous Facts About Coxeter Groups
- Introduction to Group Theory
- A. Baker: Groups and Symmetry
Representation Theory
- A. Baker: Representations of Finite Groups
- C. Teleman: Representation Theory
- P. Etingof, O. Golberg, S. Hensel, T. Liu, A. Schwendner, D. Vaintrob, and E. Yudovina: Introduction to representation theory
Universal Algebra
- G.M. Bergman: An Introduction to Universal Algebra
- S. Burris and H.P. Sankappanavar: A Course in Universal Algebra
- M. Valeritoe: Lectures on Universal Algebra
Lie Groups
- B.C. Hall: An Elementary Introduction to Groups and Representations
- P. Garret: Lie Algebras and Lie Groups
- I. Avramidi: Notes on Lie Groups
- R.L. Bryant: An Introduction to Lie Groups and Symplectic Geometry
- A. Cap: Lie Groups
Galois Theory
- J.S. Milne: Fields and Galois Theory
- D. Wilkins: Galois Theory
- A. Baker: An Introduction to Galois Theory
- J.P. Serre: Topics in Galois Theory
- M. Reid: Galois Theory
- S.R. Ghorpade: Notes on Galois Theory
Commutative Algebra
- R.B. Ash: Commutative Algebra
- P. Garret: Homological and Commutative Algebra
- D. Murfet: Matsumura: Commutative Algebra
- S.R. Ghorpade: Lectures on Commutative Algebra
Category Theory
- M. Fokkinga: A Gentle Introduction to Category Theory
- M. Bar and C. Wells: Toposes, Triples and Theories
- J. van Oosten: Basic Category Theory
- D. Turi: Category Theory Lecture Notes
- D.E. Rydeheard and R.M. Burstall: Computational Category Theory
Number Theory
- W.W.L. Chen: Elementary Number Theory
- W.W.L. Chen: Distribution of Prime Numbers
- J.S. Milne: Algebraic Number Theory
- R.B. Ash: Algebraic Number Theory
- J.S. Milne: Modular Functions and Modular Forms
- P. Garret: Modular Forms and L-Functions
- I.V. Dolgachev: Modular Forms
- J.S. Milne: Etale Cohomology
- J.S. Milne: Class Field Theory
- J.S. Milne: Complex Multiplication
- J.S. Milne: Abelian Varieties
- P. Garret: Number Theory
- P. Garret: Cryptography and Number Theory
- P. Garret: Coding Theory
- A. Baker: An Introduction to $p$-adic Numbers and $p$-adic Analysis
- A. Baker: Algebra and Number Theory
- I. Connell: An Elliptic Curve Handbook
Geometry
Algebraic Geometry
- J.S. Milne: Algebraic Geometry
- J.S. Milne: Algebraic Groups
- I.V. Dolgachev: Introduction to Algebraic Geometry
- I.V. Dolgachev: The McKay Correspondence
- I.V. Dolgachev: Topics in Classical Algebraic Geometry
- C. Weibel: An Introduction to Algebraic K-Theory
Differential Geometry
- B. Csikós: Differential Geometry
- G. Lugo: Differential Geometry
- M. Kazarian: Differential Geometry
- T. Shifrin: Differential Geometry: A First Course in Curves and Surfaces
- D. Zaitsev: Differential Geometry: Lecture Notes
- J.-P. Demailly: Complex Analytic and Differential Geometry
Analysis
Complex Analysis
- R.B. Ash: Complex Variables
- P. Garret: Complex Analysis
- G. Cain: Complex Analysis
- H.V. McIntosh: Complex Analysis
- W.W.L. Chen: Introduction to Complex Analysis
Real Analysis
- R.B. Ash: Real Variables with Basic Metric Space Topology
- S. Semmes: Elements of Linear and Real Analysis
- J. Orr: Analysis WebNotes
- I. Craw: Advanced Calculus and Analysis
- W.W.L. Chen: Fundamentals of Analysis
Functional Analysis
- W.W.L. Chen: Linear Functional Analysis
- W.W.L. Chen: Introduction to Lebesgue Integration
- T. Ward: Functional Analysis
- P. Garret: Functional Analysis
Differential Equations
Probability and Statistics
- R.B. Ash: Lectures on Statistics
- R.B. Ash: Basic Probability Theory
- C. Grinstead and J. Snell: Introduction to Probability
- N. Vaillant: Probability Tutorials
Complexity and Algorithms
- C. Yap: Fundamental Problems in Algorithmic Algebra
- C. Yap: Introduction to Complexity Classes
- C. Yap: Robust Geometric Computation
- C. Yap: Algorithmics
- W.W.L. Chen: Discrete Mathematics
Combinatorics
- M. Petkovsek, H. Wilf and D. Zeilberger: The Book A=B
- H. Wilf: Generatingfunctionology
- D. Feldman: Ramsey's Theorem and Ramsey Theory
- Dynamic Surveys in Combinatorics
Basic Algebra
- K. Kubota: College Algebra
- D. Joyce: A Short Course in Trigonometry
- T. Ward: Basic Mathematics
- W.W.L. Chen: Miscellaneous Topics in First Year Mathematics
- MathIsFun: College Algebra
Calculus
- G. Cain and J. Herod: Multivariable Calculus
- Harvey Mudd College Calculus Tutorials
- D. Sloughter: Difference Equations to Differential Equations
- P. Dawkins: Paul's Online Math Notes
- W.W.L. Chen and X.T. Duong: Elementary Mathematics
- W.W.L. Chen: First Year Calculus
- W.W.L. Chen: Multivariable and Vector Analysis
Graph Theory
Dynamical Systems
- G. Elert: The Chaos Hypertextbook
- P. Cvitanović, R. Artuso, R. Mainieri, G. Tanner, G. Vattay, N. Whelan and A. Wirzba: Chaos: Classical and Quantum
- J. Milnor: Dynamics in One Complex Variable
- P. Arnoux, V. Berthé, S. Ferenczi, S. Ito, C. Mauduit, M. Mori, J. Peyrière, A. Siegel, J.-I. Tamura and Z.-Y. Wen: Substitutions in Dynamics, Arithmetic and Combinatorics
- T. Ward: Entropy of Compact Group Automorphisms
- T. Ward: Valuations and Dynamics
Topology
Algebraic Topology
Logic
MIT Online Materials
Other random stuff
Video Media
Uncategorized (Wait...)
- http://www.cut-the-knot.org/
- http://nrich.maths.org/public/
- http://www.abstractmath.org/MM/MMIntro.htm
- http://radicaleye.com/lifepage/
- MSC2010
- http://primes.utm.edu/
- Math Reference Project (Web-based notes on university-level mathematics.)
- The On-line Encyclopedia of Integer Sequences
The above need to be arranged into catgegories of some sort. Linus44: and brief descriptions probably.
You can help Proof Wiki by completing it.
To discuss it in more detail, feel free to use the talk page.
When this has been done, {{WIP}} should be removed from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
