sci.math (thread)

Re: Is the polynomial ring interpretation of abstract algebra A[X] flawed? (was quotient ring nomenclature), Musatov, 2009/06/30
- Re: Is the polynomial ring interpretation of abstract algebra A[X] flawed? (was quotient ring nomenclature), Musatov, 2009/06/30
- Re: Is the polynomial ring interpretation of abstract algebra A[X] flawed? (was quotient ring nomenclature), Musatov, 2009/06/30
Re: - - Integrating factors and non-exact differential equations, Musatov, 2009/06/30
Re: fourier transform of 1/|x|, Musatov, 2009/06/30
The Anatomy of a New Logic for 3SAT, Musatov, 2009/06/30
3SAT Solution May Lead to New Cancer Therapy, Musatov, 2009/06/30
paypal payment)( www.niketrade08.cn ) paypal wholesale D&G shoes, www.sneaker-shop08.com, 2009/06/30
34_NP_Completeness: Proof, MeAmI.org, 2009/06/26
Re: Finite ring isomorphic to Z/nZ, Musatov, 2009/06/26
Re: .9 repeating- Google (and this thread; temporarily) (h)i(j)acked by Musatov Search, Musatov, 2009/06/25
Re: Determining if a graph is a Cayley graph, Musatov, 2009/06/25
Re: Conjecture Prime, Musatov, 2009/06/25
- Re: Conjecture Prime, ab, 2009/06/25
  - Re: Conjecture Prime, Musatov, 2009/06/25
    - Re: Conjecture Prime, ab, 2009/06/25
    - Re: Conjecture Prime, Dik T. Winter, 2009/06/25
      
      Re: Conjecture Prime, pubkeybreaker, 2009/06/25
      
      Re: Conjecture Prime, Musatov, 2009/06/26
      
      Re: Conjecture Prime, Musatov, 2009/06/26
Re: Expected distance between two points lying on the surface of a sphere, Musatov, 2009/06/25
- Re: Expected distance between two points lying on the surface of a sphere, Ray Vickson, 2009/06/25
Re: OT, MeAmI.org, 2009/06/25
Re: Dense subspaces of R^2, MeAmI.org, 2009/06/25
Available Commands: == [P=NP] ==, Musatov, 2009/06/24
Re: n = p + q^2 with n even and p, q being primes, MeAmI.org, 2009/06/23
Re: math forums, MeAmI.org, 2009/06/23
- Re: math forums, ab, 2009/06/24
  - Re: math forums, MeAmI.org, 2009/06/24
    - Re: math forums, ab, 2009/06/24
Clay Millennium Prize Winner to Donate $1MM Prize to Cure Childhood Cancer, MeAmI.org, 2009/06/23
- Re: Clay Millennium Prize Winner to Donate $1MM Prize to Cure Childhood Cancer, Dave P, 2009/06/23
- Re: Clay Millennium Prize Winner to Donate $1MM Prize to Cure Childhood Cancer, herbzet, 2009/06/23
  - Re: Clay Millennium Prize Winner to Donate $1MM Prize to Cure Childhood Cancer, MeAmI.org, 2009/06/23
Formal Proof Language Example - Human-Readable?, Andrew Tomazos, 2009/06/21
- Re: Formal Proof Language Example - Human-Readable?, Jan Burse, 2009/06/21
  - Re: Formal Proof Language Example - Human-Readable?, Andrew Tomazos, 2009/06/21
    - Re: Formal Proof Language Example - Human-Readable?, Jan Burse, 2009/06/21
      
      Re: Formal Proof Language Example - Human-Readable?, Andrew Tomazos, 2009/06/21
      
      Re: Formal Proof Language Example - Human-Readable?, Jan Burse, 2009/06/21
      
      Re: Formal Proof Language Example - Human-Readable?, Jan Burse, 2009/06/21
      
      Re: Formal Proof Language Example - Human-Readable?, Jan Burse, 2009/06/21
      
      Re: Formal Proof Language Example - Human-Readable?, Jan Burse, 2009/06/21
      
      Re: Formal Proof Language Example - Human-Readable?, Andrew Tomazos, 2009/06/21
      
      Re: Formal Proof Language Example - Human-Readable?, Jan Burse, 2009/06/21
      
      Re: Formal Proof Language Example - Human-Readable?, Andrew Tomazos, 2009/06/21
      
      Re: Formal Proof Language Example - Human-Readable?, Jan Burse, 2009/06/21
      
      Re: Formal Proof Language Example - Human-Readable?, Jan Burse, 2009/06/21
      
      Re: Formal Proof Language Example - Human-Readable?, Andrew Tomazos, 2009/06/24
      
      Re: Formal Proof Language Example - Human-Readable?, MeAmI.org, 2009/06/25
      
      Re: Formal Proof Language Example - Human-Readable?, Jan Burse, 2009/06/25
      
      Re: Formal Proof Language Example - Human-Readable?, Andrew Tomazos, 2009/06/26
      
      Re: Formal Proof Language Example - Human-Readable?, Jan Burse, 2009/06/27
      
      Re: Formal Proof Language Example - Human-Readable?, Marshall, 2009/06/21
- Re: Formal Proof Language Example - Human-Readable?, Charlie-Boo, 2009/06/21
- Re: Formal Proof Language Example - Human-Readable?, William Elliot, 2009/06/21
  - Re: Formal Proof Language Example - Human-Readable?, MeAmI.org, 2009/06/22
- Re: Formal Proof Language Example - Human-Readable?, slawekk, 2009/06/23
  - Re: Formal Proof Language Example - Human-Readable?, MeAmI.org, 2009/06/24
  - Re: Formal Proof Language Example - Human-Readable?, David Bernier, 2009/06/24
    - Re: Formal Proof Language Example - Human-Readable?, slawekk, 2009/06/25
  - Re: Formal Proof Language Example - Human-Readable?, Andrew Tomazos, 2009/06/24
- Message not available
  - Message not available
    - Re: Formal Proof Language Example - Human-Readable?, Andrew Tomazos, 2009/06/24
MathCAD customers base size?, Vladimir Bondarenko, 2009/06/20
- Re: MathCAD customers base size?, scoop, 2009/06/20
  - Re: MathCAD customers base size?, Vladimir Bondarenko, 2009/06/20
Re: the alternate proof that AP-adics have no fractions #607 new book 2nd edition: New True Mathematics, Musatov, 2009/06/20
Re: "Crank" Education, MeAmI.org, 2009/06/20
- Re: "Crank" Education, Musatov, 2009/06/20
- Re: "Crank" Education, Musatov, 2009/06/20
Missing Link Prime, Musatov, 2009/06/20
- Re: Missing Link Prime, unixops, 2009/06/21
  - Re: Missing Link Prime, Musatov, 2009/06/21
    - Re: Missing Link Prime, Musatov, 2009/06/21
      
      Re: Missing Link Prime, Sargon, 2009/06/22
      
      Re: Missing Link Prime, MeAmI.org, 2009/06/23
Re: proof outline that AP-adics for NonEuclidean geometry cannot have fractions #606 new book 2nd edition: New True Mathematics, Musatov, 2009/06/20
Re: Understanding the quotient ring nomenclature, Musatov, 2009/06/20
Re: Adams schemes, MeAmI.org, 2009/06/19
- Re: Adams schemes, Magdalena Moczydlowska, 2009/06/19
Computer-verified Mathematical Proof as Standard, Andrew Tomazos, 2009/06/19
- Re: Computer-verified Mathematical Proof as Standard, Musatov, 2009/06/19
- Re: Computer-verified Mathematical Proof as Standard, H. J. Sander Bruggink, 2009/06/19
  - Re: Computer-verified Mathematical Proof as Standard, Andrew Tomazos, 2009/06/19
    - Re: Computer-verified Mathematical Proof as Standard, H. J. Sander Bruggink, 2009/06/19
      
      Re: Computer-verified Mathematical Proof as Standard, Andrew Tomazos, 2009/06/19
      
      Re: Computer-verified Mathematical Proof as Standard, H. J. Sander Bruggink, 2009/06/19
      
      Re: Computer-verified Mathematical Proof as Standard, tchow, 2009/06/19
      
      Re: Computer-verified Mathematical Proof as Standard, Jan Burse, 2009/06/19
      
      Re: Computer-verified Mathematical Proof as Standard, Jan Burse, 2009/06/19
      
      Re: Computer-verified Mathematical Proof as Standard, tchow, 2009/06/19
      
      Re: Computer-verified Mathematical Proof as Standard, Andrew Tomazos, 2009/06/19
      
      Re: Computer-verified Mathematical Proof as Standard, tchow, 2009/06/19
      
      Re: Computer-verified Mathematical Proof as Standard, Jan Burse, 2009/06/19
      
      Re: Computer-verified Mathematical Proof as Standard, Andrew Tomazos, 2009/06/20
      
      Re: Computer-verified Mathematical Proof as Standard, Jan Burse, 2009/06/20
      
      Re: Computer-verified Mathematical Proof as Standard, Andrew Tomazos, 2009/06/20
      
      Re: Computer-verified Mathematical Proof as Standard, Musatov, 2009/06/20
      
      Re: Computer-verified Mathematical Proof as Standard, Jan Burse, 2009/06/19
      
      Message not available
      
      Message not available
      
      Re: Computer-verified Mathematical Proof as Standard, tchow, 2009/06/19
      
      Re: Computer-verified Mathematical Proof as Standard, LudovicoVan, 2009/06/20
      
      Re: Computer-verified Mathematical Proof as Standard, Andrew Tomazos, 2009/06/20
      
      Re: Computer-verified Mathematical Proof as Standard, tchow, 2009/06/20
      
      Re: Computer-verified Mathematical Proof as Standard, Marshall, 2009/06/19
      
      Re: Computer-verified Mathematical Proof as Standard, Andrew Tomazos, 2009/06/20
      
      Re: Computer-verified Mathematical Proof as Standard, tchow, 2009/06/20
      
      Message not available
      
      Re: Computer-verified Mathematical Proof as Standard, Andrew Tomazos, 2009/06/21
      
      Message not available
      Re: Computer-verified Mathematical Proof as Standard, Andrew Tomazos, 2009/06/21
      
      Re: Computer-verified Mathematical Proof as Standard, MeAmI.org, 2009/06/23
      
      Re: Computer-verified Mathematical Proof as Standard, Joshua Cranmer, 2009/06/20
  - Re: Computer-verified Mathematical Proof as Standard, Jan Burse, 2009/06/19
    - Re: Computer-verified Mathematical Proof as Standard, Jan Burse, 2009/06/19
      
      Re: Computer-verified Mathematical Proof as Standard, Jan Burse, 2009/06/19
      
      Re: Computer-verified Mathematical Proof as Standard, Jan Burse, 2009/06/19
    - Re: Computer-verified Mathematical Proof as Standard, Jan Burse, 2009/06/19
- Re: Computer-verified Mathematical Proof as Standard, William Elliot, 2009/06/19
  - Re: Computer-verified Mathematical Proof as Standard, Andrew Tomazos, 2009/06/19
    - Re: Computer-verified Mathematical Proof as Standard, Herman Rubin, 2009/06/19
- Message not available
  - Re: Computer-verified Mathematical Proof as Standard, Andrew Tomazos, 2009/06/19
- Message not available
  - Re: Computer-verified Mathematical Proof as Standard, Andrew Tomazos, 2009/06/19
- Message not available
  - Message not available
    - Message not available
      
      Re: Computer-verified Mathematical Proof as Standard, Andrew Tomazos, 2009/06/19
- Re: Computer-verified Mathematical Proof as Standard, G. A. Edgar, 2009/06/19
  - Re: Computer-verified Mathematical Proof as Standard, Frederick Williams, 2009/06/19
- Re: Computer-verified Mathematical Proof as Standard, tchow, 2009/06/19
  - Re: Computer-verified Mathematical Proof as Standard, Patricia Shanahan, 2009/06/19
    - Re: Computer-verified Mathematical Proof as Standard, Andrew Tomazos, 2009/06/19
    - Re: Computer-verified Mathematical Proof as Standard, tchow, 2009/06/19
      
      Re: Computer-verified Mathematical Proof as Standard, Jan Burse, 2009/06/19
      
      Re: Computer-verified Mathematical Proof as Standard, tchow, 2009/06/19
      
      Re: Computer-verified Mathematical Proof as Standard, Jan Burse, 2009/06/19
      
      Re: Computer-verified Mathematical Proof as Standard, Jan Burse, 2009/06/19
      
      Re: Computer-verified Mathematical Proof as Standard, tchow, 2009/06/19
      
      Re: Computer-verified Mathematical Proof as Standard, Jan Burse, 2009/06/19
      
      Re: Computer-verified Mathematical Proof as Standard, Jan Burse, 2009/06/19
      
      Re: Computer-verified Mathematical Proof as Standard, tchow, 2009/06/19
      
      Re: Computer-verified Mathematical Proof as Standard, Jan Burse, 2009/06/20
      
      Re: Computer-verified Mathematical Proof as Standard, tchow, 2009/06/20
    - Re: Computer-verified Mathematical Proof as Standard, Michel Hack, 2009/06/19
      
      Re: Computer-verified Mathematical Proof as Standard, slawekk, 2009/06/24
      
      Re: Computer-verified Mathematical Proof as Standard, tchow, 2009/06/24
      
      Re: Computer-verified Mathematical Proof as Standard, Herman Rubin, 2009/06/24
      
      Re: Computer-verified Mathematical Proof as Standard, tchow, 2009/06/24
      
      Re: Computer-verified Mathematical Proof as Standard, Musatov, 2009/06/24
      
      Re: Computer-verified Mathematical Proof as Standard, Aatu Koskensilta, 2009/06/25
      
      Re: Computer-verified Mathematical Proof as Standard, Robert E. Beaudoin, 2009/06/25
      
      Re: Computer-verified Mathematical Proof as Standard, tchow, 2009/06/26
      
      Re: Computer-verified Mathematical Proof as Standard, Aatu Koskensilta, 2009/06/27
      
      Re: Computer-verified Mathematical Proof as Standard, MeAmI.org, 2009/06/27
      
      Re: Computer-verified Mathematical Proof as Standard, Aatu Koskensilta, 2009/06/25
- Re: Computer-verified Mathematical Proof as Standard, LudovicoVan, 2009/06/19
  - Re: Computer-verified Mathematical Proof as Standard, MoeBlee, 2009/06/19
- Re: Computer-verified Mathematical Proof as Standard, Herman Rubin, 2009/06/19
  - Re: Computer-verified Mathematical Proof as Standard, tchow, 2009/06/19
    - Re: Computer-verified Mathematical Proof as Standard, pubkeybreaker, 2009/06/19
      
      Re: Computer-verified Mathematical Proof as Standard, tchow, 2009/06/19
  - Re: Computer-verified Mathematical Proof as Standard, Andrew Tomazos, 2009/06/19
- Re: Computer-verified Mathematical Proof as Standard, Victor Porton, 2009/06/19
- Re: Computer-verified Mathematical Proof as Standard, Tim Smith, 2009/06/20
  - Re: Computer-verified Mathematical Proof as Standard, MeAmI.org, 2009/06/21
  - Re: Computer-verified Mathematical Proof as Standard, Andrew Tomazos, 2009/06/21
    - Re: Computer-verified Mathematical Proof as Standard, Musatov, 2009/06/21
    - Re: Computer-verified Mathematical Proof as Standard, tchow, 2009/06/21
      
      Re: Computer-verified Mathematical Proof as Standard, Herman Rubin, 2009/06/21
    - Re: Computer-verified Mathematical Proof as Standard, slawekk, 2009/06/24
  - Re: Computer-verified Mathematical Proof as Standard, Jan Burse, 2009/06/21
  - Re: Computer-verified Mathematical Proof as Standard, Joshua Cranmer, 2009/06/21
- Re: Computer-verified Mathematical Proof as Standard, Chip Eastham, 2009/06/24
  - Re: Computer-verified Mathematical Proof as Standard, Frederick Williams, 2009/06/24
    - Re: Computer-verified Mathematical Proof as Standard, Chip Eastham, 2009/06/24
  - Re: Computer-verified Mathematical Proof as Standard, slawekk, 2009/06/24
    - Re: Computer-verified Mathematical Proof as Standard, Chip Eastham, 2009/06/24
Re: INTEGRAL USED IN POLYNOMIAL TIME, Musatov, 2009/06/19
Proof: G/f(G) is finite cyclic. Derived from "Question on embedding group quotients". by Steve, Musatov <....>, Musatov, 2009/06/19
- Proof: G/f(G) is finite cyclic. Derived from "Question on embedding group quotients". by Steve, Musatov <....>, Musatov, 2009/06/19
Re: kritischen Punkte, MeAmI.org, 2009/06/19
Re: Pi value of 3.14 redefined as3+ .14 correction for Null zero error!, MeAmI.org, 2009/06/18
Re: Is There Anomaly In Value of pi ?, MeAmI.org, 2009/06/18
- Re: Is There Anomaly In Value of pi ?, Chris McDonald, 2009/06/18
Re: How to prove the following combinatorial identity?, Musatov, 2009/06/18
Search for "cure cancer", Musatov, 2009/06/18
Re: - - Divisibility (involving gcd's), Musatov, 2009/06/16
How can P equal N and Not P?, MeAmI.org, 2009/06/16
- Re: How can P equal N and Not P?, MeAmI.org, 2009/06/16
- Re: How can P equal N and Not P?, fishfry, 2009/06/17
  - Re: How can P equal N and Not P?, MeAmI.org, 2009/06/17
  - Re: How can P equal N and Not P?, MeAmI.org, 2009/06/17
    - Re: How can P equal N and Not P?, fishfry, 2009/06/17
      
      Re: How can P equal N and Not P?, Joshua Cranmer, 2009/06/17
      
      Re: How can P equal N and Not P?, MeAmI.org, 2009/06/17
      
      Re: How can P equal N and Not P?, David Bernier, 2009/06/17
Re: Can FOL formalize all of math?, Musatov, 2009/06/16
Re: fourier transform, Musatov, 2009/06/16
Re: What does this formula mean?, Musatov, 2009/06/16
Re: The year of Cyber Tester, Vladimir Bondarenko, 2009/06/15
- Re: The year of Cyber Tester, MeAmI.org, 2009/06/16
- Re: The year of Cyber Tester, Dave, 2009/06/22
Re: Wolfram Alpha claims to be a primary source., Jon Harrop, 2009/06/14
Re: P=NP (proof), Musatov, 2009/06/14
- Re: P=NP (proof), Musatov, 2009/06/14
  - Re: P=NP (proof), Musatov, 2009/06/14
    - Re: P=NP (proof), Musatov, 2009/06/14
Re: sum of roots of unity, Musatov, 2009/06/13
Yet another funny bug in Maple 13, Vladimir Bondarenko, 2009/06/13
- Re: Yet another funny bug in Maple 13, Vladimir Bondarenko, 2009/06/13
  - Re: Yet another funny bug in Maple 13, Mate, 2009/06/13
    - Re: Yet another funny bug in Maple 13, Vladimir Bondarenko, 2009/06/13
      
      Re: Yet another funny bug in Maple 13, Musatov, 2009/06/13
- Re: Yet another funny bug in Maple 13, Axel Vogt, 2009/06/13
Re: GOD BLESS SCI. MATH/ and most fine contributors, Musatov, 2009/06/12
Re: Three bar equal sign?, NP=P, 2009/06/11
- Re: Three bar equal sign?, Charlie-Boo, 2009/06/12
  - Re: Three bar equal sign?, Musatov, 2009/06/12
    - Re: Three bar equal sign?, Musatov, 2009/06/12
    - Re: Three bar equal sign?, Ed Prochak, 2009/06/14
      
      Message not available
      
      Re: Three bar equal sign?, Virgil, 2009/06/15
    - Re: Three bar equal sign?, Charlie-Boo, 2009/06/20
  - Re: Three bar equal sign?, herbzet, 2009/06/13
    - Re: Three bar equal sign?, Charlie-Boo, 2009/06/20
  - Re: Three bar equal sign?, Nick Keighley, 2009/06/16
    - Re: Three bar equal sign?, MeAmI.org, 2009/06/18
    - Re: Three bar equal sign?, Charlie-Boo, 2009/06/20
      
      Re: Three bar equal sign?, Chris Menzel, 2009/06/21
    - Re: Three bar equal sign?, Charlie-Boo, 2009/06/20
      
      Re: Three bar equal sign?, Nick Keighley, 2009/06/21
      
      Re: Three bar equal sign?, Charlie-Boo, 2009/06/21
      
      Re: Three bar equal sign?, Nick Keighley, 2009/06/22
      
      Re: Three bar equal sign?, MeAmI.org, 2009/06/22
- Re: Three bar equal sign?, Charlie-Boo, 2009/06/12
  - Re: Three bar equal sign?, Musatov, 2009/06/12
    - Re: Three bar equal sign?, Musatov, 2009/06/12
    - Re: Three bar equal sign?, Charlie-Boo, 2009/06/20
- Re: Three bar equal sign?, Charlie-Boo, 2009/06/21
[OT] Any advise on free news reader(s)?, Nimo, 2009/06/09
- Re: [OT] Any advise on free news reader(s)?, Ken Pledger, 2009/06/09
Re: What's this prism fact called?, Martin Musatov, 2009/06/08
- Re: What's this prism fact called?, VMCM1905, 2009/06/08
  - Re: What's this prism fact called?, Martin Musatov, 2009/06/08
    - Re: What's this prism fact called?, VMCM1905, 2009/06/08
      
      Re: What's this prism fact called?, Martin Musatov, 2009/06/08
The Cherian Chronicles: Scott Aaronson, "NP=P if P=NP", Martin Musatov, 2009/06/07
Cherian Proof Posted on Scott Aaronson's Blog for His Public Response, Martin Musatov, 2009/06/05
- Re: Cherian Proof Posted on Scott Aaronson's Blog for His Public Response, Patricia Shanahan, 2009/06/06
  - Re: Cherian Proof Posted on Scott Aaronson's Blog for His Public Response, Martin Musatov, 2009/06/06
  - Re: Cherian Proof Posted on Scott Aaronson's Blog for His Public Response, Martin Musatov, 2009/06/07
- Re: Cherian Proof Posted on Scott Aaronson's Blog for His Public Response, Joshua Cranmer, 2009/06/06
  - Re: Cherian Proof Posted on Scott Aaronson's Blog for His Public Response, Martin Musatov, 2009/06/06
  - Re: Cherian Proof Posted on Scott Aaronson's Blog for His Public Response, MeAmI.org, 2009/06/21
Planar graph generation, Andrea Taverna, 2009/06/05
- Re: Planar graph generation, Casey Hawthorne, 2009/06/05
  - Re: Planar graph generation, Andrea Taverna, 2009/06/06
Hints to exercise problems of Graph Theory with Applications by Bondy and Murty (1976), Suhkjin Hur, 2009/06/03
- Re: Hints to exercise problems of Graph Theory with Applications by Bondy and Murty (1976), Martin Musatov, 2009/06/03
Re: Is there more bugs in Wolfram Alpha than in Mathematica 7 itself?, P.Joman, 2009/06/01
Re: Seeking Factual Feedback, Thanks!, nick_keighley_nospam, 2009/06/01
- Re: Seeking Factual Feedback, Thanks!, Musatov, 2009/06/08
- Re: Seeking Factual Feedback, Thanks!, nick_keighley_nospam, 2009/06/01
  - Re: Seeking Factual Feedback, Thanks!, Musatov, 2009/06/08
    - Re: Seeking Factual Feedback, Thanks!, Richard Heathfield, 2009/06/08
      
      Re: Seeking Factual Feedback, Thanks!, Musatov, 2009/06/08
- Re: Seeking Factual Feedback, Thanks!, Patricia Shanahan, 2009/06/01
  - Re: Seeking Factual Feedback, Thanks!, Musatov, 2009/06/08
  - Re: Seeking Factual Feedback, Thanks!, Martin Musatov, 2009/06/08
- Re: Seeking Factual Feedback, Thanks!, Musatov, 2009/06/08
  - Re: Seeking Factual Feedback, Thanks!, Richard Heathfield, 2009/06/08
    - Re: Seeking Factual Feedback, Thanks!, Martin Musatov, 2009/06/08
      
      Re: Seeking Factual Feedback, Thanks!, Musatov, 2009/06/13
Re: Prodigy Proves NP=P solves (TSP), Joshua Cranmer, 2009/05/31
- Re: Prodigy Proves NP=P solves (TSP), Martin Musatov, 2009/06/01