Morley's theorem revisited: Origami construction and automated proof (Englisch)
- Neue Suche nach: Ida, T.
- Neue Suche nach: Kasem, A.
- Neue Suche nach: Ghourabi, F.
- Neue Suche nach: Takahashi, H.
- Neue Suche nach: Ida, T.
- Neue Suche nach: Kasem, A.
- Neue Suche nach: Ghourabi, F.
- Neue Suche nach: Takahashi, H.
- Neue Suche nach: Arnold, E.
- Neue Suche nach: Kotsireas, I.
- Neue Suche nach: Rosenkranz, M.
In:
Groebner Bases and Applications
5
;
571-583
;
2011
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Morley's theorem revisited: Origami construction and automated proof
-
Beteiligte:Ida, T. ( Autor:in ) / Kasem, A. ( Autor:in ) / Ghourabi, F. ( Autor:in ) / Takahashi, H. ( Autor:in ) / Arnold, E. / Kotsireas, I. / Rosenkranz, M.
-
Erschienen in:Groebner Bases and Applications , 5 ; 571-583JOURNAL OF SYMBOLIC COMPUTATION ; 46, 5 ; 571-583
-
Verlag:
- Neue Suche nach: Elsevier Science B.V., Amsterdam
-
Erscheinungsdatum:01.01.2011
-
Format / Umfang:13 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 510.285
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
DDC: 510.285 -
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis – Band 46, Ausgabe 5
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 495
-
Bruno Buchberger and the world of Groebner basesArnold, E. / Kotsireas, I. / Rosenkranz, M. et al. | 2011
- 495
-
Bruno Buchberger and the world of Gröbner basesArnold, Elizabeth / Kotsireas, Ilias / Rosenkranz, Markus et al. | 2010
- 498
-
Computing inhomogeneous Groebner basesBigatti, A. M. / Caboara, M. / Robbiano, L. et al. | 2011
- 498
-
Computing inhomogeneous Gröbner basesBigatti, A.M. / Caboara, M. / Robbiano, L. et al. | 2010
- 511
-
Some algebraic methods for solving multiobjective polynomial integer programsBlanco, Víctor / Puerto, Justo et al. | 2010
- 534
-
Lattice Polly Cracker cryptosystemsCaboara, Massimo / Caruso, Fabrizio / Traverso, Carlo et al. | 2010
- 550
-
A modified coefficient ideal for use with the strict transformFrühbis-Krüger, Anne et al. | 2009
- 561
-
The Groebner basis of the ideal of vanishing polynomialsGreuel, G.-M. / Seelisch, F. / Wienand, O. et al. | 2011
- 561
-
The Gröbner basis of the ideal of vanishing polynomialsGreuel, Gert-Martin / Seelisch, Frank / Wienand, Oliver et al. | 2010
- 571
-
Morley’s theorem revisited: Origami construction and automated proofIda, Tetsuo / Kasem, Asem / Ghourabi, Fadoua / Takahashi, Hidekazu et al. | 2010
- 584
-
Model checking in the modal mu-calculus and generic solutionsKalorkoti, K. et al. | 2011
- 584
-
Model checking in the modal -calculus and generic solutionsKalorkoti, K. et al. | 2010
- 595
-
Computing diagonal form and Jacobson normal form of a matrix using Groebner basesLevandovskyy, V. / Schindelar, K. et al. | 2011
- 595
-
Computing diagonal form and Jacobson normal form of a matrix using Gröbner basesLevandovskyy, Viktor / Schindelar, Kristina et al. | 2010
- 609
-
Non-Cohen–Macaulay unique factorization domains in small dimensionsMarcelo, Agustin / Schenzel, Peter et al. | 2010
- 622
-
Boolean Gröbner basesSato, Yosuke / Inoue, Shutaro / Suzuki, Akira / Nabeshima, Katsusuke / Sakai, Ko et al. | 2010
- 622
-
Boolean Groebner basesSato, Y. / Inoue, S. / Suzuki, A. / Nabeshima, K. / Sakai, K. et al. | 2011
- IFC
-
Editorial Board| 2011