Mathematical Software

Authors and titles for April 2012

[1] arXiv:1204.0053 [pdf, other]

Title: Theory Presentation Combinators

Jacques Carette, Russell O'Connor

Comments: Extended version of paper to appear in proceedings of CICM 2012

Journal-ref: AISC/MKM/Calculemus 2012: 202-215

Subjects: Mathematical Software (cs.MS); Symbolic Computation (cs.SC); Category Theory (math.CT)

[2] arXiv:1204.3020 [pdf, other]

Title: TeXmacs-Reduce interface

Andrey Grozin

Comments: html exported from TeXmacs (alas, arXiv does not accept TeXmacs files)

Subjects: Mathematical Software (cs.MS)

[3] arXiv:1204.3853 [pdf, other]

Title: Block-Structured Adaptive Mesh Refinement Algorithms for Vlasov Simulation

J. A. F. Hittinger, J. W. Banks

Subjects: Mathematical Software (cs.MS); Plasma Physics (physics.plasm-ph)

[4] arXiv:1204.5094 [pdf, other]

Title: Point-and-write --- Documenting Formal Mathematics by Reference

Carst Tankink, Christoph Lange, Josef Urban

Comments: Conference on Intelligent Computer Mathematics, July 8--13, Bremen, Germany. Published as number 7362 in Lecture Notes in Artificial Intelligence, Springer

Subjects: Mathematical Software (cs.MS); Digital Libraries (cs.DL)

[5] arXiv:1204.5577 [pdf, other]

Title: Automated derivation of the adjoint of high-level transient finite element programs

Patrick E. Farrell (1), David A. Ham (2 and 3), Simon F. Funke (1 and 3), Marie E. Rognes (4) ((1) Department of Earth Science and Engineering Imperial College London, (2) Department of Computing Imperial College London, (3) Grantham Institute for Climate Change Imperial College London, (4) Simula Research Laboratory Lysaker Norway)

Journal-ref: SIAM Journal on Scientific Computing 2013 35:4, C369-C393

Subjects: Mathematical Software (cs.MS)

[6] arXiv:1204.0267 (cross-list from cs.CE) [pdf, other]

Title: Computational science and re-discovery: open-source implementations of ellipsoidal harmonics for problems in potential theory

Jaydeep P. Bardhan, Matthew G. Knepley

Comments: 25 pages, 3 figures

Journal-ref: Computational Science & Discovery, 5:014006, 2012

Subjects: Computational Engineering, Finance, and Science (cs.CE); Mathematical Software (cs.MS); Chemical Physics (physics.chem-ph); Computational Physics (physics.comp-ph)

[7] arXiv:1204.3052 (cross-list from cs.DC) [pdf, other]

Title: Heterogeneous Highly Parallel Implementation of Matrix Exponentiation Using GPU

Chittampally Vasanth Raja, Srinivas Balasubramanian, Prakash S Raghavendra

Comments: 15 pages, 12 figures, International Journal of Distributed and Parallel systems (IJDPS) ISSN : 0976 - 9757 [Online] ; 2229 - 3957 [Print]

Journal-ref: International Journal of Distributed and Parallel Systems, Vol 3, No. 2, March 2012 issue

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Mathematical Software (cs.MS); Numerical Analysis (math.NA)

[8] arXiv:1204.5086 (cross-list from cs.DL) [pdf, other]

Title: Reimplementing the Mathematical Subject Classification (MSC) as a Linked Open Dataset

Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou

Comments: Conference on Intelligent Computer Mathematics, July 9-14, Bremen, Germany. Published as number 7362 in Lecture Notes in Artificial Intelligence, Springer

Subjects: Digital Libraries (cs.DL); Mathematical Software (cs.MS)