Machine learning and computer algebra

Authors: Huang, Zongyan

Subject Terms: 004, Machine learning, Algebra--Computer programs

Access URL: https://ethos.blethoshyku.com/concern/thesis_or_dissertations/709397

Unranking algorithms for combinatorial structures

Authors: Molinero Albareda, Xavier, Vives Pons, Jordi

Contributors: Universitat Politècnica de Catalunya. Departament de Matemàtiques, Universitat Politècnica de Catalunya. Departament d'Enginyeria Minera, Industrial i TIC, Universitat Politècnica de Catalunya. GRTJ - Grup de Recerca en Teoria de Jocs

Subject Terms: Àrees temàtiques de la UPC::Matemàtiques i estadística, Combinatorial analysis, Game theory, Algebra--Computer programs, Unranking algorithms for combinatorial structures, Package MUPAD-COMBINAT, Generating molecules, Generating influence games, Anàlisi combinatòria, Jocs, Teoria de, MuPAD (Programes d'ordinador), Àlgebra--Programes d'ordinador, Classificació AMS::05 Combinatorics::05E Algebraic combinatorics

File Description: 6 p.; application/pdf

Relation: http://www.naun.org/main/UPress/ami/2015/a242013-081.pdf; info:eu-repo/grantAgreement/MINECO//MTM2012-34426/ES/TEORIA DE JUEGOS: FUNDAMENTOS MATEMATICOS Y APLICACIONES/; https://hdl.handle.net/2117/96502

Availability: https://hdl.handle.net/2117/96502

Sage for Undergraduates

Authors: Gregory V. Bard

Resource Type: eBook.

Subjects: Mathematics--Computer programs, Algebra--Computer programs

Categories: MATHEMATICS / Calculus, MATHEMATICS / Algebra / General, MATHEMATICS / Differential Equations / General

Sage for Undergraduates

Authors: Gregory V. Bard

Resource Type: eBook.

Subjects: Mathematics--Computer programs, Algebra--Computer programs

Categories: MATHEMATICS / Essays, MATHEMATICS / Pre-Calculus, MATHEMATICS / Reference

Computer Algebra in Quantum Field Theory

Authors: Carsten Schneider, Johannes Blümlein

Resource Type: eBook.

Subjects: Quantum theory, Computer science, Electronic data processing, Quantum field theory--Data processing, Quantum field theory--Mathematics, Algebra--Computer programs, Mathematics

Categories: SCIENCE / Physics / Quantum Theory, COMPUTERS / Computer Science, MATHEMATICS / Algebra / General, MATHEMATICS / Mathematical Analysis, SCIENCE / Physics / Mathematical & Computational

Generació ordenada d’estructures combinatòries en “MuPAD-Combinat”

Authors: Vives Pons, Jordi

Contributors: Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, Molinero Albareda, Xavier

Subject Terms: Àrees temàtiques de la UPC::Informàtica::Programació, Àrees temàtiques de la UPC::Matemàtiques i estadística::Àlgebra::Ordres, reticles, estructures algebraiques ordenades, Ordered algebraic structures, Algebra--Computer programs, MuPAD, Algorismes, Implementació, Estructures combinatòries, Generacio ordenada, MuPAD (Programes d'ordinador), Àlgebra -- Programes d'ordinador

File Description: application/pdf; application/zip

Relation: https://hdl.handle.net/2099.1/4879

Availability: https://hdl.handle.net/2099.1/4879

Curs bàsic d'àlgebra

Authors: Gou Cano, Òscar

Contributors: Universitat Politècnica de Catalunya. Departament de Matemàtica Aplicada IV, Zaragoza Monroig, M. Luisa

Source: Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Subject Terms: Àrees temàtiques de la UPC::Informàtica::Aplicacions de la informàtica::Aplicacions informàtiques a la física i l‘enginyeria, Informàtica::Aplicacions de la informàtica::Aplicacions informàtiques a la física i l‘enginyeria [Àrees temàtiques de la UPC], Algebra--Computer programs, Test, Aplicacions (Matemàtica), Complex, Temari, Dubtes, Àlgebra--Programes d'ordinador, Exercicis, Mappings (Mathematics), Matriu

File Description: application/pdf

Access URL: http://hdl.handle.net/2117/78776
https://hdl.handle.net/2117/78776

The Seventeen Provers of the World

Authors: Freek Wiedijk

Resource Type: eBook.

Subjects: Proof theory--Data processing, Algebra--Computer programs

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General

Relational Methods in Computer Science

Authors: Wendy MacCaull, Michael Winter, Ivo Düntsch

Resource Type: eBook.

Subjects: Relationism--Congresses, Computer science--Congresses, Relation algebras--Congresses, Algebra--Computer programs--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Machine Theory

Geogebra, tool for mediating knowledge in the teaching and learning of transformation of functions in mathematics.

Authors: Uddin, Razack Sheriff.

Contributors: Mudaly, Vimolan.

Subject Terms: Mathematics--Computer-assisted instruction, Algebra--Computer programs, Geometry--Computer programs, Theses--Education

File Description: application/pdf

Relation: https://hdl.handle.net/10413/5685

Availability: https://hdl.handle.net/10413/5685

The affective states and learning profiles of students when using an Intelligent Tutoring System (ITS) for algebra

Authors: MARIA CARMINDA, LAGUD

Source: Theses and Dissertations (All)

Subject Terms: Algebra -- Computer programs, Intelligent Tutoring System, Affective education -- Philippines -- Case studies

Availability: https://archium.ateneo.edu/theses-dissertations/130

A comparison study between a traditional and experimental first year linear algebra program.

Authors: Dogan, Hamide.

Contributors: McKnight, Curtis

Subject Terms: Mathematics Study and teaching, Education, Mathematics, Algebra Computer programs, Mathematica (Computer program language), Algebras, Linear

File Description: xii, 170 leaves; application/pdf

Relation: OU Thesis and Dissertation Collections; http://hdl.handle.net/11244/6054

Availability: http://hdl.handle.net/11244/6054

A comparison of a special purpose processor with a general purpose processor and a numerical approach in generating helicopter dynamics equations

Contributors: Ravichandran, S., Florida Atlantic University (Degree grantor), Gaonkar, Gopal H. (Thesis advisor), College of Engineering and Computer Science, Department of Ocean and Mechanical Engineering

Subject Terms: Algebra--Computer programs, Helicopters--Dynamics

File Description: 239 p.; application/pdf; Electronic Thesis or Dissertation

Relation: http://purl.flvc.org/fcla/dt/14517; 14517; FADT14517; fau:11315; https://fau.digital.flvc.org/islandora/object/fau%3A11315/datastream/TN/view/comparison%20of%20a%20special%20purpose%20processor%20with%20a%20general%20purpose%20processor%20and%20a%20numerical%20approach%20in%20generating%20helicopter%20dynamics%20equations.jpg

Availability: http://purl.flvc.org/fcla/dt/14517
https://fau.digital.flvc.org/islandora/object/fau%3A11315/datastream/TN/view/comparison%20of%20a%20special%20purpose%20processor%20with%20a%20general%20purpose%20processor%20and%20a%20numerical%20approach%20in%20generating%20helicopter%20dynamics%20equations.jpg

Heuristic task assignment algorithm using process algebra

Authors: Fernandez, Kai Shan L.

Source: Master's Theses

Subject Terms: Algorithms, Heuristic programming, Algebra--Computer programs, Computer Sciences, Theory and Algorithms

File Description: application/pdf

Relation: https://animorepository.dlsu.edu.ph/etd_masteral/1776; https://animorepository.dlsu.edu.ph/context/etd_masteral/article/8614/viewcontent/TG02575_F_Partial.pdf

Availability: https://animorepository.dlsu.edu.ph/etd_masteral/1776
https://animorepository.dlsu.edu.ph/context/etd_masteral/article/8614/viewcontent/TG02575_F_Partial.pdf

Finding Euler number using box algebra and generalized skew-hooks (with computer program)

Authors: Ang, Stanley A., Calayan, Emmanuel G.

Source: Bachelor's Theses

Subject Terms: Euler's numbers, Algebra--Computer programs, Programming (Mathematics), Skew fields, Linear operators--Generalized inverses, Fields, Algebraic

Relation: https://animorepository.dlsu.edu.ph/etd_bachelors/16156

Availability: https://animorepository.dlsu.edu.ph/etd_bachelors/16156

On some categorical algebra aspects of automata theory : the categorical properties of transition systems

Authors: Give'on, Yehoshafat

Subject Terms: Machine theory, Homomorphisms (Mathematics), Algebra -- Computer programs, Engineering

File Description: 186 bytes; 247510 bytes; 3366 bytes; 292119 bytes; 12254419 bytes; text/plain; application/pdf

Relation: UMR1532; https://hdl.handle.net/2027.42/5076

Availability: https://hdl.handle.net/2027.42/5076

The theory of algebraic automata I : morphisms and regular systems : technical note

Authors: Give'on, Yehoshafat

Subject Terms: Sequential machine theory, Algebra -- Computer programs, Homomorphisms (Mathematics), Monoids, Engineering

File Description: 25 bytes; 25017 bytes; 3366 bytes; 31963 bytes; 1221850 bytes; text/plain; application/pdf

Relation: UMR1548; http://hdl.handle.net/2027.42/5081

Availability: http://hdl.handle.net/2027.42/5081

Transparent categories and categories of transition systems : technical report

Authors: Give'on, Yehoshafat

Subject Terms: Sequential machine theory, Algebra -- Computer programs, Homomorphisms (Mathematics), Monoids, Engineering

File Description: 43 bytes; 39552 bytes; 3366 bytes; 47808 bytes; 1878281 bytes; text/plain; application/pdf

Relation: UMR1558; https://hdl.handle.net/2027.42/5084

Availability: https://hdl.handle.net/2027.42/5084

The application of algebraic systems to finite automata : technical report

Authors: Give'on, Yehoshafat

Subject Terms: Sequential machine theory, Monoids, Algebra -- Computer programs, Engineering

File Description: 24 bytes; 16361 bytes; 3366 bytes; 20404 bytes; 762947 bytes; text/plain; application/pdf

Relation: UMR1547; http://hdl.handle.net/2027.42/5077

Availability: http://hdl.handle.net/2027.42/5077

Outline for an algebraic study of event automata : technical report

Authors: Give'on, Yehoshafat

Subject Terms: Sequential machine theory, Algebra -- Computer programs, Homomorphisms (Mathematics, Monoids, Engineering

File Description: 57 bytes; 52173 bytes; 3366 bytes; 62164 bytes; 2822174 bytes; text/plain; application/pdf

Relation: UMR1559; http://hdl.handle.net/2027.42/5080

Availability: http://hdl.handle.net/2027.42/5080