Jump to main content

yr 〜
yr

Search results 11

Computational and statistical group theory : AMS special session geometric group theory : April 21-22, 2001, Las Vegas, Nevada : AMS special session computational group theory, April 28-29, 2001, Hoboken, New Jersey. : ------. (Contemporary Mathematics ; 298)

Computational and statistical group theory : AMS special session geometric group theory : April 21-22, 2001, Las Vegas, Nevada : AMS special session computational group theory, April 28-29, 2001, Hoboken, New Jersey. : ------. (Contemporary Mathematics ; 298)
Paper図書
American Mathematical Societyc2002.<M17-03-1471>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingGroup theory -- Data processing -- Congresses....... Combinatorial group theory -- Data processing -- Congresses.

Handbook of computational group theory : pbk

Handbook of computational group theory : pbk
Paper図書
Derek F. Holt, Bettina Eick, Eamonn A. O'BrienCRC Press2020, c2005
Other Libraries in Japan
  • Subject HeadingGroup theory -- Data processing Finite groups -- Data process...
  • Subject Heading (ID)Group theory -- Data processing Finite groups -- Data process...

Group theory in solid state physics and photonics : problem solving with mathematica : pbk

Group theory in solid state physics and photonics : problem solving with mathematica : pbk
Paper図書
Wolfram Hergert and R. Matthias GeilhufeWiley-VCHc2018.
Other Libraries in Japan
  • Subject Heading...-- Mathematics Group theory -- Data processing Photonic crystals Photonics -...
  • Subject Heading (ID)...-- Mathematics Group theory -- Data processing Photonic crystals Photonics -...

Computation with finitely presented groups : pbk

Computation with finitely presented groups : pbk
Paper図書
Charles C. SimsCambridge University Press2010
Other Libraries in Japan
  • Subject HeadingGroup theory -- Data processing Finite groups ...... Combinatorial group theory -- Data processing
  • Subject Heading (ID)Group theory -- Data processing Finite groups ...... Combinatorial group theory -- Data processing

Computation with finitely presented groups / Charles C. Sims. (Encyclopedia of mathematics and its applications ; v. 48)

Computation with finitely presented groups / Charles C. Sims. (Encyclopedia of mathematics and its applications ; v. 48)
Paper図書
Cambridge University Press1994.<MA67-A173>
National Diet LibraryOther Libraries in Japan
  • Subject Heading群論. 有限群. 組合せ論. データ処理 (主題区分) Group theory -- Data processing. Finite groups...... Combinatorial group theory -- Data processing.

Handbook of computational group theory

Handbook of computational group theory
Paper図書
Derek F. Holt, Bettina Eick, Eamonn A. O'BrienChapman & Hall/CRCc2005
Other Libraries in Japan
  • Subject HeadingGroup theory -- Data processing Finite groups ...... Combinatorial group theory -- Data processing
  • Subject Heading (ID)Group theory -- Data processing Finite groups ...... Combinatorial group theory -- Data processing

Computation with finitely presented groups

Computation with finitely presented groups
Paper図書
Charles C. SimsCambridge University Press1994
Other Libraries in Japan
  • Subject HeadingGroup theory -- Data processing Finite groups ...... Combinatorial group theory -- Data processing
  • Subject Heading (ID)Group theory -- Data processing Finite groups ...... Combinatorial group theory -- Data processing

Groups and computation III : proceedings of the International Conference at the Ohio State University, June 15-19, 1999

Groups and computation III : proceedings of the International Conference at the Ohio State University, June 15-19, 1999
Paper図書
editors, William M. Kantor, Ákos SeressWalter de Gruyterc2001
Other Libraries in Japan
  • Subject HeadingGroup theory -- Data processing -- Congresses Algebra -- Data...
  • Subject Heading (ID)Group theory -- Data processing -- Congresses Algebra -- Data...

Groups and computation [1] 2

Groups and computation [1] 2
Paper図書
Larry Finkelstein, William M. Kantor, editorsAmerican Mathematical Societyc1993-
Other Libraries in Japan
  • Subject HeadingGroup theory -- Data processing -- Congresses Algebra -- Data...
  • Subject Heading (ID)Group theory -- Data processing -- Congresses Algebra -- Data...

Computational group theory : proceedings of the London Mathematical Society Symposium on Computational Group Theory

Computational group theory : proceedings of the London Mathematical Society Symposium on Computational Group Theory
Paper図書
edited by Michael D. AtkinsonAcademic Press1984
Other Libraries in Japan
  • Subject Heading... Combinatorial group theory -- Data processing -- Congresses
  • Subject Heading (ID)... Combinatorial group theory -- Data processing -- Congresses

ADEPT : a heuristic program for proving theorems of group theory

ADEPT : a heuristic program for proving theorems of group theory
Paper図書
by Lewis Mark NortonClearinghouse for Federal Scientific & Technical Information1966
Other Libraries in Japan
  • Subject HeadingADEPT Automatic theorem proving Group theory -- Data processing Heuristic programming
  • Subject Heading (ID)ADEPT Automatic theorem proving Group theory -- Data processing Heuristic programming

Reached to the end of result.

RSS