share record
persistent URL:
Sergei D. Meshveliani : Dependent types for an adequate programming of algebra. CICM Workshops 2013 2012 share record
persistent URL:
José Nuno Oliveira : Towards a linear algebra of programming. Formal Aspects Comput. 24 (4-6 ) : 433-458 (2012 )share record
persistent URL:
Peter Höfner , Bernhard Möller , Andreas Zelend : Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming. RAMiCS 2012 : 33-49 share record
persistent URL:
Shuhei Kimura , Koki Matsumura , Mariko Okada-Hatakeyama : Inference of S-system models of genetic networks by solving linear programming problems and sets of linear algebraic equations. IJCNN 2012 : 1-8 share record
persistent URL:
Drew Schmidt , George Ostrouchov , Wei-Chen Chen , Pragneshkumar B. Patel : Tight Coupling of R and Distributed Linear Algebra for High-Level Programming with Big Data. SC Companion 2012 : 811-815 2011 share record
persistent URL:
Etienne de Klerk , Cristian Dobre , Dmitrii V. Pasechnik : Numerical block diagonalization of matrix *-algebras with application to semidefinite programming. Math. Program. 129 (1 ) : 91-111 (2011 )2010 share record
persistent URL:
Jiawang Nie , Kristian Ranestad , Bernd Sturmfels : The algebraic degree of semidefinite programming. Math. Program. 122 (2 ) : 379-405 (2010 )export record
dblp key:
journals/tase/ReveliotisRC10 share record
persistent URL:
Spyros A. Reveliotis , Elzbieta Roszkowska , Jin Young Choi : Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies Through Mathematical Programming. IEEE Trans Autom. Sci. Eng. 7 (2 ) : 240-248 (2010 )share record
persistent URL:
Rafael del Vado Vírseda : Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming. AMAST 2010 : 180-200 2009 share record
persistent URL:
Alper Odabas : GAP (grup, algoritma ve programlama) ile cebirler üzerinde çaprazlanmış modüller (Crossed modules of algebras with GAP (group, algorithm and programming). Eskişehir Osmangazi University, Turkey, 2009 share record
persistent URL:
Shin-Cheng Mu , Hsiang-Shang Ko , Patrik Jansson : Algebra of programming in Agda: Dependent types for relational program derivation. J. Funct. Program. 19 (5 ) : 545-579 (2009 )share record
persistent URL:
Gianluca Amato , James Lipton , Robert McGrail : On the algebraic structure of declarative programming languages. Theor. Comput. Sci. 410 (46 ) : 4626-4671 (2009 )share record
persistent URL:
Peter Steffen , Robert Giegerich , Mathieu Giraud : GPU Parallelization of Algebraic Dynamic Programming. PPAM (2) 2009 : 290-299 share record
persistent URL:
Rekha R. Thomas : Integer Programming: Algebraic Methods. Encyclopedia of Optimization 2009 : 1624-1634 2008 share record
persistent URL:
Nils Klimanis : Generic programming and algebraic multigrid: building blocks for scientific computing. University of Göttingen, VDM Verlag Dr. Müller, Saarbrücken, Germany 2008 , ISBN 978-3-8364-3301-3 , pp. 1-205share record
persistent URL:
Dean Zeller : An introduction to programming curriculum including elements of mathematics, art, and creative writing (abstract only). ACM Commun. Comput. Algebra 42 (1-2 ) : 91 (2008 )share record
persistent URL:
Joel Falcou , Jocelyn Sérot , Lucien Pech , Jean-Thierry Lapresté : Meta-programming Applied to Automatic SMP Parallelization of Linear Algebra Code. Euro-Par 2008 : 729-738 share record
persistent URL:
Shin-Cheng Mu , Hsiang-Shang Ko , Patrik Jansson : Algebra of Programming Using Dependent Types. MPC 2008 : 268-283 share record
persistent URL:
Alejandro Tamalet , Olha Shkaravska , Marko C. J. D. van Eekelen : Size Analysis of Algebraic Data Type. Trends in Functional Programming 2008 : 33-48 2007 share record
persistent URL:
Walter Guttmann : Algebraic foundations of the unifying theories of programming. University of Ulm, Germany, 2007 , pp. 1-95share record
persistent URL:
Nils Klimanis : Generic programming and algebraic multigrid for stabilized finite element methods. University of Göttingen, 2007 export record
dblp key:
journals/nla/BonettiniRT07 share record
persistent URL:
Silvia Bonettini , Valeria Ruggiero , Federica Tinti : On the solution of indefinite systems arising in nonlinear programming problems. Numer. Linear Algebra Appl. 14 (10 ) : 807-831 (2007 )share record
persistent URL:
Spiridon Reveliotis , Elzbieta Roszkowska , Jin Young Choi : Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies through Mathematical Programming. CASE 2007 : 200-206 share record
persistent URL:
Robert A. van de Geijn : The science of programming dense linear algebra libraries. CLUSTER 2007 share record
persistent URL:
Walter Guttmann : Algebraic Foundations of the Unifying Theories of Programming. Ausgezeichnete Informatikdissertationen 2007 : 141-150 2006 share record
persistent URL:
Anastasia Analyti , Ioannis Pachoulakis : Logic Programming Representation of the Compound Term Composition Algebra. Fundam. Informaticae 73 (3 ) : 321-360 (2006 )2005 share record
persistent URL:
Joost Vennekens , Marc Denecker : An Algebraic Account of Modularity in ID-logic. Answer Set Programming 2005 export record
dblp key:
journals/entcs/AltenkirchGVS07 share record
persistent URL:
Thorsten Altenkirch , Jonathan Grattage , Juliana Kaizer Vizzotto , Amr Sabry : An Algebra of Pure Quantum Programming. QPL 2005 : 23-47 2004 share record
persistent URL:
H. A. de Jong , Pieter A. Olivier : Generation of abstract programming interfaces from syntax definitions. J. Log. Algebraic Methods Program. 59 (1-2 ) : 35-61 (2004 )share record
persistent URL:
Alexandre V. Zamulin : An Abstract Compiler Model as a Result of the Algebraic Semantics of a Programming Language. Program. Comput. Softw. 30 (5 ) : 295-302 (2004 )