Calculemus

Project Description

B. Buchberger, W. Windsteiger

Project Lead

Project Duration

01/09/2000 - 31/08/2004

Project URL

Go to Website

Publications

2017

Gröbner Bases Computation by Triangularizing Macaulay Matrices

Bruno Buchberger

Advanced Studies in Pure Mathematics (The 50th Anniversary of Gröbner Bases) 75, pp. 1-9. 2017. Mathematical Society of Japan, 0.
[bib]
@article{RISC5586,
author = {Bruno Buchberger},
title = {{Gröbner Bases Computation by Triangularizing Macaulay Matrices}},
language = {english},
journal = {Advanced Studies in Pure Mathematics (The 50th Anniversary of Gröbner Bases)},
volume = {75},
pages = {1--9},
publisher = {Mathematical Society of Japan},
isbn_issn = {0},
year = {2017},
refereed = {no},
length = {9}
}

Satisfiability Checking and Symbolic Computation

Abraham Erika , Abbott John , Becker Bernd , Bigatti Anna Maria , Brain Martin , Buchberger Bruno , Cimatti Alessandro , Davenport James , England Matthew , Fontaine Pascal , Forrest Stephen , Griggio Alberto , Kröning Daniel , Seiler Werner M. , Sturm

ACM Communications in Computer Algebra 50(4), pp. 145-147. 2017. 0.
[bib]
@article{RISC5587,
author = { Abraham Erika and Abbott John and Becker Bernd and Bigatti Anna Maria and Brain Martin and Buchberger Bruno and Cimatti Alessandro and Davenport James and England Matthew and Fontaine Pascal and Forrest Stephen and Griggio Alberto and Kröning Daniel and Seiler Werner M. and Sturm },
title = {{Satisfiability Checking and Symbolic Computation}},
language = {english},
journal = {ACM Communications in Computer Algebra},
volume = {50},
number = {4},
pages = {145--147},
isbn_issn = {0},
year = {2017},
refereed = {no},
length = {3}
}

2016

Predicting Space Requirements for a Stream Monitor Specification Language

David M. Cerna and Wolfgang Schreiner, Temur Kutsia

In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, Yli{\`{e}}s Falcone and C{\'{e}}sar S{\'{a}}nchez (ed.), pp. 135-151. 2016. 978-3-319-46981-2. [url]
[bib]
@inproceedings{RISC5739,
author = {David M. Cerna and Wolfgang Schreiner and Temur Kutsia},
title = {{Predicting Space Requirements for a Stream Monitor Specification Language}},
booktitle = {{Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings}},
language = {english},
pages = {135--151},
isbn_issn = {978-3-319-46981-2},
year = {2016},
editor = {Yli{\`{e}}s Falcone and C{\'{e}}sar S{\'{a}}nchez},
refereed = {yes},
length = {17},
url = {https://doi.org/10.1007/978-3-319-46982-9_9}
}

2015

Theory Exploration of Binary Trees

Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat

In: The IEEE 13th Jubilee International Symposium on Intelligent Systems and Informatics, . (ed.), Proceedings of SISY 2015, pp. 139-144. 2015. IEEE Xplore, ..
[bib]
@inproceedings{RISC5165,
author = {Isabela Dramnesc and Tudor Jebelean and Sorin Stratulat},
title = {{Theory Exploration of Binary Trees}},
booktitle = {{The IEEE 13th Jubilee International Symposium on Intelligent Systems and Informatics}},
language = {english},
pages = {139--144},
publisher = {IEEE Xplore},
isbn_issn = {.},
year = {2015},
editor = {.},
refereed = {yes},
length = {6},
conferencename = {SISY 2015}
}

2011

Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Groebner Bases

Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger

In: Numerical and Symbolic Scientific Computing: Progress and Prospects, Ulrich Langer and Peter Paule (ed.), pp. 273-331. 2011. Springer, Wien, ISBN 978-3-7091-0793-5. Also available as RICAM Report 2010-05, September 2010. [pdf]
[bib]
@incollection{RISC4330,
author = {Markus Rosenkranz and Georg Regensburger and Loredana Tec and Bruno Buchberger},
title = {{Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Groebner Bases}},
booktitle = {{Numerical and Symbolic Scientific Computing: Progress and Prospects}},
language = {english},
pages = {273--331},
publisher = {Springer, Wien},
isbn_issn = {ISBN 978-3-7091-0793-5},
year = {2011},
annote = {2011-00-00-A},
note = {Also available as RICAM Report 2010-05, September 2010},
editor = {Ulrich Langer and Peter Paule},
refereed = {yes},
length = {54}
}

Buchberger's Algorithm

Bruno Buchberger, Manuel Kauers

Scholarpedia 6(10), pp. 7764-7764. October 2011. 1941-6016. [url]
[bib]
@article{RISC4394,
author = {Bruno Buchberger and Manuel Kauers},
title = {{Buchberger's Algorithm}},
language = {english},
journal = {Scholarpedia},
volume = {6},
number = {10},
pages = {7764--7764},
isbn_issn = {1941-6016},
year = {2011},
month = {October},
annote = {2011-10-00-A},
refereed = {yes},
length = {1},
url = {http://www.scholarpedia.org/article/Buchberger%27s_algorithm}
}

Anti-Unification for Unranked Terms and Hedges

Temur Kutsia, Jordi Levy, Mateu Villaret

In: Proceedings of the 22st International Conference on Rewriting Techniques and Applications, RTA 2011, Manfred Schmidt-Schauss (ed.), Leibniz International Proceedings in Informatics (LIPIcs) 10, pp. 219-234. 2011. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl Publishing, ISBN 978-3-939897-30-9, ISSN 1868-8969. [url]
[bib]
@inproceedings{RISC4359,
author = {Temur Kutsia and Jordi Levy and Mateu Villaret},
title = {{Anti-Unification for Unranked Terms and Hedges}},
booktitle = {{Proceedings of the 22st International Conference on Rewriting Techniques and Applications, RTA 2011}},
language = {english},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
volume = {10},
pages = {219--234},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl Publishing},
isbn_issn = {ISBN 978-3-939897-30-9, ISSN 1868-8969},
year = {2011},
editor = {Manfred Schmidt-Schauss},
refereed = {yes},
length = {16},
url = {http://drops.dagstuhl.de/opus/volltexte/2011/3118/pdf/11.pdf}
}

Sound and Complete Verification Condition Generator for Functional Recursive Programs.

N. Popov, T. Jebelean

In: Numerical and Symbolic Scientific Computing: Progress and Prospects, U. Langer and P. Paule (ed.), pp. 219-256. 2011. Springer, Wien, ISBN 978-3-7091-0793-5.
[bib]
@incollection{RISC4342,
author = {N. Popov and T. Jebelean},
title = {{Sound and Complete Verification Condition Generator for Functional Recursive Programs.}},
booktitle = {{Numerical and Symbolic Scientific Computing: Progress and Prospects}},
language = {english},
pages = {219--256},
publisher = {Springer},
address = {Wien},
isbn_issn = {ISBN 978-3-7091-0793-5},
year = {2011},
editor = {U. Langer and P. Paule},
refereed = {yes},
length = {38}
}

2010

An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra

Loredana Tec, Georg Regensburger, Markus Rosenkranz and Bruno Buchberger

In: Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, Komei Fukuda and Joris van der Hoeven and Michael Joswig and Nobuki Takayama (ed.), Proceedings of ICMS, Lecture Notes in Computer Science 6327, pp. 245-248. 2010. Springer, 978-3-642-15581-9. [pdf]
[bib]
@inproceedings{RISC4044,
author = {Loredana Tec and Georg Regensburger and Markus Rosenkranz and Bruno Buchberger},
title = {{An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra}},
booktitle = {{Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17}},
language = {english},
series = {Lecture Notes in Computer Science},
volume = {6327},
pages = {245--248},
publisher = {Springer},
isbn_issn = {978-3-642-15581-9},
year = {2010},
annote = {2010-09-00-A},
editor = {Komei Fukuda and Joris van der Hoeven and Michael Joswig and Nobuki Takayama},
refereed = {yes},
length = {4},
conferencename = {ICMS}
}

Groebner Bases

Bruno Buchberger, Manuel Kauers

Scholarpedia 5(10), pp. 7763-7763. October 2010. ISSN 1941-6016. [url]
[bib]
@article{RISC4161,
author = {Bruno Buchberger and Manuel Kauers},
title = {{Groebner Bases}},
language = {english},
journal = {Scholarpedia},
volume = {5},
number = {10},
pages = {7763--7763},
isbn_issn = {ISSN 1941-6016},
year = {2010},
month = {October},
annote = {2010-10-00-A},
refereed = {yes},
length = {16},
url = {http://www.scholarpedia.org/article/Groebner_basis}
}

From Program Verification to Automated Debugging

N. Popov, T. Jebelean, B. Buchberger

In: Workshop on Symbolic Computation in Software Science, T. Jebelean and M. Mosbah and N. Popov (ed.), Proceedings of SCSS 2010, pp. 55-65. July 2010. RISC-Linz Report Series, Johannes Kepler University of Linz, Austria, ..
[bib]
@inproceedings{RISC4192,
author = {N. Popov and T. Jebelean and B. Buchberger},
title = {{From Program Verification to Automated Debugging}},
booktitle = {{Workshop on Symbolic Computation in Software Science}},
language = {english},
pages = {55--65},
publisher = {RISC-Linz Report Series},
isbn_issn = {.},
year = {2010},
month = {July},
annote = {2010-07-00-A},
editor = {T. Jebelean and M. Mosbah and N. Popov},
refereed = {yes},
institution = {Johannes Kepler University of Linz, Austria},
length = {11},
conferencename = {SCSS 2010}
}

Strategies in P$\rho$Log

Besik Dundua, Temur Kutsia, Mircea Marin

Electronic Proceedings in Theoretical Computer Science, pp. 32-43. 2010. ISSN 2075-2180 . [pdf]
[bib]
@article{RISC3979,
author = {Besik Dundua and Temur Kutsia and Mircea Marin},
title = {{Strategies in P$\rho$Log}},
language = {english},
journal = {Electronic Proceedings in Theoretical Computer Science},
pages = {32--43},
isbn_issn = {ISSN 2075-2180 },
year = {2010},
refereed = {yes},
length = {12}
}

A Rule-Based Approach to XML Processing and Web Reasoning

Jorge Coelho, Besik Dundua, Mario Florido and Temur Kutsia

In: Proceedings of the 4th International Conference on Web Reasoning and Rule Systems, RR 2010, Pascal Hitzler and Thomas Lukasiewicz (ed.), Lecture Notes in Computer Science 6333, pp. 164-172. 2010. Springer, ISSN 0302-9743, ISBN 978-3-642-15917-6. [url]
[bib]
@inproceedings{RISC4196,
author = {Jorge Coelho and Besik Dundua and Mario Florido and Temur Kutsia},
title = {{A Rule-Based Approach to XML Processing and Web Reasoning}},
booktitle = {{Proceedings of the 4th International Conference on Web Reasoning and Rule Systems, RR 2010}},
language = {english},
series = {Lecture Notes in Computer Science},
volume = {6333},
pages = {164--172},
publisher = {Springer},
isbn_issn = {ISSN 0302-9743, ISBN 978-3-642-15917-6},
year = {2010},
editor = {Pascal Hitzler and Thomas Lukasiewicz},
refereed = {yes},
length = {9},
url = {http://www.risc.jku.at/people/tkutsia/papers/rr2010_final.pdf}
}

On the Relation Between Context and Sequence Unification

Temur Kutsia, Jordi Levy, Mateu Villaret

Journal of Symbolic Computation 45(1), pp. 74-95. 2010. ISSN 0747-7171. [pdf]
[bib]
@article{RISC3859,
author = {Temur Kutsia and Jordi Levy and Mateu Villaret},
title = {{ On the Relation Between Context and Sequence Unification}},
language = {english},
journal = {Journal of Symbolic Computation},
volume = {45},
number = {1},
pages = {74--95},
isbn_issn = {ISSN 0747-7171},
year = {2010},
refereed = {yes},
length = {22}
}

On the Computation of Quotients and Factors of Regular Languages

Mircea Marin, Temur Kutsia

Frontiers of Computer Science in China 4(2), pp. 173-184. 2010. Springer, ISSN 1673-7350. [url]
[bib]
@article{RISC4042,
author = {Mircea Marin and Temur Kutsia},
title = {{On the Computation of Quotients and Factors of Regular Languages}},
language = {english},
journal = {Frontiers of Computer Science in China},
volume = {4},
number = {2},
pages = {173--184},
publisher = {Springer},
isbn_issn = {ISSN 1673-7350},
year = {2010},
refereed = {yes},
length = {12},
url = {http://springerlink.com/content/d7x6422v812m1605/fulltext.pdf}
}

Regular Hedge Language Factorization Revisited

Mircea Marin and Temur Kutsia

In: Proceedings of the 14th International Conference on Developments in language Theory, DLT 2010, Sheng Yu (ed.), Lecture Notes in Computer Science 6224 , pp. 328-339. 2010. Springer, ISSN 0302-9743, ISBN 978-3-642-14454-7. [url]
[bib]
@inproceedings{RISC4197,
author = {Mircea Marin and Temur Kutsia},
title = {{Regular Hedge Language Factorization Revisited}},
booktitle = {{Proceedings of the 14th International Conference on Developments in language Theory, DLT 2010}},
language = {english},
series = {Lecture Notes in Computer Science},
volume = {6224 },
pages = {328--339},
publisher = {Springer},
isbn_issn = {ISSN 0302-9743, ISBN 978-3-642-14454-7},
year = {2010},
editor = {Sheng Yu},
refereed = {yes},
length = {12},
url = {http://www.risc.jku.at/people/tkutsia/papers/Marin_Kutsia_DLT_2010.pdf}
}

Order-Sorted Unification with Regular Expression Sorts

Temur Kutsia and Mircea Marin

In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, Christopher Lynch (ed.), Leibniz International Proceedings in Informatics (LIPIcs) 6, pp. 193-208. 2010. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl Publishing, ISSN 1868-8969, ISBN 978-3-939897-18-7. [url]
[bib]
@inproceedings{RISC4198,
author = {Temur Kutsia and Mircea Marin},
title = {{Order-Sorted Unification with Regular Expression Sorts}},
booktitle = {{Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010}},
language = {english},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
volume = {6},
pages = {193--208},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl Publishing},
isbn_issn = {ISSN 1868-8969, ISBN 978-3-939897-18-7},
year = {2010},
editor = {Christopher Lynch},
refereed = {yes},
length = {16},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2653/pdf/10002.KutsiaTemur.2653.pdf}
}

Linear Systems for Regular Hedge Languages

Mircea Marin, Temur Kutsia

In: Advances in Databases and Information Systems, Associated Workshops and Doctoral Consortium of the 13th East European Conference, ADBIS 2009. Revised Selected Papers , Janis Grundspenkis, Marite Kirikova, Yannis Manolopoulos, Leonids Novickis (ed.), Lecture Notes in Computer Science 5968, pp. 104-112. 2010. Springer, ISSN 0302-9743, ISBN 978-3-642-12081-7. [pdf]
[bib]
@inproceedings{RISC4015,
author = {Mircea Marin and Temur Kutsia},
title = {{Linear Systems for Regular Hedge Languages}},
booktitle = {{Advances in Databases and Information Systems, Associated Workshops and Doctoral Consortium of the 13th East European Conference, ADBIS 2009. Revised Selected Papers }},
language = {english},
series = {Lecture Notes in Computer Science},
volume = {5968},
pages = {104--112},
publisher = {Springer},
isbn_issn = {ISSN 0302-9743, ISBN 978-3-642-12081-7},
year = {2010},
editor = {Janis Grundspenkis and Marite Kirikova and Yannis Manolopoulos and Leonids Novickis},
refereed = {yes},
length = {9}
}

Projects of Evidence Algorithm and Theorema

A. Anisimov, T. Jebelean, A. Lyaletski, N. Popov

In: Theoretical and Applied Aspects of Program Systems Development, A. Anisimov, V. Redko (ed.), pp. 54-58. October 2010. Kiev, Ukraine, ..
[bib]
@inproceedings{RISC4195,
author = {A. Anisimov and T. Jebelean and A. Lyaletski and N. Popov},
title = {{Projects of Evidence Algorithm and Theorema}},
booktitle = {{Theoretical and Applied Aspects of Program Systems Development}},
language = {russian},
pages = {54--58},
address = {Kiev, Ukraine},
isbn_issn = {.},
year = {2010},
month = {October},
editor = {A. Anisimov and V. Redko},
refereed = {yes},
length = {5}
}

Proving Partial Correctness and Termination of Mutually Recursive Programs

N. Popov, T. Jebelean

In: SYNASC 2010, T. Ida, V. Negru, T. Jebelean, D. Petcu, S. Watt, and, D. Zaharie (ed.), Proceedings of Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp. 153-158. September 2010. IEEE , ISBN 978-0-7695-4324-6. [pdf]
[bib]
@inproceedings{RISC4287,
author = {N. Popov and T. Jebelean},
title = {{Proving Partial Correctness and Termination of Mutually Recursive Programs}},
booktitle = {{SYNASC 2010}},
language = {english},
pages = {153--158},
publisher = {IEEE },
isbn_issn = {ISBN 978-0-7695-4324-6},
year = {2010},
month = {September},
editor = {T. Ida and V. Negru and T. Jebelean and D. Petcu and S. Watt and and and D. Zaharie},
refereed = {yes},
length = {5},
conferencename = {Symposium on Symbolic and Numeric Algorithms for Scientific Computing}
}

Loading…