Search alternatives:
associations using » association using, associations united

1
by Erciyes, K.
Published 2021
Springer International Publishing
... for various inputs Supplies practical hints, where possible, for parallel processing associated with algebraic...

2
by Wilkinson, John H., Reinsch, C.
Published 1971
Springer Berlin Heidelberg
Table of Contents: ... The Algebraic Eigenvalue Problem -- to Part II (J. H. Wilkinson) -- Contribution II/l: The Jacobi Method...

3
by Ruiz-Tolosa, Juan R., Castillo, Enrique
Published 2005
Springer Berlin Heidelberg
Table of Contents: ...Basic Tensor Algebra -- Tensor Spaces -- to Tensors -- Homogeneous Tensors -- Change-of-basis...

4
by Kurgalin, Sergei, Borzunov, Sergei
Published 2020
Springer International Publishing
Table of Contents: ... -- Graphs -- Boolean Algebra -- Complex Numbers -- Recurrence Relations -- Concept of an Algorithm...

5
by Heesterman, Aaart R.
Published 1983
Springer Netherlands
Table of Contents: ... Notation -- III / Block-Equations and Matrix-Inversion -- IV / Some Operators and Their Use -- V...

6
Published 1991
Springer Berlin Heidelberg
Table of Contents: ... on decision properties -- Algebraic graph rewriting using a single pushout -- Unifying initial and loose...

7
Published 1991
Springer Berlin Heidelberg
Table of Contents: ... representation of arithmetic for term rewriting -- Query optimization using rewrite rules -- Boolean algebra...

8
Published 2012
Springer Berlin Heidelberg
Table of Contents: ... and the Special Case of Identifying Vertices Using Paths -- Disjoint Set Forest Digraph Representation...

9
by Makinson, David
Published 2012
Springer London
Table of Contents: ...Collecting Things Together: Sets -- Comparing Things: Relations -- Associating One Item...

10
by Makinson, David
Published 2008
Springer London
Table of Contents: ...Collecting Things Together: Sets -- Comparing Things: Relations -- Associating One Item...

11
by Roggenbach, Markus, Cerone, Antonio, Schlingloff, Bernd-Holger, Schneider, Gerardo
Published 2022
Springer International Publishing
Table of Contents: ...1 Formal Methods -- Part I Languages: 2 Logics for Software Engineering -- 3 The Process Algebra...

12
by Dzhafarov, Damir D., Mummert, Carl
Published 2022
Springer International Publishing
Table of Contents: ... principles -- Part IV Other areas: 10 Analysis and topology -- 11 Algebra -- 12 Set theory and beyond...

13
by Soare, Robert I.
Published 2016
Springer Berlin Heidelberg
...Theory and Applications of Computability, In cooperation with the association Computability...

14
Published 2001
Physica
Table of Contents: ...Interpretation of Tabular Expressions Using Arrays of Relations -- Translating Relational Programs...

15
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... of non-terminating rewrite systems using minimal coverings -- Congruence Types -- Deduction by combining...

16
by Vince, John
Published 2018
Springer International Publishing
Table of Contents: ... using Complex Numbers -- Geometry Using Geometric Algebra -- Rotating Vectors using Quaternions...

17
Published 2018
Springer International Publishing
Table of Contents: ... and Verification of Data-aware BPMN Processes using Rewriting Modulo SMT -- Associative Unification and Symbolic...

18
Published 1990
Springer Berlin Heidelberg
Table of Contents: ...Putting algebraic components together: A dependent type approach -- The use of proof plans...

19
Published 1992
Springer Berlin Heidelberg
Table of Contents: ... of Reflection and Cognitive Conflict -- Pre-Algebraic Problem Solving -- Can We Solve the Problem Solving...

20
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... -- Compactness of systems of equations on completely regular semigroups -- Decision problems concerning algebraic...