Mathematical Software

Authors and titles for July 2012

[1] arXiv:1207.1380 [pdf, other]

Title: Bayes Blocks: An Implementation of the Variational Bayesian Building Blocks Framework

Markus Harva, Tapani Raiko, Antti Honkela, Harri Valpola, Juha Karhunen

Comments: Appears in Proceedings of the Twenty-First Conference on Uncertainty in Artificial Intelligence (UAI2005)

Subjects: Mathematical Software (cs.MS); Machine Learning (cs.LG); Machine Learning (stat.ML)

[2] arXiv:1207.1746 [pdf, other]

Title: A Generic Library for Stencil Computations

Mauro Bianco, Ugo Varetto

Subjects: Mathematical Software (cs.MS); Distributed, Parallel, and Cluster Computing (cs.DC); Performance (cs.PF)

[3] arXiv:1207.1916 [pdf, other]

Title: How good are MatLab, Octave and Scilab for Computational Modelling?

Eliana S. de Almeida, Antonio C. Medeiros, Alejandro C. Frery

Comments: Accepted for publication in the Computational and Applied Mathematics journal

Subjects: Mathematical Software (cs.MS); Computation (stat.CO)

[4] arXiv:1207.2291 [pdf, other]

Title: On Formal Specification of Maple Programs

Muhammad Taimoor Khan, Wolfgang Schreiner

Subjects: Mathematical Software (cs.MS); Artificial Intelligence (cs.AI)

[5] arXiv:1207.2300 [pdf, other]

Title: Towards the Formal Specification and Verification of Maple Programs

Muhammad Taimoor Khan, Wolfgang Schreiner

Subjects: Mathematical Software (cs.MS); Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)

[6] arXiv:1207.0398 (cross-list from math.CO) [pdf, other]

Title: Multivariate Polynomials in Sage

Viviane Pons

Comments: 18 pages

Journal-ref: Seminaire Lotharingien de Combinatoire 66 (2011), Article B66z, 18 pp

Subjects: Combinatorics (math.CO); Mathematical Software (cs.MS); Commutative Algebra (math.AC)

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

Title: Modular Arithmetic Expressions and Primality Testing via DNA Self-Assembly

Abhishek Chhajer, Manish K. Gupta, Sandeep Vasani, Jaley Dholakiya

Subjects: Emerging Technologies (cs.ET); Data Structures and Algorithms (cs.DS); Mathematical Software (cs.MS)

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

Title: Discovery of non-gaussian linear causal models using ICA

Shohei Shimizu, Aapo Hyvarinen, Yutaka Kano, Patrik O. Hoyer

Comments: Appears in Proceedings of the Twenty-First Conference on Uncertainty in Artificial Intelligence (UAI2005)

Subjects: Machine Learning (cs.LG); Mathematical Software (cs.MS); Machine Learning (stat.ML)

[9] arXiv:1207.3315 (cross-list from cs.AI) [pdf, other]

Title: Verifying an algorithm computing Discrete Vector Fields for digital imaging

Jónathan Heras, María Poza, Julio Rubio

Comments: Published in the Calculemus track of the CICM 2012 congress

Journal-ref: Calculemus 2012, Lecture Notes in Computer Science, 7362, pages 215--229, 2012

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Mathematical Software (cs.MS); Algebraic Topology (math.AT)

[10] arXiv:1207.3441 (cross-list from cs.LO) [pdf, other]

Title: Isabelle/jEdit --- a Prover IDE within the PIDE framework

Makarius Wenzel

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Mathematical Software (cs.MS)