Publications of the Project F1302

UnpublishedUnInvited - 2002

September 27, 2008

UnpublishedUnInvited - 2002

September 27, 2008

## Bibliography

- 1
- B. Buchberger.

Formal exploration management for Hilbert space theory.

Talk at the SFB Statusseminar, Strobl, Austria, April 2002. - 2
- B. Buchberger.

Formal Theory Exploration:The Lazy Thinking Paradigm.

Contributed talk at Calculemus Meeting, Pisa, Italy, September 16 2002. - 3
- B. Buchberger.

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

Contributed talk at Conference on Logic, Mathematics and Computer Science (LMCS 2002), Symposium in Honor of Bruno Buchberger's 60th Birthday, RISC, Hagenberg, Austria, October 20-22 2002. - 4
- A. Craciun.

The sequence provers in Theorema.

Joint AISC'02 - Calculemus '02 conference, Marseille, France, July 1-5, 2002; Appears in: Seki-Report Series Nr. SR-02-04, Calculemus 2002, Work in Progress Papers, Universität des Saarlandes, July 2002. - 5
- T. Jebelean.

Theorema: A system for the working mathematician. software demonstration.

ISSAC'02 (International Symposium for Symbolic and Algebraic Computation, Lille, France, July 2002). The abstract of the talk and the software demo are published electronically on the CD-ROM accompanying the proceedings (ACM Press, ISBN 1-58113-582-3)., July 2002. - 6
- T. Jebelean.

Using hyper-inferences for natural style proving in predicate logic.

SFB Statusseminar Strobl, Austria, April 2002. - 7
- G. Kusper.

Investigation of Binary Representations of SAT, especially 2-Literal Representation.

Conference of PhD Students in Computer Science, Szeged, Hungary, July 2002. - 8
- G. Kusper.

Solving the resolution-free sat problem by hyper-unit propagation in linear time.

Fifth International Symposium on the Theory and Applications of Satisfiability Testing, Cincinnati, Ohio, USA, May 2002. - 9
- T. Kutsia.

Gröbner bases approach towards formula simplification in operator theory.

Talk at the SFB Statusseminar, Strobl, Austria, April 2002. - 10
- T. Kutsia.

Unification with sequence variables and flexible arity symbols.

Talk at the SFB Statusseminar, Strobl, Austria, April 2002. - 11
- K. Nakagawa.

Logicographic symbol.

Contributed talk at SFB Statusseminar Strobl, Austria, April 2002. - 12
- F. Piroi.

Focus Windows.

Contributed talk at SFB Statusseminar, Strobl, Austria, April 2002. - 13
- F. Piroi and T. Jebelean.

Interactive proving in Theorema.

Contributed talk at the Ninth Workshop on Automated Reasoning (AISB'02), London, UK, April 2002. - 14
- J. Robu.

Geometry theorem proving in the frame of Theorema project.

Contributed talk at the 4th International Workshop on Automated Deduction in Geometry (ADG'02), Hagenberg, Austria, September 2002. - 15
- M. Rosenkranz, B. Buchberger, and
H. W. Engl.

Computing the Moore-Penrose-inverse by Gröbner bases.

Conference on Computational Methods for Inverse Problems Strobl, Austria, August 2002. - 16
- M. Rosenkranz, B. Buchberger, and
H. W. Engl.

Solving linear boundary value problems via non-commutative Gröbner bases.

Fourth International SYNASC Workshop Timisoara, Romania, October 2002. - 17
- W. Windsteiger.

An Automated Prover for Set Theory in Theorema.

Contributed talk at Calculemus'2002, Marseille, France, June 5 2002. - 18
- W. Windsteiger.

An Automated Prover for Zermelo-Fraenkel Set Theory in Theorema.

Contributed talk at LMCS'02, Hagenberg, Austria, October 20 2002. - 19
- W. Windsteiger.

The Theorema System.

Contributed talk at Calculemus Autumn School, Pisa, Italy, September 27 2002.

Please direct your comments
or eventual problem reports to webmaster.

SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund

SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund