Warning: this is an htmlized version!
The original is across this link,
and the conversion rules are here.
;; (find-sh "cd ~/books/ && find * | sort")
;; (find-sh "cd ~/books/__alg/ && find * | sort")

;; «.atiyahmacdonald»	(to "atiyahmacdonald")
;; «.bourbaki»		(to "bourbaki")
;; «.cohn»		(to "cohn")
;; «.davey-priestley»	(to "davey-priestley")
;; «.dold»		(to "dold")
;; «.edwards»		(to "edwards")
;; «.eisenbud»		(to "eisenbud")
;; «.eisenbudharris»	(to "eisenbudharris")
;; «.gelfandmanin»	(to "gelfandmanin")
;; «.gelfandshen»	(to "gelfandshen")
;; «.gratzer»		(to "gratzer")
;; «.griffiths-harris»	(to "griffiths-harris")
;; «.hartshorne»	(to "hartshorne")
;; «.howie»		(to "howie")
;; «.jacobson»		(to "jacobson")
;; «.kaplansky»		(to "kaplansky")
;; «.kitaoka»		(to "kitaoka")
;; «.lang»		(to "lang")
;; «.levin»		(to "levin")
;; «.liu»		(to "liu")
;; «.miranda»		(to "miranda")
;; «.morandi»		(to "morandi")
;; «.mumford»		(to "mumford")
;; «.nestruev»		(to "nestruev")
;; «.reid»		(to "reid")
;; «.ritt»		(to "ritt")
;; «.schinzel»		(to "schinzel")
;; «.stewart»		(to "stewart")
;; «.stillwell»		(to "stillwell")
;; «.strang»		(to "strang")
;; «.ueno»		(to "ueno")
;; «.vermani»		(to "vermani")
;; «.waterhouse»	(to "waterhouse")
;; «.weibel»		(to "weibel")



;; «atiyahmacdonald»  (to ".atiyahmacdonald")
;; http://gigapedia.org/items/5817/introduction-to-commutative-algebra
(code-djvu       "atiyahmacdonald" "~/books/__alg/atiyah_macdonald__introduction_to_commutative_algebra_bad.djvu")
(code-djvutotext "atiyahmacdonald" "~/books/__alg/atiyah_macdonald__introduction_to_commutative_algebra_bad.djvu")
(code-djvu       "atiyahmacdonald" "~/books/__alg/atiyah_macdonald__introduction_to_commutative_algebra.djvu")
(code-djvutotext "atiyahmacdonald" "~/books/__alg/atiyah_macdonald__introduction_to_commutative_algebra.djvu")
;; (find-atiyahmacdonaldpage        4  "Contents")
;; (find-atiyahmacdonaldpage (+ 9  23) "(snake lemma)")
;; (find-atiyahmacdonaldpage (+ 9 127) "Index")
;; (find-atiyahmacdonaldtext "")




;; «bourbaki»  (to ".bourbaki")
;; http://gigapedia.org/items/111932/elements-of-mathematics---commutative-algebra (?)
(code-xpdf      "bourbakica" "~/books/__alg/bourbaki__commutative_algebra.pdf")
(code-pdftotext "bourbakica" "~/books/__alg/bourbaki__commutative_algebra.pdf")
;; (find-bourbakicapage           4  "Contents")
;; (find-bourbakicapage (+/2 24 611) "Index of terminology")
;; (find-bourbakicatext "")



;; «cohn»  (to ".cohn")
;; P.M.Cohn: "Algebra" (3 vols)
(code-djvu       "cohn1" "~/books/__alg/cohn__algebra_vol_1.djvu")
(code-djvutotext "cohn1" "~/books/__alg/cohn__algebra_vol_1.djvu")
;; (find-cohn1page         7  "Contents")
;; (find-cohn1page (+ 10 136) "6. Rings and Fields")
;; (find-cohn1page (+ 10 139) "A non-trivial ring with no zero-divisors is said to be entire")
;; (find-cohn1page (+ 10 139) "integral domain")
;; (find-cohn1page (+ 10 140) "6.2. The field of fractions on an integral domain")
;; (find-cohn1page (+ 10 144) "any integral domain can be embedded in a field")
;; (find-cohn1page (+ 10 144) "every finite integral domain is a field")
;; (find-cohn1page (+ 10 145) "6.3. The characteristic")
;; (find-cohn1page (+ 10 148) "R[x]")
;; (find-cohn1page (+ 10 149) "If R is an entire ring, then so is the polynomial ring R[x]")
;; (find-cohn1page (+ 10 151) "polynomial" "homogeneous" "form")
;; (find-cohn1page (+ 10 154) "unique factorization domain")
;; (find-cohn1page (+ 10 155) "in a UFD any two elements have an HCF")
;; (find-cohn1page (+ 10 158) "an integral domain is a UFD if and only if")
;; (find-cohn1page (+ 10 159) "every euclidean ring is a UFD")
;; (find-cohn1page (+ 10 159) "for any field F, the polynomial ring F[x] is a UFD")
;; (find-cohn1page (+ 10 163) "dense subset of F^n")
;; (find-cohn1page (+ 10 164) "The factorization of polynomials")
;; (find-cohn1page (+ 10 255) "9.2. The Jordan-Hölder Theorem")
;; (find-cohn1page (+ 10 287) "9.8. The Sylow theorems")
;; (find-cohn1page (+  9 403) "Index")
;; (find-cohn1text "")

(code-djvu       "cohn2" "~/books/__alg/cohn__algebra_vol_2.djvu")
(code-djvutotext "cohn2" "~/books/__alg/cohn__algebra_vol_2.djvu")
;; (find-cohn2page         3  "Contents")
;; (find-cohn2page (+ 11  62) "3. Field Theory")
;; (find-cohn2page (+ 11  69) "there exists an extension E/k in which f has a zero")
;; (find-cohn2page (+ 11  71) "minimal splitting field")
;; (find-cohn2page (+ 11  72) "A field extension E/k is said to be normal")
;; (find-cohn2page (+ 11  72) "x^3-2 has a zero in Q(aa) without splitting completely")
;; (find-cohn2page (+ 11  72) "normality is a property of extensions, not of fields")
;; (find-cohn2page (+ 11  72) "A finite extension E/k is normal if and only if")
;; (find-cohn2page (+ 11  73) "the conjugates of a given" "element are permuted transitively")
;; (find-cohn2page (+ 11  74) "3.3 The algebraic closure of a field")
;; (find-cohn2page (+ 11  74) "an extension E/k is normal iff")
;; (find-cohn2page (+ 11  81) "any set of distinct homomorphisms is linearly independent")
;; (find-cohn2page (+ 11  81) "3.5 The fundamental theorem of Galois Theory")
;; (find-cohn2page (+ 11  86) "E/F is a Galois extension iff")
;; (find-cohn2page (+ 11 421) "Index")

(code-djvu "cohn3" "~/books/__alg/cohn__algebra_vol_3.djvu")
;; (find-cohn3page        3  "Contents")
;; (find-cohn3page (+ 9  84) "AB5 axiom")
;; (find-cohn3page (+ 9 168) "5. Further field theory")
;; (find-cohn3page (+ 9 197) "any two algebraic closures of k are isomorphic")
;; (find-cohn3page (+ 9 197) "Galois extension")
;; (find-cohn3page (+ 9 198) "For any algebraic extension K/k,")
;; (find-cohn3page (+ 9 199) "fundamental theorem" "for algebraic Galois extensions")
;; (find-cohn3page (+ 9 468) "Index")
;; (find-cohn2text "")

;; Richard M. Cohn: "Difference Algebra"
(code-djvu       "cohndiff" "~/books/__alg/cohn__difference_algebra.djvu")
(code-djvutotext "cohndiff" "~/books/__alg/cohn__difference_algebra.djvu")
;; (find-cohndiffpage        11  "Contents")
;; (find-cohndiffpage (+ 12 349) "Index")
;; (find-cohndifftext "")



;; «davey-priestley» (to ".davey-priestley")
;; (find-books "__alg/__alg.el" "davey-priestley")
;; (find-LATEX "catsem.bib" "bib-DaveyPriestley")
(code-djvu       "daveypriestley" "~/books/__alg/davey_priestley__introduction_to_lattices_and_order.djvu")
(code-djvutotext "daveypriestley" "~/books/__alg/davey_priestley__introduction_to_lattices_and_order.djvu" 10)
(code-pdf      "daveypriestley" "~/books/__alg/davey_priestley__introduction_to_lattices_and_order.pdf")
(code-pdf-text "daveypriestley" "~/books/__alg/davey_priestley__introduction_to_lattices_and_order.pdf" 10)
;; (find-daveypriestleypage)
;; (find-daveypriestleypage         3  "Contents")
;; (find-daveypriestleypage (+ 10  53) "Join-irreducible elements")
;; (find-daveypriestleypage (+ 10  85) "4. Modular, Distributive and Boolean Lattices")
;; (find-daveypriestleypage (+ 10  87)   "N_5 (the pentagon)")
;; (find-daveypriestleypage (+ 10 116)  "Finite distributive lattices are down-set lattices")
;; (find-daveypriestleypage (+ 10 118) "5.12 Birkhoff's representation theorem.")
;; (find-daveypriestleytext (+ 10 118) "5.12 Birkhoff's representation theorem.")

;; (find-daveypriestleypage (+   10 130) "6. Congruences")
;; (find-daveypriestleypage (+   10 137)  "The lattice of congruences of a lattice")
;; (find-daveypriestleypage (+   10 138)  "6.16. Principal Congruences")
;; (find-daveypriestleypage (+   10 145) "7. Complete Lattices and Galois Connections")
;; (find-daveypriestleypage (+   10 145) "7.1. Closure operators")
;; (find-daveypriestleypage (+   10 160) "7.27. From a Galois connection to a closure operator")
;; (find-daveypriestleypage (+   10 286) "Index")
;; (find-daveypriestleypage (+   10 289) "Index")

;; (find-daveypriestleypage (+ -138 289) "Index" "antichain")
;; (find-daveypriestleypage (+    5   3)         "antichain" "1.3 Chains and antichains")
;; (find-daveypriestleypage (+   -4  21)         "antichain")
;; (find-daveypriestleypage (+   -7  27)         "antichain")
;; (find-daveypriestleypage (+   -9  32)         "antichain" "1.30" "The width of P")
;; (find-daveypriestleypage (+  -54 122)         "antichain")
;; (find-daveypriestleypage (+  -68 149)         "antichain")
;; (find-daveypriestleypage (+  -78 169)         "antichain" "Dedekind-Macneille")
;; (find-daveypriestleypage (+   -3  20)         "1.28 The ordered set O(P) of down-sets")
;; (find-daveypriestleytext "")

;; (find-daveypriestleypage (+ -36  85) "4. Modular, Distributive and Boolean Lattices")
;; (find-daveypriestleypage (+ -38  89) "4.10. The M3-N5 Theorem")




;; «dold»  (to ".dold")
;; http://gigapedia.com/items/14533/lectures-on-algebraic-topology--classics-in-mathematics-
(code-djvu       "doldlat" "~/books/__alg/dold__lectures_on_algebraic_topology.djvu")
(code-djvutotext "doldlat" "~/books/__alg/dold__lectures_on_algebraic_topology.djvu")
;; (find-doldlatpage        4  "Contents")
;; (find-doldlatpage (+ 6 371) "Index")
;; (find-doldlattext "")



;; «edwards»  (to ".edwards")
;; http://gigapedia.com/items/63676/galois-theory--graduate-texts-in-mathematics-
;; http://gigapedia.com/items/76181/essays-in-constructive-mathematics
(code-djvu       "edwards" "~/books/__alg/edwards__galois_theory.djvu")
(code-djvutotext "edwards" "~/books/__alg/edwards__galois_theory.djvu")
;; (find-edwardspage         7  "Contents")
;; (find-edwardspage (+ 10 101) "Appendix 1" "Memoir" "by Evariste Galois")
;; (find-edwardspage (+ 10 151) "Index")
;; (find-edwardstext "")



;; «eisenbud»  (to ".eisenbud")
;; http://gigapedia.com/items/29350/commutative-algebra--with-a-view-toward-algebraic-geometry--graduate-texts-in-mathematics-
(code-djvu       "eisenbud" "~/books/__alg/eisenbud__commutative_algebra_with_a_view_toward_algebraic_geometry.djvu")
(code-djvutotext "eisenbud" "~/books/__alg/eisenbud__commutative_algebra_with_a_view_toward_algebraic_geometry.djvu")
;; (find-eisenbudpage         3  "Contents")
;; (find-eisenbudpage (+ 10   1) "Index")
;; (find-eisenbudpage (+ 10  33) "nilpotent")
;; (find-eisenbudpage (+ 10  36) "nilpotent")
;; (find-eisenbudpage (+ 10  71) "nilpotent")
;; (find-eisenbudpage (+ -7 767) "Index")
;; (find-eisenbudtext "")


;; «eisenbudharris»  (to ".eisenbudharris")
;; http://gigapedia.org/items/17786/the-geometry-of-schemes--graduate-texts-in-mathematics-
(code-xpdf      "eisenbudharris" "~/books/__alg/eisenbud_harris__the_geometry_of_schemes.pdf")
(code-pdftotext "eisenbudharris" "~/books/__alg/eisenbud_harris__the_geometry_of_schemes.pdf")
;; (find-eisenbudharrispage        7  "Contents")
;; (find-eisenbudharrispage (+ 9  10) "V (S)")
;; (find-eisenbudharristext           "V (S)")
;; (find-eisenbudharrispage (+ 5 251) "VI. Schemes and Functors")
;; (find-eisenbudharrispage (+ 3 285) "Index")
;; (find-eisenbudharristext)


;; «gelfandmanin»  (to ".gelfandmanin")
;; http://gigapedia.org/items/23595/methods-of-homological-algebra--1st-edition--1996-01
(code-djvu       "gelfandmanin" "~/books/__alg/gelfand_manin__methods_of_homological_algebra.djvu")
(code-djvutotext "gelfandmanin" "~/books/__alg/gelfand_manin__methods_of_homological_algebra.djvu")
;; (find-gelfandmaninpage        12  "Contents")
;; (find-gelfandmaninpage (+ 14 369) "Index")
;; (find-gelfandmanintext "")



;; «gelfandshen»  (to ".gelfandshen")
;; http://gigapedia.com/items/413320/algebra
(code-xpdf      "gelfandshen" "~/books/__alg/gelfand_shen__algebra.pdf")
(code-pdftotext "gelfandshen" "~/books/__alg/gelfand_shen__algebra.pdf")
;; (find-gelfandshenpage      3  "Contents")
;; (find-gelfandshenpage (+ 5 1) "1. Introduction")
;; (find-gelfandshentext "")


;; «gratzer»  (to ".gratzer")
;; (find-LATEX "catsem.bib" "bib-Gratzer")
;; http://server.math.umanitoba.ca/homepages/gratzer/
;; http://server.math.umanitoba.ca/homepages/gratzer/lectures/melbourne/melbournelectures.html
;; http://www.amazon.com/Congruences-Finite-Lattice-Proof-Picture/dp/0817632247/
;; (find-angg "LUA/distributivity.lua")
(code-xpdf      "gratzer" "~/books/__alg/gratzer__lattice_theory_foundation.pdf")
(code-pdftotext "gratzer" "~/books/__alg/gratzer__lattice_theory_foundation.pdf" 31)
;; (find-gratzerpage         1  "Contents")
;; (find-gratzerpage         8  "Short Contents")
;; (find-gratzerpage        10  "Contents")
;; (find-gratzerpage        24  "Glossary of Notation")
;; (find-gratzerpage (+ 31   5) "1.4 Ordering and covers")
;; (find-gratzertext (+ 31   5)     "Ordering and covers")
;; (find-gratzerpage (+ 31   7) "1.6 Order constructions")
;; (find-gratzertext (+ 31   7)     "Order constructions")
;; (find-gratzerpage (+ 31   7)     "down-set")
;; (find-gratzertext (+ 31   7)     "down-set")
;; (find-gratzerpage (+ 31  11) "1.9 Algebras")
;; (find-gratzerpage (+ 31  21) "2.1 Lattice Diagrams")
;; (find-gratzerpage (+ 31  23)   "The most general lattice generated by")
;; (find-gratzerpage (+ 31  28) "3.1 The Concept of Isomorphism")
;; (find-gratzerpage (+ 31  30) "3.2 Homomorphisms")
;; (find-gratzerpage (+ 31  31) "3.4 Ideals")
;; (find-gratzerpage (+ 31  35) "3.5 Intervals")
;; (find-gratzerpage (+ 31  47) "3.12 Closure Systems")
;; (find-gratzerpage (+ 31  97) "6. Special Elements")
;; (find-gratzertext (+ 31  97)    "Special Elements")
;; (find-gratzerpage (+ 31 102)    "join-irreducible")
;; (find-gratzertext (+ 31 102)    "join-irreducible")
;; (find-gratzerpage (+ 31 109) "II. Distributive Lattices")
;; (find-gratzerpage (+ 31 166) "5 Topological Representation")
;; (find-gratzertext (+ 31 166)   "Topological Representation")

;; (find-gratzerpage (+ 31 166)   "Heyting Algebras")
;; (find-gratzerpage (+ 31 183)   "Heyting Algebras")
;; (find-gratzerpage (+ 31 533) "Afterword")
;; (find-gratzerpage (+ 31 589) "Index")
;; (find-gratzerpage (+ 31 598) "Index" "Heyting algebra")
;; (find-gratzerpage (+ 31 606) "Index" "Planar")
;; (find-gratzertext "")



;; «griffiths-harris»  (to ".griffiths-harris")
;; http://gigapedia.com/items/50790/principles-of-algebraic-geometry--pure-and-applied-mathematics-
(code-djvu       "grifharris" "~/books/__alg/griffiths_harris__principles_of_algebraic_geometry.djvu")
(code-djvutotext "grifharris" "~/books/__alg/griffiths_harris__principles_of_algebraic_geometry.djvu")
;; (find-grifharrispage         7  "Contents")
;; (find-grifharrispage (+ 14 106) "Kahler Manifolds")
;; (find-grifharrispage (+ 14 805) "Index")
;; (find-grifharristext "")




;; «hartshorne»  (to ".hartshorne")
;; http://gigapedia.org/items/29473/algebraic-geometry--graduate-texts-in-mathematics-
(code-djvu       "hartshorne" "~/books/__alg/hartshorne__algebraic_geometry.djvu")
(code-djvutotext "hartshorne" "~/books/__alg/hartshorne__algebraic_geometry.djvu")
;; (find-hartshornepage        11  "Contents")
;; (find-hartshornepage (+ 18 478) "Index")
;; (find-hartshornetext "")

;; «howie»  (to ".howie")
;; http://gigapedia.com/items/51219/fields-and-galois-theory--springer-undergraduate-mathematics-series-
(code-xpdf      "howie" "~/books/__alg/howie__fields_and_galois_theory.pdf")
(code-pdftotext "howie" "~/books/__alg/howie__fields_and_galois_theory.pdf")
;; (find-howiepage      1  "Contents")
;; (find-howiepage (+ 1 1) "Index")
;; (find-howietext "")


;; «jacobson»  (to ".jacobson")
(code-djvu       "jacobson1" "~/books/__alg/jacobson__basic_algebra_1.djvu")
(code-djvutotext "jacobson1" "~/books/__alg/jacobson__basic_algebra_1.djvu")
;; (find-jacobson1page         4  "Contents")
;; (find-jacobson1page (+ 16   1) "Index")
;; (find-jacobson1page (+ 16 493) "Index")
;; (find-jacobson1text "")


;; «kaplansky»  (to ".kaplansky")
;; http://gigapedia.com/items/101666/commutative-rings--lectures-in-mathematics--revised-edition
;; http://gigapedia.com/items/167189/fields-and-rings--chicago-lectures-in-mathematics-
(code-xpdf      "kaplanskycrings" "~/books/__alg/kaplansky__commutative_rings_revised_ed.pdf")
(code-pdftotext "kaplanskycrings" "~/books/__alg/kaplansky__commutative_rings_revised_ed.pdf")
;; (find-kaplanskycringstext "")
;; (find-kaplanskycringspage (+   4   1) "Prime Ideals and Integral Extensions")
;; (find-kaplanskycringspage (+ -82 174) "Index of Theorems")
;; (find-kaplanskycringspage (+ -86 181) "Index of Topics")

(code-djvu "kaplanskyfrings" "~/books/__alg/kaplansky__fields_and_rings.djvu")
;; (find-kaplanskyfringspage         3  "Contents")
;; (find-kaplanskyfringspage (+  7  48) "9. Simple extensions")
;; (find-kaplanskyfringspage (+  7  55) "11. Separability")
;; (find-kaplanskyfringspage (+  6 201) "Index")



;; «kitaoka»  (to ".kitaoka")
;; http://gigapedia.com/items/428733/arithmetic-of-quadratic-forms--cambridge-tracts-in-mathematics-
(code-xpdf      "kitaoka" "~/books/__alg/kitaoka__arithmetic_of_quadratic_forms.pdf")
(code-pdftotext "kitaoka" "~/books/__alg/kitaoka__arithmetic_of_quadratic_forms.pdf")
;; (find-kitaokapage         5  "Contents")
;; (find-kitaokapage (+ 10 269) "Index")
;; (find-kitaokatext "")

;; «lang»  (to ".lang")
;; http://gigapedia.org/items/31384/algebra
;; http://gigapedia.org/items/51528/undergraduate-algebra--undergraduate-texts-in-mathematics-
(code-djvu       "langalgebra"  "~/books/__alg/lang__algebra_3rd_ed.djvu")
(code-djvutotext "langalgebra"  "~/books/__alg/lang__algebra_3rd_ed.djvu")
(code-djvu       "langualgebra" "~/books/__alg/lang__undergraduate_algebra.djvu")
(code-djvutotext "langualgebra" "~/books/__alg/lang__undergraduate_algebra.djvu")
;; (find-langalgebrapage        10  "Contents")
;; (find-langalgebrapage (+ 15  20)   "Butterfly lemma")
;; (find-langalgebrapage (+ 15  86)   "principal ring")
;; (find-langalgebrapage (+ 15  88)   "Dedeking ring")
;; (find-langalgebrapage (+ 15 107)   "4. Localization")
;; (find-langalgebrapage (+ 15 110)   "when A is an entire ring then A[X_1,...,X_n] is also entire")
;; (find-langalgebrapage (+ 15 110)   "local ring")
;; (find-langalgebrapage (+ 15 111)   "5. Principal and factorial rings")
;; (find-langalgebrapage (+ 15 114)   "Examples of non-factorial rings")
;; (find-langalgebrapage (+ 15 116)   "Dedekind ring")
;; (find-langalgebrapage (+ 15 157)   "9. The Snake Lemma")
;; (find-langalgebrapage (+ 15 173) "Euclidean Algorithm")
;; (find-langalgebrapage (+ 15 180)   "2. Polynomials over a factorial ring")
;; (find-langalgebrapage (+ 15 182)   "Let A be a factorial ring. Then" "A[X]" "is factorial.")
;; (find-langalgebrapage (+ 15 186)   "Noetherian ring")
;; (find-langalgebrapage (+ 15 223) "V. Algebraic Extensions")
;; (find-langalgebrapage (+ 15 224) "Irr(\aa, F, X)")
;; (find-langalgebrapage (+ 15 226) "we denote by EF the" "compositum")
;; (find-langalgebrapage (+ 15 233) "p(X) = Irr(\aa, F, X)")
;; (find-langalgebrapage (+ 15 416) "nilpotent")
;; (find-langalgebrapage (+ 15 569) "nilpotent")
;; (find-langalgebrapage (+ 15 761) "Homological algebra")
;; (find-langalgebrapage (+ 15 903) "Index")
;; (find-langalgebratext "")
;; (find-langualgebrapage         9  "Contents")
;; (find-langualgebrapage (+ 11 113) "Euclidean Algorithm")
;; (find-langualgebrapage (+ 11 120) "IV, 3. Unique factorization")
;; (find-langualgebrapage (+ 11 165) "IV, 9. The Mason-Stothers Theorem")
;; (find-langualgebrapage (+ 11 167) "Proof: write it down yourself. It'll keep you in shape.")
;; (find-langualgebrapage (+ 11 258) "VII. Field Theory")
;; (find-langualgebrapage (+ 11 259) "Proposition 1.2." "the ideals of F(\aa)")
;; (find-langualgebrapage (+ 11 259) "Theorem 1.3.")
;; (find-langualgebrapage (+ 11 261) "An extension E of F can be algebraic without being finite.")
;; (find-langualgebrapage (+ 11 262) "tower of fields")
;; (find-langualgebrapage (+ 11 263) "not" "[E_1E_2:E_2] = [E_1:F]")
;; (find-langualgebrapage (+ 11 264) "Proposition 1.5." "[EF':F']<=[E:F]")
;; (find-langualgebrapage (+ 11 264) "three basic constructions of field extensions")
;; (find-langualgebrapage (+ 11 267) "VI, 2. Embeddings")
;; (find-langualgebrapage (+ 11 275) "VII, 3. Splitting Fields")
;; (find-langualgebrapage (+  9 381) "Index")
;; (find-langualgebratext "")



;; «levin»  (to ".levin")
(code-xpdf      "levindiff" "~/books/__alg/levin__difference_algebra.pdf")
(code-pdftotext "levindiff" "~/books/__alg/levin__difference_algebra.pdf")
;; (find-levindiffpage         9  "Contents")
;; (find-levindiffpage (+ 11 507) "Index")
;; (find-levindifftext "")

;; «liu»  (to ".liu")
;; http://gigapedia.org/items/65435/algebraic-geometry-and-arithmetic-curves
(code-djvu       "liu" "~/books/__alg/liu__algebraic_geometry_and_arithmetic_curves.djvu")
(code-djvutotext "liu" "~/books/__alg/liu__algebraic_geometry_and_arithmetic_curves.djvu")
;; (find-liupage        11  "Contents")
;; (find-liupage (+ 16 562) "Index")
;; (find-liutext "")


;; «miranda»  (to ".miranda")
(code-djvu       "miranda" "~/books/__alg/miranda__algebraic_curves_and_riemann_surfaces.djvu")
(code-djvutotext "miranda" "~/books/__alg/miranda__algebraic_curves_and_riemann_surfaces.djvu")
;; (find-mirandapage         3  "Contents")
;; (find-mirandapage (+ 15 377) "Index")
;; (find-mirandatext "")


;; «morandi»  (to ".morandi")
;; http://gigapedia.com/items/252914/field-and-galois-theory--graduate-texts-in-mathematics---v--167-
(code-djvu       "morandi" "~/books/__alg/morandi__field_and_galois_theory.djvu")
(code-djvutotext "morandi" "~/books/__alg/morandi__field_and_galois_theory.djvu")
;; (find-morandipage        13  "Contents")
;; (find-morandipage (+ 18   1) "I. Galois Theory")
;; (find-morandipage (+ 18  55) "Primitive Element Theorem")
;; (find-morandipage (+ 17 277) "Index")
;; (find-moranditext "")



;; «mumford»  (to ".mumford")
;; http://gigapedia.org/items/41997/the-red-book-of-varieties-and-schemes--includes-the-michigan-lectures--1974--on-curves-and-their-jacobians--lecture-notes-in-mathematics-
(code-djvu       "mumford" "~/books/__alg/mumford__the_red_book_of_varieties_and_schemes.djvu")
(code-djvutotext "mumford" "~/books/__alg/mumford__the_red_book_of_varieties_and_schemes.djvu")
;; (find-mumfordpage         9  "Contents")
;; (find-mumfordpage (+ 9   1) "I. Varieties")
;; (find-mumfordpage (+ 9   5) "Theorem 1 (Hilbert's Nullstelensatz).")
;; (find-mumfordpage (+ 9  11) "3. Definition of a morphism")
;; (find-mumfordpage (+ 9  14) "The assignment ... extends to a contravariant functor")
;; (find-mumfordpage (+ 9  65) "II. Preschemes")
;; (find-mumfordpage (+ 9 137) "III. Local Properties of Schemes")
;; (find-mumfordpage (+ 9 187) "7. Non-singularity and the UFD property")
;; (find-mumfordpage (+ 9 207) "9. Zariski's Main Theorem")
;; (find-mumfordpage (+ 9 228) "Lecture I")
;; (find-mumfordpage (+ 9 243) "Lecture II")
;; (find-mumfordpage (+ 9 257) "Lecture III")
;; (find-mumfordpage (+ 9 271) "Lecture IV")
;; (find-mumfordtext (+ 1 1) "Index")



;; «nestruev»  (to ".nestruev")
;; http://gigapedia.com/items/47035/smooth-manifolds-and-observables--graduate-texts-in-mathematics-
(code-xpdf      "~/books/__alg/nestruev" "nestruev__smooth_manifolds_and_observables.pdf")
(code-pdftotext "~/books/__alg/nestruev" "nestruev__smooth_manifolds_and_observables.pdf")
;; (find-~/books/__alg/nestruevpage         9  "Contents")
;; (find-~/books/__alg/nestruevpage (+ 2 219) "Index")
;; (find-~/books/__alg/nestruevtext "")


;; «reid»  (to ".reid")
;; http://www.warwick.ac.uk/~masda/
;; http://gigapedia.com/items/42101/undergraduate-commutative-algebra--london-mathematical-society-student-texts-
;; http://gigapedia.com/items/21964/undergraduate-algebraic-geometry--london-mathematical-society-student-texts-
(code-djvu       "reiduca" "~/books/__alg/reid__undergraduate_commutative_algebra.djvu")
(code-djvutotext "reiduca" "~/books/__alg/reid__undergraduate_commutative_algebra.djvu")
(code-xpdf       "reiduag" "~/books/__alg/reid__undegraduate_algebraic_geometry.pdf")
(code-pdftotext  "reiduag" "~/books/__alg/reid__undegraduate_algebraic_geometry.pdf")
;; (find-reiducapage         4  "Contents")
;; (find-reiducapage (+ 11   1)   "build one of the bridges")
;; (find-reiducapage (+ 11   2)   "nilrad A")
;; (find-reiducapage (+ 11  27) "Plenty of prime ideals")
;; (find-reiducapage (+ 11  29) "Radical")
;; (find-reiducapage (+ 11 150) "Index")
;; (find-reiducatext "")
;; (find-reiduagpage        8  "Contents")
;; (find-reiduagpage (+ 9   1) "0. Woffle")
;; (find-reiduagpage (+ 9   9) "1. Plane conics")
;; (find-reiduagpage (+ 9  27) "2. Cubics and the group law")
;; (find-reiduagpage (+ 9  48) "3. Affine varieties and the Nullstellensatz")
;; (find-reiduagpage (+ 9  66) "4. Functions on varieties")
;; (find-reiduagpage (+ 9  79) "5. Projective varieties and birational equivalence")
;; (find-reiduagpage (+ 9  94) "6. Tangent space and nonsingularity, dimension")
;; (find-reiduagpage (+ 9 102) "7. The 27 lines on a cubic surface")
;; (find-reiduagpage (+ 9 114) "8. Final comments")
;; (find-reiduagpage (+ 9 121)   "8.13. What's the point?")
;; (find-reiduagpage (+ 9 125)   "Nilpotents")
;; (find-reiduagpage (+ 9 129) "Index")
;; (find-reiduagtext "")



;; «ritt»  (to ".ritt")
(code-xpdf "rittdalg" "~/books/__alg/ritt__differential_algebra.pdf")
;; (find-rittdalgpage        5  "Contents")
;; (find-rittdalgpage (+ 5 183) "Index")
(code-djvu "rittdeqs" "~/books/__alg/ritt__differential_equations_from_the_algebraic_standpoint.djvu")
;; (find-rittdeqspage         9  "Contents")
;; (find-rittdeqspage (+ 10 172) "Index")
(code-xpdf      "rittdeqs" "~/books/__alg/ritt__differential_equations_from_the_algebraic_standpoint.pdf")
(code-pdftotext "rittdeqs" "~/books/__alg/ritt__differential_equations_from_the_algebraic_standpoint.pdf")
;; (find-rittdeqspage        13  "Contents")
;; (find-rittdeqspage (+ 14 172) "Index")
;; (find-rittdeqstext "")



;; «schinzel»  (to ".schinzel")
(code-djvu       "schinzel" "~/books/__alg/schinzel__polynomials_with_special_regard_to_reducibility.djvu")
(code-djvutotext "schinzel" "~/books/__alg/schinzel__polynomials_with_special_regard_to_reducibility.djvu")
;; (find-schinzelpage         5  "Contents")
;; (find-schinzelpage (+ 10 555) "Index of definitions and conjectures")
;; (find-schinzelpage (+ 10 556) "Index of theorems")
;; (find-schinzelpage (+ 10 557) "Index of terms")
;; (find-schinzeltext "")




;; «stewart»  (to ".stewart")
;; http://gigapedia.com/items/63672/galois-theory--third-edition--chapman--amp--hall-crc-mathematics-
;; http://flash.lakeheadu.ca/~avantuyl/courses/oldcourses/Stewart_Corrections.pdf
;; (find-stewartgaloiscorrpage      1  "Contents")
;; (find-stewartgaloiscorrpage (+ 1 1) "Index")
;; (find-stewartgaloiscorrtext "")
(code-djvu       "stewartgalois" "~/books/__alg/stewart__galois_theory.djvu")
(code-djvutotext "stewartgalois" "~/books/__alg/stewart__galois_theory.djvu")
;; (find-zsh  "djvutxt ~/books/__alg/stewart__galois_theory.djvu")
(code-xpdf      "stewartgaloiscorr" "$S/http/flash.lakeheadu.ca/~avantuyl/courses/oldcourses/Stewart_Corrections.pdf")
(code-pdftotext "stewartgaloiscorr" "$S/http/flash.lakeheadu.ca/~avantuyl/courses/oldcourses/Stewart_Corrections.pdf")
;; (find-stewartgaloispage         4  "Contents")
;; (find-stewartgaloispage (+ 35  57) "Simple field extensions")
;; (find-stewartgaloistext "")
;; http://www.math.cornell.edu/~kbrown/4340/primitive.pdf
;; http://en.wikipedia.org/wiki/Primitive_element_theorem
;; (find-stewartgaloispage (+ 35   1) "1 Classical Algebra")
;; (find-stewartgaloispage (+ 35  17) "2 The Fundamental Theorem of Algebra")
;; (find-stewartgaloispage (+ 35  31) "3 Factorization of Polynomials")
;; (find-stewartgaloispage (+ 35  40) "3.4 Eisenstein's criterion")
;; (find-stewartgaloispage (+ 35  49) "4 Field Extensions")
;; (find-stewartgaloispage (+ 35  57) "5 Simple Extensions")
;; (find-stewartgaloispage (+ 35  67) "6 The Degree of an Extension")
;; (find-stewartgaloispage (+ 35  75) "7 Ruler-and-Compass Constructions")
;; (find-stewartgaloispage (+ 35  85) "8 The Idea Behind Galois Theory")
;; (find-stewartgaloispage (+ 35  90) "8.5 Polynomials and extensions")
;; (find-stewartgaloispage (+ 35  97)   "insoluble by Ruffini radicals")
;; (find-stewartgaloispage (+ 35 107) "9 Normality and Separability")
;; (find-stewartgaloispage (+ 35 110) "9.2 Normality")
;; (find-stewartgaloispage (+ 35 117) "10 Counting Principles")
;; (find-stewartgaloispage (+ 35 125) "11 Field Automorphisms")
;; (find-stewartgaloispage (+ 35 133) "12 The Galois Correspondence")
;; (find-stewartgaloispage (+ 35 137) "13 A Worked Example")
;; (find-stewartgaloispage (+ 35 143) "14 Solubility and Simplicity")
;; (find-stewartgaloispage (+ 35 149)   "the class equation for G")
;; (find-stewartgaloispage (+ 35 151)   "show that the first and second isomorphism theorems")
;; (find-stewartgaloispage (+ 35 153) "15 Solution by Radicals")
;; (find-stewartgaloispage (+ 35 163) "16 Abstract Rings and Fields")
;; (find-stewartgaloispage (+ 35 177) "17 Abstract Field Extensions")
;; (find-stewartgaloispage (+ 35 191) "18 The General Polynomial")
;; (find-stewartgaloispage (+ 35 209) "19 Regular Polygons")
;; (find-stewartgaloispage (+ 35 227) "20 Finite Fields")
;; (find-stewartgaloispage (+ 35 233) "21 Circle Division")
;; (find-stewartgaloispage (+ 35 251) "22 Calculating Galois Groups")
;; (find-stewartgaloispage (+ 35 261) "23 Algebraically Closed Fields")
;; (find-stewartgaloispage (+ 35 263) "23.2 Sylow's Theorem")
;; (find-stewartgaloispage (+ 35 264)   "Theorem 23.8 (Sylow)")
;; (find-stewartgaloispage (+ 35 269) "24 Transcendental Numbers")
;; (find-stewartgaloispage (+ 35 283) "Index")

;; «stillwell»  (to ".stillwell")
;; http://gigapedia.com/items/424290/elements-of-algebra--geometry--numbers--equations
;; (find-booksfile "__alg/__alg.el")
(code-djvu       "stillwellalg" "~/books/__alg/stillwell__elements_of_algebra.djvu")
(code-djvutotext "stillwellalg" "~/books/__alg/stillwell__elements_of_algebra.djvu")
;; (find-stillwellalgpage        1  "Contents")
;; (find-stillwellalgpage (+ 0 170) "Index")
;; (find-stillwellalgtext "")



;; «strang»  (to ".strang")
(code-djvu       "strang" "~/books/__alg/strang__linear_algebra_and_its_applications.djvu")
(code-djvutotext "strang" "~/books/__alg/strang__linear_algebra_and_its_applications.djvu")
;; (find-strangpage         5  "Contents")
;; (find-strangpage (+ 11 499) "Index")
;; (find-strangtext "")

;; «ueno»  (to ".ueno")
;; http://gigapedia.org/items/29684/algebraic-geometry-1--from-algebraic-varieties-to-schemes--translations-of-mathematical-monographs-
;; http://gigapedia.org/items/60958/algebraic-geometry-2--sheaves-and-cohomology--translations-of-mathematical-monographs-
;; http://gigapedia.org/items/60961/algebraic-geometry-3--further-study-of-schemes--translations-of-mathematical-monographs-
(code-djvu       "ueno1" "~/books/__alg/ueno__algebraic_geometry_1.djvu")
(code-djvutotext "ueno1" "~/books/__alg/ueno__algebraic_geometry_1.djvu")
;; (find-ueno1page         4  "Contents")
;; (find-ueno1page (+ 10 153) "Index")
;; (find-ueno1text "")

;; «vermani»  (to ".vermani")
(code-djvu       "vermani" "~/books/__alg/vermani__an_elementary_approach_to_homological_algebra.djvu")
(code-djvutotext "vermani" "~/books/__alg/vermani__an_elementary_approach_to_homological_algebra.djvu")
;; (find-vermanipage      1  "Contents")
;; (find-vermanipage (+ 1 1) "Index")
;; (find-vermanitext "")


;; «waterhouse»  (to ".waterhouse")
;; http://gigapedia.com/items/63509/introduction-to-affine-group-schemes--graduate-texts-in-mathematics-
(code-djvu       "waterhouse" "~/books/__alg/waterhouse__introduction_to_affine_group_schemes.djvu")
(code-djvutotext "waterhouse" "~/books/__alg/waterhouse__introduction_to_affine_group_schemes.djvu")
;; (find-waterhousepage         5  "Contents")
;; (find-waterhousepage (+ 10 162) "Index")
;; (find-waterhousetext "")


;; «weibel»  (to ".weibel")
(code-djvu       "weibel" "~/books/__alg/weibel__an_introduction_to_homological_algebra.djvu")
(code-djvutotext "weibel" "~/books/__alg/weibel__an_introduction_to_homological_algebra.djvu")
;; (find-weibelpage         5  "Contents")
;; (find-weibelpage (+ 12 379) "10.3 Localization and the Calculus of Fractions")
;; (find-weibelpage (+ 12 435) "Index")
;; (find-weibeltext "")



;; Liszl Gaal: Classical Galois Theory with Examples
;; Joseph Rotman: Galois Theory
;; Edwards: Galois Theory
;; http://gigapedia.com/items/253950/why-beauty-is-truth--the-history-of-symmetry


(code-djvu       "aluffi" "~/books/__alg/aluffi__algebra_chapter_0.djvu")
(code-djvutotext "aluffi" "~/books/__alg/aluffi__algebra_chapter_0.djvu")
;; (find-aluffipage         6  "Contents")
;; (find-aluffipage (+ 21   1) "Index")
;; (find-aluffipage (+ 21 699) "Index")
;; (find-aluffitext "")
(code-xpdf      "grillet" "~/books/__alg/grillet__abstract_algebra.pdf")
(code-pdftotext "grillet" "~/books/__alg/grillet__abstract_algebra.pdf")
;; (find-grilletpage      1  "Contents")
;; (find-grilletpage (+ 1 1) "Index")
;; (find-grillettext "")




;;
;; Local Variables:
;; mode:   emacs-lisp
;; coding: raw-text-unix
;; End: