Computer Algebra in Scientific Computing
From MaRDI portal
Publication:5479223
DOI10.1007/11555964zbMath1144.68384OpenAlexW4300628649MaRDI QIDQ5479223
Rudolf Berghammer, Frank Neumann
Publication date: 7 July 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11555964
Related Items (34)
Using relation-algebraic means and tool support for investigating and computing bipartitions ⋮ Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces ⋮ Software Development in Relation Algebra with Ampersand ⋮ Cryptomorphic topological structures: a computational, relation-algebraic approach ⋮ Control of Condorcet voting: complexity and a relation-algebraic approach ⋮ Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures ⋮ Relation Algebras, Matrices, and Multi-valued Decision Diagrams ⋮ Relations in linear algebra ⋮ Relation-algebraic specification and solution of special university timetabling problems ⋮ Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets ⋮ Computing and visualizing Banks sets of dominance relations using relation algebra and RelView ⋮ On the use of binary decision diagrams for solving problems on simple games ⋮ Relation-algebraic modeling and solution of chessboard independence and domination problems ⋮ Relation Algebra and RelView in Practical Use: Construction of Special University Timetables ⋮ Multi-objective Problems in Terms of Relational Algebra ⋮ Programming and automating mathematics in the Tarski-Kleene hierarchy ⋮ Computing minimal extending sets by relation-algebraic modeling and development ⋮ A general method for representing sets of relations by vectors ⋮ Experimental investigation of sufficient criteria for relations to have kernels ⋮ On Automating the Calculus of Relations ⋮ Applying relation algebra and RelView to solve problems on orders and lattices ⋮ Relational measures and integration in preference modeling ⋮ Relational Construction of Specific Timetables ⋮ Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool ⋮ Embedding mappings and splittings with applications ⋮ Contact, closure, topology, and the linking of row and column types of relations ⋮ Order- and graph-theoretic investigation of dimensions of finite topological spaces and Alexandroff spaces ⋮ Relation algebra as programming language using the Ampersand compiler ⋮ Cardinality of relations with applications ⋮ RelView ⋮ Computing and Visualizing Closure Objects Using Relation Algebra and RelView ⋮ Efficient Computation of the Large Inductive Dimension Using Order- and Graph-theoretic Means ⋮ Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures ⋮ Implementing Relational Specifications in a Constraint Functional Logic Language
This page was built for publication: Computer Algebra in Scientific Computing
