=ADD=
=reftype=
14
=number=
02-60
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/2002/02-60.ps.gz
=year=
2002
=month=
10
=author=
Nakagawa; Koji
=title=
LMCS 2002. Logic, Mathematics and Computer Science: Interactions. Symposium in Honor of Bruno Buchberger's 60th Birthday
=abstract=
- Contents -

* Abstracts of Invited Talks

Mathematician-Friendly Proof-Assistants
	Henk Barendregt

The Role of Logic and Algebra in Software Engineering
	Manfred Broy

BOOKS OR BYTES?
	Dana S. Scott

New Directions in the Foundations of Mathematics
	Stephen Wolfram

Towards a SymbolicComputational Philosophy (and Methodology!) for Mathematics
	Doron Zeilberger

Logic, Mathematics, Computer Science: The Accumulated Thinking Technology of Mankind
	Bruno Buchberger


* Contributed Papers

High Performance Implementations for the Gr\"obner Bases Algorithm and the Characteristic Method
	Iyad A. Ajwa, Paul S. Wang

Solving For Functions
	Michael Beeson

Computing Restrictions of Ideals in Finitely Generated $k$-Algebras by Means of Buchberger's Algorithm
	  Thomas Beth, J\"orn M\"uller-Quade, Rainer Steinwandt

New Rewriting System for the Braid Group ${\cal B}_4$
	Leonid Bokut, Andrei Vesnin

Gr\"obner Bases Property on Elimination Ideals in Finite Group Theory
	Miguel A. Borges-Trenard, Hebert P\'erez-Ros\'es, Mijail Borges-Quintana

Hilbert Polynomials in Two Variables and Bifiltered Ideals
	Giuseppa Carra' Ferro

Using Gr\"obner Bases in ${\cal D}$-modules Theory
	Francisco J.  Castro-Jim\a'enez, Jos\a'e M. Ucha

Minimal Generators from Reduced Gr\"obner Bases Obtained by Interpolation Methods
	Francesca Cioffi, Ferruccio Orecchia

Naive Axiomatic ``Mengenlehre'' NAM for Experiments
	Werner DePauli-Schimanovich

On Non-associative Gr\"obner Bases
	Lothar Gerritzen

Incremental Decoding
	Patrizia Gianni, Barry Trager

On Inverse Systems and Squarefree Decomposition of Zero-Dimensional Polynomial Ideals
	Werner Hei\ss, Ulrich Oberst, Franz Pauer

Two Paradigms of Learning
	Wolfram Menzel, Frank Stephan

On an Algebraic Description of Colorability of Planar Graphs
	Michal Mnuk

The Eighth Variation
	Teo Mora

Variable Shape Logicographic Symbols
	Koji Nakagawa

Solving Linear Boundary Value Problems via Non-Commutative Gr\"obner Bases 
	Markus Rosenkranz, Heinz W. Engl

A Divide-and-Conquer Method for Integer-to-Rational Conversion
	Tateaki Sasaki, Yoshinori Takahashi, Takuya Sugimoto

Syzygies, and the Stabilization of the Numerical Buchberger Algorithm
	Carlo Traverso

Comprehensive Gr\"obner Bases and Regular Rings
	Volker Weispfenning

An Automated Prover for Zermelo-Fraenkel Set Theory in {\em Theorema}
	Wolfgang Windsteiger
=note=
Hagenberg, Oct. 21-22, 2002
=isbn=
3-902276-03-7
=sponsor=
Wirtschaftskammer \"Osterreich, BM:BWK Bundesministerium f\"ur Bildung, Wissenschaft und Kultur, Stadt Linz, LHF-Linzer Hochschulfonds