×

Found 49 Documents (Results 1–49)

Newest Citations Relevance
Itoh, Toshiaki

Algebraic construction of exact difference equations from symmetry of equations. (English) Zbl 1182.65126

Simos, Theodore E. (ed.) et al., Numerical analysis and applied mathematics. International conference on numerical analysis and applied mathematics 2009, Rethymno, Crete, Greece, September 18–22, 2009. Vol. 1. Melville, NY: American Institute of Physics (AIP) (ISBN 978-0-7354-0705-3/hbk; 978-0-7354-0709-1/set). AIP Conference Proceedings 1168, 1, 252-255 (2009).
MSC:  65L12 65L05 34A34 34A26
PDF BibTeX XML Cite
\textit{T. Itoh}, AIP Conf. Proc. 1168, 252--255 (2009; Zbl 1182.65126)
Full Text: DOI
Eibach, Tobias; Pilz, Enrico; Völkel, Gunnar

Attacking Bivium using SAT solvers. (English) Zbl 1138.68536

Kleine Büning, Hans (ed.) et al., Theory and applications of satisfiability testing – SAT 2008. 11th international conference, SAT 2008, Guangzhou, China, May 12–15, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79718-0/pbk). Lecture Notes in Computer Science 4996, 63-76 (2008).
MSC:  68T20 94A60
PDF BibTeX XML Cite
\textit{T. Eibach} et al., Lect. Notes Comput. Sci. 4996, 63--76 (2008; Zbl 1138.68536)
Full Text: DOI
Kreiman, Victor; Lakshmibai, V.

Multiplicities of singular points in Schubert varieties of Grassmannians. (English) Zbl 1092.14060

Christensen, Chris (ed.) et al., Algebra, arithmetic and geometry with applications. Papers from Shreeram S. Ahhyankar’s 70th birthday conference, Purdue University, West Lafayette, IN, USA, July 19–26, 2000. Berlin: Springer (ISBN 3-540-00475-0/pbk). 553-563 (2003).
Reviewer: Dan Laksov (Stockholm)
MSC:  14M15 14M12 14N15
PDF BibTeX XML Cite
\textit{V. Kreiman} and \textit{V. Lakshmibai}, in: Algebra, arithmetic and geometry with applications. Papers from Shreeram S. Ahhyankar's 70th birthday conference, Purdue University, West Lafayette, IN, USA, July 19--26, 2000. Berlin: Springer. 553--563 (2003; Zbl 1092.14060)
Full Text: arXiv
Greuel, Gert-Martin; Pfister, Gerhard
[Bachmann, Olaf; Lossen, Christoph; Schönemann, Hans]

A Singular introduction to commutative algebra. With contributions by Olaf Bachmann, Christoph Lossen and Hans Schönemann. (English) Zbl 1023.13001

Berlin: Springer. xvii, 588 p. EUR 39.95/net; sFr. 68.50; £28.00; $ 44.95 (2002).
Reviewer: Peter Schenzel (Halle)
MSC:  13-04 13Pxx 14-04 13P10 14Qxx 13-01 13-02 68W30 68-01 14-01
PDF BibTeX XML Cite
\textit{G.-M. Greuel} and \textit{G. Pfister}, A Singular introduction to commutative algebra. With contributions by Olaf Bachmann, Christoph Lossen and Hans Schönemann. Berlin: Springer (2002; Zbl 1023.13001)
Robu, Judit; Sinoai, Áron

Mechanical geometry theorem proving. (English) Zbl 0997.68129

Kovács, Emöd (ed.) et al., Proceedings of the 4th international conference on applied informatics. Education and other fields of applied informatics, computer graphics, computer statistics and modeling. Eger-Noszvaj, Hungary, August 30-September 3, 1999. Eger: Molnár és Társa, 147-155 (2001).
MSC:  68T15
PDF BibTeX XML Cite
\textit{J. Robu} and \textit{Á. Sinoai}, in: Proceedings of the 4th international conference on applied informatics. Education and other fields of applied informatics, computer graphics, computer statistics and modeling. Eger-Noszvaj, Hungary, August 30--September 3, 1999. Eger: Molnár és Társa. 147--155 (2001; Zbl 0997.68129)
Cox, David; Little, John; O’Shea, Donal

Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra. 2nd ed. (English) Zbl 0861.13012

Undergraduate Texts in Mathematics. New York, NY: Springer. xiii, 536 p. (1996).
Reviewer: G.Pfister (Kaiserslautern)
MSC:  13P10 14Q99 13F20 14-02 13-02
PDF BibTeX XML Cite
\textit{D. Cox} et al., Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra. 2nd ed. New York, NY: Springer (1996; Zbl 0861.13012)
Oaku, Toshinori

Algorithms for finding the structure of solutions of a system of linear partial differential equations. (English) Zbl 0964.35505

Von zur Gathen, Joachim (ed.) et al., ISSAC ’94. Proceedings of the international symposium on symbolic and algebraic computation, Oxford, GB, July 20-22, 1994. Baltimore, MD: ACM Press. 216-223 (1994).
MSC:  35C05 13P10
PDF BibTeX XML Cite
\textit{T. Oaku}, in: ISSAC '94. Proceedings of the international symposium on Symbolic and algebraic computation, Oxford, GB, July 20--22, 1994. Baltimore, MD: ACM Press. 216--223 (1994; Zbl 0964.35505)
Cox, David; Little, John; O’Shea, Donal

Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra. (English) Zbl 0756.13017

Undergraduate Texts in Mathematics. New York: Springer-Verlag. xi, 513 p. (1992).
Reviewer: G.Pfister (Berlin)
MSC:  13P10 13F20 14Q99 14-01 13-02
PDF BibTeX XML Cite
\textit{D. Cox} et al., Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra. New York: Springer-Verlag (1992; Zbl 0756.13017)

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software