Pages that link to "Item:Q5479223"
From MaRDI portal
The following pages link to Computer Algebra in Scientific Computing (Q5479223):
Displayed 31 items.
- RelView (Q13546) (← links)
- Control of Condorcet voting: complexity and a relation-algebraic approach (Q319803) (← links)
- Computing and visualizing Banks sets of dominance relations using relation algebra and RelView (Q383785) (← links)
- Programming and automating mathematics in the Tarski-Kleene hierarchy (Q406433) (← links)
- Computing minimal extending sets by relation-algebraic modeling and development (Q406434) (← links)
- Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool (Q516028) (← links)
- Contact, closure, topology, and the linking of row and column types of relations (Q549681) (← links)
- Relation-algebraic specification and solution of special university timetabling problems (Q604453) (← links)
- Cardinality of relations with applications (Q738869) (← links)
- Applying relation algebra and RelView to solve problems on orders and lattices (Q929300) (← links)
- Relational measures and integration in preference modeling (Q929969) (← links)
- Embedding mappings and splittings with applications (Q968275) (← links)
- Cryptomorphic topological structures: a computational, relation-algebraic approach (Q1633340) (← links)
- Relation algebra as programming language using the Ampersand compiler (Q1785856) (← links)
- On the use of binary decision diagrams for solving problems on simple games (Q1926964) (← links)
- Relation-algebraic modeling and solution of chessboard independence and domination problems (Q1931899) (← links)
- Order- and graph-theoretic investigation of dimensions of finite topological spaces and Alexandroff spaces (Q2274045) (← links)
- Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures (Q2347907) (← links)
- Using relation-algebraic means and tool support for investigating and computing bipartitions (Q2360655) (← links)
- Relations in linear algebra (Q2401016) (← links)
- Implementing Relational Specifications in a Constraint Functional Logic Language (Q2873796) (← links)
- Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures (Q2915139) (← links)
- Relation Algebras, Matrices, and Multi-valued Decision Diagrams (Q2915148) (← links)
- Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets (Q2941178) (← links)
- Relation Algebra and RelView in Practical Use: Construction of Special University Timetables (Q3498403) (← links)
- Multi-objective Problems in Terms of Relational Algebra (Q3498407) (← links)
- On Automating the Calculus of Relations (Q3541686) (← links)
- Computing and Visualizing Closure Objects Using Relation Algebra and RelView (Q3644085) (← links)
- Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces (Q5283203) (← links)
- Software Development in Relation Algebra with Ampersand (Q5283210) (← links)
- Relational Construction of Specific Timetables (Q5391954) (← links)