demonstration

ISSAC 2012 software demonstrations: Symbolic computation for ordinary boundary problems in maple

Authors:

Anja Korporal,

Georg Regensburger,

Markus RosenkranzAuthors Info & Claims

ACM Communications in Computer Algebra, Volume 46, Issue 3/4

Pages 154 - 156

https://doi.org/10.1145/2429135.2429169

Published: 15 January 2013 Publication History

Get Access

References

[1]

R. P. Agarwal. Boundary value problems for higher order differential equations. World Scientific Publishing Co. Inc., Teaneck, NJ, 1986.

Crossref

Google Scholar

[2]

R. P. Agarwal and D. O'Regan. An introduction to ordinary differential equations. Springer, New York, 2008.

Crossref

Google Scholar

[3]

A. Ben-Israel and T. N. E. Greville. Generalized inverses. Springer-Verlag, New York, second edition, 2003.

Google Scholar

[4]

E. A. Coddington and N. Levinson. Theory of ordinary differential equations. McGraw-Hill Book Company, Inc., New York-Toronto-London, 1955.

Google Scholar

[5]

D. G. Duffy. Green's functions with applications. Chapman & Hall/CRC, Boca Raton, FL, 2001.

Google Scholar

[6]

A. Korporal, G. Regensburger, and M. Rosenkranz. A Maple package for integro-differential operators and boundary problems. ACM Commun. Comput. Algebra, 44(3):120--122, 2010. Poster at ISSAC '10.

Digital Library

Google Scholar

[7]

A. Korporal, G. Regensburger, and M. Rosenkranz. Regular and singular boundary problems in Maple. In V. Gerdt, W. Koepf, E. Mayr, and E. Vorozhtsov, editors, Proceedings of CASC 2011 (Computer Algebra in Scientific Computing), volume 6885 of LNCS, pages 280--293, Berlin / Heidelberg, 2011. Springer.

Digital Library

Google Scholar

[8]

W. S. Loud. Some examples of generalized Green's functions and generalized Green's matrices. SIAM Rev., 12:194--210, 1970.

Digital Library

Google Scholar

[9]

G. Regensburger, M. Rosenkranz, and J. Middeke. A skew polynomial approach to integro-differential operators. In J. P. May, editor, Proceedings of ISSAC '09, pages 287--294, New York, NY, USA, 2009. ACM.

Digital Library

Google Scholar

[10]

M. Rosenkranz. A new symbolic method for solving linear two-point boundary value problems on the level of operators. J. Symbolic Comput., 39(2):171--199, 2005.

Digital Library

Google Scholar

[11]

M. Rosenkranz and G. Regensburger. Solving and factoring boundary problems for linear ordinary differential equations in differential algebras. J. Symbolic Comput., 43(8):515--544, 2008.

Digital Library

Google Scholar

[12]

M. Rosenkranz, G. Regensburger, L. Tec, and B. Buchberger. A symbolic framework for operations on linear boundary problems. In V. P. Gerdt, E. W. Mayr, and E. H. Vorozhtsov, editors, Proceedings of CASC 2009 (Computer Algebra in Scientific Computing), volume 5743 of LNCS, pages 269--283, Berlin, 2009. Springer.

Digital Library

Google Scholar

[13]

M. Rosenkranz, G. Regensburger, L. Tec, and B. Buchberger. Symbolic analysis for boundary problems: From rewriting to parametrized Gröbner bases. In U. Langer and P. Paule, editors, Numerical and Symbolic Scientific Computing: Progress and Prospects, pages 273--331. SpringerWienNew York, Vienna, 2012.

Crossref

Google Scholar

[14]

I. Stakgold. Green's functions and boundary value problems. John Wiley & Sons, New York, 1979.

Google Scholar

[15]

L. Tec. A Symbolic Framework for General Polynomial Domains in Theorema: Applications to Boundary Problems. PhD thesis, RISC, University of Linz, 2011.

Google Scholar

Cited By

View all

Barkatou MCluzeau T(2024)On the computation of rational solutions of linear integro-differential equations with polynomial coefficientsJournal of Symbolic Computation10.1016/j.jsc.2023.102252121(102252)Online publication date: Mar-2024
https://doi.org/10.1016/j.jsc.2023.102252
Nguyen H(2023)Structural evolution of in-plane hybrid graphene/hexagonal boron nitride heterostructure upon heatingJournal of Molecular Graphics and Modelling10.1016/j.jmgm.2023.108579125(108579)Online publication date: Dec-2023
https://doi.org/10.1016/j.jmgm.2023.108579
Regensburger GAbramov SZima EGao X(2016)Symbolic Computation with Integro-Differential OperatorsProceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation10.1145/2930889.2930942(17-18)Online publication date: 20-Jul-2016
https://dl.acm.org/doi/10.1145/2930889.2930942
Show More Cited By

Index Terms

ISSAC 2012 software demonstrations: Symbolic computation for ordinary boundary problems in maple
1. Applied computing
  1. Physical sciences and engineering
    1. Mathematics and statistics
2. Computing methodologies
  1. Symbolic and algebraic manipulation
    1. Computer algebra systems

Recommendations

PIKM 2012: 5th ACM workshop for PhD students in information and knowledge management
CIKM '12: Proceedings of the 21st ACM international conference on Information and knowledge management

The PIKM 2012 workshop is the 5th of its kind after 4 successful PhD workshops at ACM CIKM. This PhD workshop invites papers that describe the Ph.D. dissertation proposals of doctoral students in any of the CIKM areas: databases, information retrieval, ...
Session details: Demonstrations
OOPSLA '11: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion

Welcome to the SPLASH 2011 Demonstrations track. We all know that it's better to see something once than to hear about it a hundred times. Live demonstrations show the impact of software innovation in a dynamic and highly interactive setting. This track ...
Highlights from IWGS 2012: the 3^rd ACM SIGSPATIAL International Workshop on Geostreaming (Redondo Beach, California - November 6, 2012)

The ACM SIGSPATIAL International Workshop on Geostreaming (IWGS) was held for the third time in conjunction with the 20th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (ACM GIS 2012). The workshop has been a ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Communications in Computer Algebra

ACM Communications in Computer Algebra Volume 46, Issue 3/4

September/December 2012

111 pages

ISSN:1932-2232

EISSN:1932-2240

DOI:10.1145/2429135

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 January 2013

Published in SIGSAM-CCA Volume 46, Issue 3/4

Check for updates

Qualifiers

Demonstration

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
48
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)1

Reflects downloads up to 11 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Barkatou MCluzeau T(2024)On the computation of rational solutions of linear integro-differential equations with polynomial coefficientsJournal of Symbolic Computation10.1016/j.jsc.2023.102252121(102252)Online publication date: Mar-2024
https://doi.org/10.1016/j.jsc.2023.102252
Nguyen H(2023)Structural evolution of in-plane hybrid graphene/hexagonal boron nitride heterostructure upon heatingJournal of Molecular Graphics and Modelling10.1016/j.jmgm.2023.108579125(108579)Online publication date: Dec-2023
https://doi.org/10.1016/j.jmgm.2023.108579
Regensburger GAbramov SZima EGao X(2016)Symbolic Computation with Integro-Differential OperatorsProceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation10.1145/2930889.2930942(17-18)Online publication date: 20-Jul-2016
https://dl.acm.org/doi/10.1145/2930889.2930942
Quadrat A(2015)A constructive algebraic analysis approach to Artstein's reduction of linear time-delay systemsIFAC-PapersOnLine10.1016/j.ifacol.2015.09.37948:12(209-214)Online publication date: 2015
https://doi.org/10.1016/j.ifacol.2015.09.379
Rosenkranz MLiu JMaletzky ABuchberger B(2015)Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff PlatesProceedings of the 17th International Workshop on Computer Algebra in Scientific Computing - Volume 930110.1007/978-3-319-24021-3_30(406-423)Online publication date: 14-Sep-2015
https://dl.acm.org/doi/10.1007/978-3-319-24021-3_30
Korporal ARegensburger G(2014)Composing and Factoring Generalized Green’s Operators and Ordinary Boundary ProblemsAlgebraic and Algorithmic Aspects of Differential and Integral Operators10.1007/978-3-642-54479-8_5(116-134)Online publication date: 2014
https://doi.org/10.1007/978-3-642-54479-8_5
Rosenkranz MPhisanbut N(2013)A Symbolic Approach to Boundary Problems for Linear Partial Differential EquationsProceedings of the 15th International Workshop on Computer Algebra in Scientific Computing - Volume 813610.1007/978-3-319-02297-0_25(301-314)Online publication date: 9-Sep-2013
https://dl.acm.org/doi/10.1007/978-3-319-02297-0_25

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

PIKM 2012: 5th ACM workshop for PhD students in information and knowledge management

Session details: Demonstrations

Highlights from IWGS 2012: the 3^rd ACM SIGSPATIAL International Workshop on Geostreaming (Redondo Beach, California - November 6, 2012)