TERM EXTRACTION AND RAMSEY’S THEOREM FOR PAIRS ALEXANDER P. KREUZER AND ULRICH KOHLENBACH Abstract. In this paper we study with proof-theoretic methods the function(al)s provably recursive relative to Ramsey’s theore

Source URL: www.mathematik.tu-darmstadt.de

• Proof theory
• Computability theory
• Logic in computer science
• Mathematical logic
• Intuitionism
• Primitive recursive functional
• Dialectica interpretation
• Peano axioms
• Second-order arithmetic
• Reverse mathematics
• Combinatory logic
• Primitive recursive arithmetic

Computing Border Bases Achim Kehrein and Martin Kreuzer Fachbereich Mathematik Universit¨ at Dortmund DDortmund, Germany

Source URL: www.uni-passau.de

Chapter 1 From Oil Fields to Hilbert Schemes Martin Kreuzer, Hennie Poulisse, and Lorenzo Robbiano Abstract New techniques for dealing with problems of numerical stability in computations involving multivariate polynom

Source URL: www.uni-passau.de

Characterizations of Border Bases Achim Kehrein and Martin Kreuzer Fachbereich Mathematik Universit¨ at Dortmund DDortmund, Germany

Source URL: www.symbcomp.fim.uni-passau.de

• Algebra
• Mathematics
• Abstract algebra
• Computer algebra
• Algebraic geometry
• Commutative algebra
• Analysis of algorithms
• Asymptotic analysis
• Big O notation

Contemporary Mathematics Computation of Syzygies Over Non-Commutative Rings Holger Bluhm and Martin Kreuzer This paper is dedicated to Gerhard Rosenberger on occasion of his 60th birthday. Abstract. This paper is devote

Source URL: www.symbcomp.fim.uni-passau.de

• Algebra
• Abstract algebra
• Mathematics
• Algebraic geometry
• Commutative algebra
• Ring theory
• Ring
• Grbner basis

arXiv:0905.1090v1 [math.AC] 7 MaySUBIDEAL BORDER BASES MARTIN KREUZER AND HENK POULISSE Abstract. In modeling physical systems, it is sometimes useful to construct border bases of 0-dimensional polynomial ideals w

Source URL: www.uni-passau.de

AGB NORMAL ABO Bezugspreis ist der zum Zeitpunkt des Vertragsabschlusses gültige Abonnementpreis. Dieser beträgt derzeit 30 € inkl. gesetzl. Mehrwertsteuer für 12 Ausgaben. Das Abonnement verlängert sich automatisc

Source URL: kreuzer-leipzig.de

AAECC manuscript No. (will be inserted by the editor) Gr¨ obner Basis Cryptosystems Peter Ackermann and Martin Kreuzer

Source URL: www.symbcomp.fim.uni-passau.de

• Algebra
• Abstract algebra
• Mathematics
• Semigroup theory
• Category theory
• Monoid
• Finitely generated module
• Presentation of a monoid
• Computability theory
• Substitution
• Orbifold

KREUZERCoupon_SEPA-Lastschriftmandat

Source URL: kreuzer-leipzig.de

APPROXIMATE COMPUTATION OF ZERO-DIMENSIONAL POLYNOMIAL IDEALS DANIEL HELDT, MARTIN KREUZER, SEBASTIAN POKUTTA, AND HENNIE POULISSE Abstract. The Buchberger-M¨ oller algorithm is a well-known efficient tool for computing

Source URL: www.uni-passau.de