Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Adams, Andrew A., Definite integration of parametric rational functions: Applying a DITLU, 3-17 [Zbl 0992.68242]
Arai, Noriko H.; Masukawa, Ryuji, How to find symmetries hidden in combinatorial problems, 18-32 [Zbl 0986.68126]
Armando, Alessandro; Kohlhase, Michael; Ranise, Silvio, Communication protocols for mathematical services based on KQML and OMRS, 33-48 [Zbl 0986.68003]
Armando, Alessandro; Zini, Daniele, Interfacing computer algebra and deduction systems via the logic broker architecture, 49-64 [Zbl 1017.68167]
Bancerek, Grzegorz, Development of the theory of continuous lattices in MIZAR, 65-80 [Zbl 0986.68127]
Benzmüller, Christoph; Sorge, Volker, \(\Omega\)-ANTS – An open approach at combining interactive and automated theorem proving, 81-97 [Zbl 0986.68128]
Buchberger, Bruno; Dupré, Claudio; Jebelean, Tudor; Kriftner, Franz; Nakagawa, Koji; Văsaru, Daniela; Windsteiger, Wolfgang, The TH\(\exists\)OREM\(\forall\) project: A progress report, 98-113 [Zbl 1017.68110]
Caprotti, Olga; Oostdijk, Martijn, How to formally and efficiently prove prime(2999), 114-125 [Zbl 0999.68264]
Degtyarev, Anatoli I.; Lyaletski, Alexander V.; Morokhovets, Marina K., On the EA-style integrated processing of self-contained mathematical texts, 126-141 [Zbl 0986.68129]
Jamnik, Mateja; Kerber, Manfred; Benzmüller, Christoph, Towards learning new methods in proof planning, 142-158 [Zbl 0986.68130]
Konev, Boris; Jebelean, Tudor, Using meta-variables for natural deduction in Theorema, 159-174 [Zbl 0986.68131]
Meier, Andreas; Sorge, Volker, Exploring properties of residue classes, 175-190 [Zbl 0986.68132]
Rudnicki, Piotr; Schwarzweller, Christoph; Trybulec, Andrzej, Defining power series and polynomials in Mizar, 191-204 [Zbl 0986.68133]
Thompson, Simon, Logic and dependent types in the Aldor computer algebra system, 205-233 [Zbl 0986.68171]