default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCalculemus 1999: Trento, Italy
- Alessandro Armando, Tudor Jebelean:
Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999. Electronic Notes in Theoretical Computer Science 23(3), Elsevier 1999 - Alessandro Armando
, Tudor Jebelean:
Preface. 319-320 - Fausto Giunchiglia:
The OMRS project: State of the art. 321 - Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia:
The control component of open mechanized reasoning systems. 322-339 - Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge:
Agent based mathematical reasoning. 340-351 - Alexander A. Letichevsky, Julia V. Kapitonova, Vladislav A. Volkov, A. Chugayenko, Victor Khomenko, David R. Gilbert:
The development of interactive algorithms for the Mathematical Environment. 352-369 - Sylvain Boulmé, Thérèse Hardin, Daniel Hirschkoff, Valérie Ménissier-Morain, Renaud Rioboo:
On the way to certify Computer Algebra Systems. 370-385 - Bruno Buchberger:
Theory exploration versus theorem proving. 386 - Koji Nakagawa, Felix Kossak:
User--system interaction within Theorema. 387-400 - Wolfgang Windsteiger:
Building up hierarchical mathematical domains using functors in Theorema. 401-419 - Michael Beeson:
Automatic derivation of the irrationality of e. 420-439 - Erica Melis, Volker Sorge:
Employing external reasoners in proof planning. 440-450 - Andreas Franke, Michael Kohlhase:
MBase: Representing mathematical knowledge in a relational data base. 451-468 - Olga Caprotti, Arjeh M. Cohen:
Integrating computational and deduction systems using OpenMath. 469-480 - Alexander V. Lyaletski, Marina Morokovets:
On linguistic aspects of integration of computer mathematical knowledge. 481-498
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-30 20:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
