Number of items: 10.
2015
|
Rosenkranz, Markus and Liu, Jane and Maletzky, Alexander and Buchberger, Bruno
(2015)
Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates.
In: Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner and Vorozhtsov, Evgenii V., eds.
Proceedings of the 17th International Workshop, CASC 2015.
Computer Algebra in Scientific Computing.
Lecture Notes in Computer Science, 9301.
Springer, Berlin
pp. 406-423.
ISBN 978-3-319-24020-6.
E-ISBN 978-3-319-24021-3.
(doi:https://doi.org/10.1007/978-3-319-24021-3_30)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
2012
2010
|
Tec, Loredana and Regensburger, Georg and Rosenkranz, Markus and Buchberger, Bruno
(2010)
An automated confluence proof for an infinite rewrite system parametrized over an integro-differential algebra.
In: Fukuda, Komei and van der Hoeven, Joris and Joswig, Michael and Takayama, Nobuki, eds.
Proceedings of the Third international congress conference on Mathematical software.
Lecture Notes in Computer Science, 6327
.
Springer, Berlin, pp. 245-248.
ISBN 978-3-642-15581-9.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
2009
|
Rosenkranz, Markus and Regensburger, Georg and Tec, Loredana and Buchberger, Bruno
(2009)
A symbolic framework for operations on linear boundary problems.
In: Gerdt, V.P. and Mayr, E.W. and Vorozhtsov, E.V., eds.
Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing.
Lecture Notes in Computer Science, 5743
.
Springer, pp. 269-283.
ISBN 978-3-642-04102-0.
(doi:https://doi.org/10.1007/978-3-642-04103-7_24)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
2008
2006
|
Buchberger, Bruno and Craciun, Adrian and Jebelean, Tudor and Kovacs, Laura and Temur, Kutsia and Koji, Nakagawa and Piroi, Florina and Popov, Nikolaj and Robu, Judit and Rosenkranz, Markus and Windsteiger, Wolfgang
(2006)
Theorema: Towards computer-aided mathematical theory exploration.
Journal of Applied Logic,
4
(4).
pp. 470-504.
ISSN 1570-8683.
(doi:https://doi.org/10.1016/j.jal.2005.10.006)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Windsteiger, Wolfgang and Buchberger, Bruno and Rosenkranz, Markus
(2006)
Theorema.
In: Wiedijk, Freek, ed.
The Seventeen Provers of the World.
Lecture Notes in Artificial Intelligence, 3600
.
Springer, pp. 96-107.
ISBN 978-3-540-30704-4.
(doi:https://doi.org/10.1007/11542384_1)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
2004
|
Rosenkranz, Markus
(2004)
The Algorithmization of Physics: Math Between Science and Engineering.
In: Buchberger, Bruno and Campbell, John, eds.
Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings.
Lecture Notes in Computer Science, 3249
.
Springer, pp. 1-7.
ISBN 978-3-540-23212-4.
(doi:https://doi.org/10.1007/978-3-540-30210-0_1)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
2003
This list was generated on Sat Apr 20 13:41:18 2019 BST.
