SCIEnce: Symbolic Computation Infrastructure for Europe [SCIEnce]

Project Description

RISC-Linz, the research institute at the Johannes Kepler University, Austria, offers opportunities to researchers to obtain access to its infrastructure and facilities. Access is free of charge and is provided through the project SCIEnce within the 6th Framework Programme of the European Commission.

Project Lead

Project Duration

01/05/2006 - 30/04/2011

Project URL

Go to Website

Partners

Software

SCSCP4Mathematica

An interface between the Symbolic Computation Software Composability Protocol and Mathematica

SCSCP4Mathematica is an interface between the Symbolic Computation Software Composability Protocol developed in the frame of the European Project SCIEnce (Symbolic Computation Infrastructure for Europe) and the computer algebra system Mathematica of Wolfram Research. ...

Authors: Károly Bósa
More

Publications

2018

[Grasegger]

Rational General Solutions of Systems of First-Order Partial Differential Equations

Georg Grasegger, Alberto Lastra, J. Rafael Sendra, Franz Winkler

Journal of Computational and Applied Mathematics 331, pp. 88-103. 2018. ISSN: 0377-0427.
[bib]
@article{RISC5509,
author = {Georg Grasegger and Alberto Lastra and J. Rafael Sendra and Franz Winkler},
title = {{Rational General Solutions of Systems of First-Order Partial Differential Equations}},
language = {english},
journal = {Journal of Computational and Applied Mathematics},
volume = {331},
pages = {88--103},
isbn_issn = {ISSN: 0377-0427},
year = {2018},
refereed = {yes},
length = {16}
}

2016

[Grasegger]

A decision algorithm for rational general solutions of first-order algebraic ODEs

G. Grasegger, N.T. Vo, F. Winkler

In: Proceedings XV Encuentro de Algebra Computacional y Aplicaciones (EACA 2016), Universidad de la Rioja, J. Heras and A. Romero (eds.) (ed.), pp. 101-104. 2016. 978-84-608-9024-9.
[bib]
@inproceedings{RISC5400,
author = {G. Grasegger and N.T. Vo and F. Winkler},
title = {{A decision algorithm for rational general solutions of first-order algebraic ODEs}},
booktitle = {{Proceedings XV Encuentro de Algebra Computacional y Aplicaciones (EACA 2016)}},
language = {english},
pages = {101--104},
isbn_issn = {978-84-608-9024-9},
year = {2016},
editor = {Universidad de la Rioja and J. Heras and A. Romero (eds.)},
refereed = {yes},
length = {4}
}
[Schreiner]

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. [doi]
[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

[Sendra]

Rational general solutions of systems of autonomous ordinary differential equations of algebro-geometric dimension one

A. Lastra, J.R. Sendra, L.X.C. Ngô, F. Winkler

Publ.Math.Debrecen(86/1-2), pp. 49-69. 2015. 0033-3883.
[bib]
@article{RISC5204,
author = {A. Lastra and J.R. Sendra and L.X.C. Ngô and F. Winkler},
title = {{Rational general solutions of systems of autonomous ordinary differential equations of algebro-geometric dimension one}},
language = {english},
journal = {Publ.Math.Debrecen},
number = {86/1-2},
pages = {49--69},
isbn_issn = {0033-3883},
year = {2015},
refereed = {yes},
length = {21}
}
[Sendra]

Birational transformations preserving rational solutions of algebraic ordinary differential equations

L.X.C. Ngô, J.R. Sendra, F. Winkler

J. Computational and Applied Mathematics(286), pp. 114-127. 2015. 0377-0427.
[bib]
@article{RISC5205,
author = {L.X.C. Ngô and J.R. Sendra and F. Winkler},
title = {{Birational transformations preserving rational solutions of algebraic ordinary differential equations}},
language = {english},
journal = {J. Computational and Applied Mathematics},
number = {286},
pages = {114--127},
isbn_issn = {0377-0427},
year = {2015},
refereed = {yes},
length = {14}
}
[Vo]

Algebraic General Solutions of First Order Algebraic ODEs

N. T. Vo, F. Winkler

In: Computer Algebra in Scientific Computing, Vladimir P. Gerdt et. al. (ed.), Lecture Notes in Computer Science 9301, pp. 479-492. 2015. Springer International Publishing, ISSN 0302-9743. [url]
[bib]
@inproceedings{RISC5194,
author = {N. T. Vo and F. Winkler},
title = {{Algebraic General Solutions of First Order Algebraic ODEs}},
booktitle = {{Computer Algebra in Scientific Computing}},
language = {english},
abstract = {In this paper we consider the class of algebraic ordinary differential equations (AODEs), the class of planar rational systems, and discuss their algebraic general solutions. We establish for each parametrizable first order AODE a planar rational system, the associated system, such that one can compute algebraic general solutions of the one from the other and vice versa. For the class of planar rational systems, an algorithm for computing their explicit algebraic general solutions with a given rational first integral is presented. Finally an algorithm for determining an algebraic general solution of degree less than a given positive integer of parametrizable first order AODEs is proposed.},
series = {Lecture Notes in Computer Science},
volume = {9301},
pages = {479--492},
publisher = {Springer International Publishing},
isbn_issn = {ISSN 0302-9743},
year = {2015},
editor = {Vladimir P. Gerdt et. al.},
refereed = {yes},
length = {14},
url = {http://link.springer.com/content/pdf/10.1007%2F978-3-319-24021-3_35.pdf}
}

2013

[Ngo]

Rational general solutions of higher order algebraic ODEs

Y. Huang, L.X.C. Ngo, F. Winkler

J. Systems Science and Complexity (JSSC) 26/2, pp. 261-280. 2013. 1009-6124.
[bib]
@article{RISC4640,
author = {Y. Huang and L.X.C. Ngo and F. Winkler},
title = {{Rational general solutions of higher order algebraic ODEs}},
language = {english},
journal = {J. Systems Science and Complexity (JSSC)},
volume = {26/2},
pages = {261--280},
isbn_issn = {1009-6124},
year = {2013},
refereed = {yes},
length = {20}
}
[Ngo]

Rational general solutions of trivariate rational systems of autonomous ODEs

Y. Huang, L.X.C. Ngo, F. Winkler

Mathematics in Computer Science 6/4, pp. 361-374. 2013. 1661-8270.
[bib]
@article{RISC4641,
author = {Y. Huang and L.X.C. Ngo and F. Winkler},
title = {{Rational general solutions of trivariate rational systems of autonomous ODEs}},
language = {english},
journal = {Mathematics in Computer Science},
volume = {6/4},
pages = {361--374},
isbn_issn = {1661-8270},
year = {2013},
refereed = {yes},
length = {14}
}

2012

[Judakova]

Computer algebra methods for pattern recognition: systems with complex order

F. Winkler, M. Hudayberdiev, G. Judakova

In: Proceedings INTELS 2012 (Moscow), - (ed.), Proceedings of INTELS 2012, pp. 148-150. 2012. 978-5-93347-432-6.
[bib]
@inproceedings{RISC4639,
author = {F. Winkler and M. Hudayberdiev and G. Judakova},
title = {{Computer algebra methods for pattern recognition: systems with complex order}},
booktitle = {{Proceedings INTELS 2012 (Moscow)}},
language = {english},
pages = {148--150},
isbn_issn = {978-5-93347-432-6},
year = {2012},
editor = {-},
refereed = {yes},
length = {3},
conferencename = {INTELS 2012}
}
[Marin]

Solving, Reasoning, and Programming in Common Logic

Temur Kutsia, Mircea Marin

Technical report no. 12-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2012. [pdf]
[bib]
@techreport{RISC4604,
author = {Temur Kutsia and Mircea Marin},
title = {{Solving, Reasoning, and Programming in Common Logic}},
language = {english},
number = {12-15},
year = {2012},
length = {18},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}
[Ngo]

Classification of algebraic ODEs with respect to rational solvability

L.X.C. Ngo, J.R. Sendra, F. Winkler

Computational Algebraic and Analytic Geometry, Contemporary Mathematics(572), pp. 193-210. 2012. AMS, 0271-4132.
[bib]
@article{RISC4637,
author = {L.X.C. Ngo and J.R. Sendra and F. Winkler},
title = {{Classification of algebraic ODEs with respect to rational solvability}},
language = {english},
journal = {Computational Algebraic and Analytic Geometry, Contemporary Mathematics},
number = {572},
pages = {193--210},
publisher = {AMS},
isbn_issn = {0271-4132},
year = {2012},
refereed = {yes},
length = {18}
}
[Winkler]

The role of Symbolic Computation in Mathematics

F. Winkler

In: Proceedings XIII Encuentro de Algebra Computacional y Aplicaciones (EACA 2012), J.R. Sendra and C. Villarino (ed.), pp. 33-34. 2012. 978-84-8138-770-4.
[bib]
@inproceedings{RISC4638,
author = {F. Winkler},
title = {{The role of Symbolic Computation in Mathematics}},
booktitle = {{Proceedings XIII Encuentro de Algebra Computacional y Aplicaciones (EACA 2012)}},
language = {english},
pages = {33--34},
isbn_issn = {978-84-8138-770-4},
year = {2012},
editor = {J.R. Sendra and C. Villarino},
refereed = {yes},
length = {2}
}

2011

[Kutsia]

Anti-Unification for Unranked Terms and Hedges

Temur Kutsia, Jordi Levy, Mateu Villaret

Technical report no. 11-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2011. [pdf]
[bib]
@techreport{RISC4323,
author = {Temur Kutsia and Jordi Levy and Mateu Villaret},
title = {{Anti-Unification for Unranked Terms and Hedges}},
language = {english},
number = {11-03},
year = {2011},
length = {26},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}
[Kutsia]

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}
}
[Winkler]

Algebraic Informatics

F. Winkler

In: Proceedings of the Forth International Conference on Algebraic Informatics (CAI 2011), Springer Verlag (ed.), Proceedings of 4th International Conference on Algebraic Informatics (CAI 2011), pp. -. 2011. ISSN 0302-9743, ISBN 978-3-642-21492-9.
[bib]
@inproceedings{RISC4430,
author = {F. Winkler},
title = {{Algebraic Informatics}},
booktitle = {{Proceedings of the Forth International Conference on Algebraic Informatics (CAI 2011)}},
language = {english},
pages = {--},
isbn_issn = {ISSN 0302-9743, ISBN 978-3-642-21492-9},
year = {2011},
editor = {Springer Verlag},
refereed = {yes},
sponsor = {FWF},
length = {0},
conferencename = {4th International Conference on Algebraic Informatics (CAI 2011)}
}

2010

[Dundua]

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}
}
[Dundua]

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}
}
[Dundua]

A Rule-Based Approach to XML Processing and Web Reasoning

Jorge Coelho, Besik Dundua, Mario Florido, Temur Kutsia

Technical report no. 10-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2010. [pdf]
[bib]
@techreport{RISC4611,
author = {Jorge Coelho and Besik Dundua and Mario Florido and Temur Kutsia},
title = {{A Rule-Based Approach to XML Processing and Web Reasoning}},
language = {english},
number = {10-11},
year = {2010},
length = {16},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}
[Kutsia]

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}
}
[Kutsia]

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}
}

Loading…