Computational techniques in finite semigroup theory

Συγγραφείς: Wilson, Wilf A.

Συνεισφορές: Mitchell, James David

Θεματικοί όροι: 512, Semigroup theory, Computational algebra, Maximal subsemigroups, Semigroups, Computational semigroup theory, Rees matrix semigroups, Rees 0-matrix semigroups, Direct products, Algorithms, Transformation semigroups, Diagram monoids, Partition monoids, Monoids, Generating sets, Green's relations, QA182.W5, Semigroups--Data processing, Algebra--Data processing, Group theory

Σύνδεσμος πρόσβασης: https://ethos.blethoshyku.com/concern/thesis_or_dissertations/759374

Computer Algebra in Scientific Computing

Συγγραφείς: François Boulier, Chenqi Mou, Timur M. Sadykov, Evgenii V. Vorozhtsov

Resource Type: eBook.

Θέματα: Computer science--Mathematics--Congresses, Science--Data processing--Congresses, Algebra--Data processing--Congresses

Categories: COMPUTERS / Artificial Intelligence / General

Ideals, Varieties, and Algorithms

Συγγραφείς: David A. Cox, John Little, Donal O'Shea

Resource Type: eBook.

Θέματα: Commutative algebra--Data processing, Geometry, Algebraic--Data processing

Categories: MATHEMATICS / Geometry / Algebraic

Learning probability with Fathom

Συγγραφείς: Chávez-López, Óscar, 1963-

Πηγή: http://web.missouri.edu/~chavezo/mctm05/.

Θεματικοί όροι: Algebra -- Juvenile software, Algebra -- Data processing

Relation: Learning, Teaching, and Curriculum presentations (MU); University of Missouri-Columbia. College of Education. Department of Learning, Teaching, and Curriculum; https://hdl.handle.net/10355/3928

Διαθεσιμότητα: https://hdl.handle.net/10355/3928

Making Presentation Math Computable

Συγγραφείς: André Greiner-Petter

Resource Type: eBook.

Θέματα: Algebra--Data processing, Artificial intelligence

Categories: TECHNOLOGY & ENGINEERING / Engineering (General), COMPUTERS / Artificial Intelligence / General, MATHEMATICS / Algebra / General, MATHEMATICS / Applied

Numerical Calculations in Clifford Algebra : A Practical Guide for Engineers and Scientists

Συγγραφείς: Andrew Seagar

Resource Type: eBook.

Θέματα: Clifford algebras, Algebra--Data processing

Categories: MATHEMATICS / Applied, COMPUTERS / Software Development & Engineering / Tools, SCIENCE / Physics / Mathematical & Computational

Tensors for Data Processing : Theory, Methods, and Applications

Συγγραφείς: Yipeng Liu

Resource Type: eBook.

Θέματα: Tensor algebra--Data processing

Categories: TECHNOLOGY & ENGINEERING / Signals & Signal Processing

Computer Algebra : Concepts and Techniques

Συγγραφείς: Edmund A. Lamagna

Resource Type: eBook.

Θέματα: Algebra--Data processing

Categories: COMPUTERS / Programming / Algorithms, COMPUTERS / Mathematical & Statistical Software, MATHEMATICS / Algebra / General

Weakly projective and weakly injective modules

Συγγραφείς: Saleh, Mohammad

Θεματικοί όροι: Rings (Algebra), Modules (Algebra), Unit groups (Ring theory), Algebra - Data processing

Relation: http://hdl.handle.net/20.500.11889/4049

Διαθεσιμότητα: https://hdl.handle.net/20.500.11889/4049

Zum Einfluss von Computeralgebrasystemen auf mathematische Grundfertigkeiten

Συγγραφείς: Robert Neumann

Resource Type: eBook.

Θέματα: Computer science--Mathematics, Algebra--Data processing

Categories: EDUCATION / General, EDUCATION / Teaching / Subjects / Mathematics

Especificació algebraica de tipus abstractes de dades: estudi de casos

Συγγραφείς: Franch Gutiérrez, Javier

Συνεισφορές: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació, Universitat Politècnica de Catalunya. inSSIDE - integrated Software, Service, Information and Data Engineering

Θεματικοί όροι: Àrees temàtiques de la UPC::Informàtica, Algebra -- Data processing, Àlgebra, Àlgebra -- Processament de dades

Περιγραφή αρχείου: 69 p.; application/pdf

Relation: LSI-91-5; Franch, X. Especificació algebraica de tipus abstractes de dades: estudi de casos. 1991.; https://hdl.handle.net/2117/329312

Διαθεσιμότητα: https://hdl.handle.net/2117/329312

Constraints for behavioural specifications

Συγγραφείς: Orejas Valdés, Fernando, Nivela Alós, M. Pilar Brígida

Συνεισφορές: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Θεματικοί όροι: Àrees temàtiques de la UPC::Informàtica, Algebra -- Data processing, Àlgebra -- Processament de dades

Περιγραφή αρχείου: 28 p.; application/pdf

Relation: LSI-90-35; Orejas, F.; Nivela, M. "Constraints for behavioural specifications". 1990.; https://hdl.handle.net/2117/191927

Διαθεσιμότητα: https://hdl.handle.net/2117/191927

Ideals, Varieties, and Algorithms

Συγγραφείς: David A. Cox, John Little, Donal O'Shea

Resource Type: eBook.

Θέματα: Commutative algebra--Data processing, Geometry, Algebraic--Data processing

Categories: MATHEMATICS / Geometry / Algebraic, COMPUTERS / Mathematical & Statistical Software, MATHEMATICS / Algebra / Abstract, MATHEMATICS / Logic

MATLAB Symbolic Algebra and Calculus Tools

Συγγραφείς: Cesar Lopez

Resource Type: eBook.

Θέματα: Algebra--Data processing, Mathematical analysis--Data processing

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Mathematical & Statistical Software

Algebraic and Algorithmic Aspects of Differential and Integral Operators

Συγγραφείς: Moulay Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz

Resource Type: eBook.

Θέματα: Computational complexity, Algebra--Data processing, Logic design, Computer science, Computer software, Differential equations, Partial

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms, MATHEMATICS / Algebra / General, MATHEMATICS / Differential Equations / General, MATHEMATICS / Discrete Mathematics

Links between two semisymmetric graphs on 112 vertices via association schemes

Συγγραφείς: Klin, Mikhail, Lauri, Josef, Ziv-Av, Matan

Θεματικοί όροι: Mathematics -- Graphic methods, Algebra -- Data processing, Graph theory -- Mathematical models, Association schemes (Combinatorial analysis)

Relation: https://www.um.edu.mt/library/oar/handle/123456789/45992

Διαθεσιμότητα: https://www.um.edu.mt/library/oar/handle/123456789/45992
https://doi.org/10.1016/j.jsc.2011.12.040

Algebraic Foundations in Computer Science

Συγγραφείς: Werner Kuich, George Rahonis

Resource Type: eBook.

Θέματα: Algebra--Data processing--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Algebra / General

Computer Algebra in Scientific Computing

Συγγραφείς: Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov

Resource Type: eBook.

Θέματα: Algebra--Data processing--Congresses, Computer science--Mathematics--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / Computer Graphics, COMPUTERS / Logic Design, COMPUTERS / Programming / Algorithms, MATHEMATICS / Algebra / General, MATHEMATICS / Discrete Mathematics, MATHEMATICS / Numerical Analysis

Algebraic Informatics

Συγγραφείς: Franz Winkler

Resource Type: eBook.

Θέματα: Computer science--Congresses, Software engineering--Congresses, Logic design--Congresses, Computational complexity--Congresses, Algebra--Data processing--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Algebra / General, MATHEMATICS / Applied, MATHEMATICS / Discrete Mathematics

Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering

Συγγραφείς: Edward L. Green, Serkan Hoşten, Reinhard C. Laubenbacher, Victoria Ann Powers

Resource Type: eBook.

Θέματα: Algebra--Data processing--Congresses, Equations--Numerical solutions--Data processin

Categories: MATHEMATICS / Differential Equations / General, MATHEMATICS / Geometry / Algebraic