Article,
Theorema: Towards computer-aided mathematical theory exploration.
B. Buchberger, A. Craciun, T. Jebelean, L. Kovács, T. Kutsia, K. Nakagawa, F. Piroi, N. Popov, J. Robu, M. Rosenkranz, and W. Windsteiger.J. Appl. Log., 4 (4): 470-504 (2006)
Meta data
- BibTeX key
- journals/japll/BuchbergerCJKKNPPRR06
- entry type
- article
- year
- 2006
- journal
- J. Appl. Log.
- number
- 4
- pages
- 470-504
- volume
- 4
- ee
- https://doi.org/10.1016/j.jal.2005.10.006
- url
- http://dblp.uni-trier.de/db/journals/japll/japll4.html#BuchbergerCJKKNPPRR06
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/japll/BuchbergerCJKKNPPRR06
%A Buchberger, Bruno
%A Craciun, Adrian
%A Jebelean, Tudor
%A Kovács, Laura
%A Kutsia, Temur
%A Nakagawa, Koji
%A Piroi, Florina
%A Popov, Nikolaj
%A Robu, Judit
%A Rosenkranz, Markus
%A Windsteiger, Wolfgang
%D 2006
%J J. Appl. Log.
%K dblp
%N 4
%P 470-504
%T Theorema: Towards computer-aided mathematical theory exploration.
%U http://dblp.uni-trier.de/db/journals/japll/japll4.html#BuchbergerCJKKNPPRR06
%V 4
@article{journals/japll/BuchbergerCJKKNPPRR06,
added-at = {2022-10-02T00:00:00.000+0200},
author = {Buchberger, Bruno and Craciun, Adrian and Jebelean, Tudor and Kovács, Laura and Kutsia, Temur and Nakagawa, Koji and Piroi, Florina and Popov, Nikolaj and Robu, Judit and Rosenkranz, Markus and Windsteiger, Wolfgang},
biburl = {https://www.bibsonomy.org/bibtex/24c1a0db1693e6c91094013532e4c31c4/dblp},
ee = {https://doi.org/10.1016/j.jal.2005.10.006},
interhash = {e38bc86b236a5e2097d878d1a17f0412},
intrahash = {4c1a0db1693e6c91094013532e4c31c4},
journal = {J. Appl. Log.},
keywords = {dblp},
number = 4,
pages = {470-504},
timestamp = {2024-04-09T02:13:51.000+0200},
title = {Theorema: Towards computer-aided mathematical theory exploration.},
url = {http://dblp.uni-trier.de/db/journals/japll/japll4.html#BuchbergerCJKKNPPRR06},
volume = 4,
year = 2006
}