Machine learning and computer algebra

Συγγραφείς: Huang, Zongyan

Θεματικοί όροι: 004, Machine learning, Algebra--Computer programs

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

Unranking algorithms for combinatorial structures

Συγγραφείς: Molinero Albareda, Xavier, Vives Pons, Jordi

Συνεισφορές: 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

Θεματικοί όροι: À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

Περιγραφή αρχείου: 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

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

Sage for Undergraduates

Συγγραφείς: Gregory V. Bard

Resource Type: eBook.

Θέματα: Mathematics--Computer programs, Algebra--Computer programs

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

Sage for Undergraduates

Συγγραφείς: Gregory V. Bard

Resource Type: eBook.

Θέματα: Mathematics--Computer programs, Algebra--Computer programs

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

Computer Algebra in Quantum Field Theory

Συγγραφείς: Carsten Schneider, Johannes Blümlein

Resource Type: eBook.

Θέματα: 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”

Συγγραφείς: Vives Pons, Jordi

Συνεισφορές: Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, Molinero Albareda, Xavier

Θεματικοί όροι: À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

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

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

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

Curs bàsic d'àlgebra

Συγγραφείς: Gou Cano, Òscar

Συνεισφορές: Universitat Politècnica de Catalunya. Departament de Matemàtica Aplicada IV, Zaragoza Monroig, M. Luisa

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

Θεματικοί όροι: À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

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

Σύνδεσμος πρόσβασης: http://hdl.handle.net/2117/78776
https://hdl.handle.net/2117/78776

The Seventeen Provers of the World

Συγγραφείς: Freek Wiedijk

Resource Type: eBook.

Θέματα: 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

Συγγραφείς: Wendy MacCaull, Michael Winter, Ivo Düntsch

Resource Type: eBook.

Θέματα: 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.

Συγγραφείς: Uddin, Razack Sheriff.

Συνεισφορές: Mudaly, Vimolan.

Θεματικοί όροι: Mathematics--Computer-assisted instruction, Algebra--Computer programs, Geometry--Computer programs, Theses--Education

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

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

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

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

Συγγραφείς: MARIA CARMINDA, LAGUD

Πηγή: Theses and Dissertations (All)

Θεματικοί όροι: Algebra -- Computer programs, Intelligent Tutoring System, Affective education -- Philippines -- Case studies

Διαθεσιμότητα: https://archium.ateneo.edu/theses-dissertations/130

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

Συγγραφείς: Dogan, Hamide.

Συνεισφορές: McKnight, Curtis

Θεματικοί όροι: Mathematics Study and teaching, Education, Mathematics, Algebra Computer programs, Mathematica (Computer program language), Algebras, Linear

Περιγραφή αρχείου: xii, 170 leaves; application/pdf

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

Διαθεσιμότητα: 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

Συνεισφορές: Ravichandran, S., Florida Atlantic University (Degree grantor), Gaonkar, Gopal H. (Thesis advisor), College of Engineering and Computer Science, Department of Ocean and Mechanical Engineering

Θεματικοί όροι: Algebra--Computer programs, Helicopters--Dynamics

Περιγραφή αρχείου: 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

Διαθεσιμότητα: 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

Συγγραφείς: Fernandez, Kai Shan L.

Πηγή: Master's Theses

Θεματικοί όροι: Algorithms, Heuristic programming, Algebra--Computer programs, Computer Sciences, Theory and Algorithms

Περιγραφή αρχείου: 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

Διαθεσιμότητα: 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)

Συγγραφείς: Ang, Stanley A., Calayan, Emmanuel G.

Πηγή: Bachelor's Theses

Θεματικοί όροι: 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

Διαθεσιμότητα: https://animorepository.dlsu.edu.ph/etd_bachelors/16156

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

Συγγραφείς: Give'on, Yehoshafat

Θεματικοί όροι: Machine theory, Homomorphisms (Mathematics), Algebra -- Computer programs, Engineering

Περιγραφή αρχείου: 186 bytes; 247510 bytes; 3366 bytes; 292119 bytes; 12254419 bytes; text/plain; application/pdf

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

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

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

Συγγραφείς: Give'on, Yehoshafat

Θεματικοί όροι: Sequential machine theory, Algebra -- Computer programs, Homomorphisms (Mathematics), Monoids, Engineering

Περιγραφή αρχείου: 25 bytes; 25017 bytes; 3366 bytes; 31963 bytes; 1221850 bytes; text/plain; application/pdf

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

Διαθεσιμότητα: http://hdl.handle.net/2027.42/5081

Transparent categories and categories of transition systems : technical report

Συγγραφείς: Give'on, Yehoshafat

Θεματικοί όροι: Sequential machine theory, Algebra -- Computer programs, Homomorphisms (Mathematics), Monoids, Engineering

Περιγραφή αρχείου: 43 bytes; 39552 bytes; 3366 bytes; 47808 bytes; 1878281 bytes; text/plain; application/pdf

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

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

The application of algebraic systems to finite automata : technical report

Συγγραφείς: Give'on, Yehoshafat

Θεματικοί όροι: Sequential machine theory, Monoids, Algebra -- Computer programs, Engineering

Περιγραφή αρχείου: 24 bytes; 16361 bytes; 3366 bytes; 20404 bytes; 762947 bytes; text/plain; application/pdf

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

Διαθεσιμότητα: http://hdl.handle.net/2027.42/5077

Outline for an algebraic study of event automata : technical report

Συγγραφείς: Give'on, Yehoshafat

Θεματικοί όροι: Sequential machine theory, Algebra -- Computer programs, Homomorphisms (Mathematics, Monoids, Engineering

Περιγραφή αρχείου: 57 bytes; 52173 bytes; 3366 bytes; 62164 bytes; 2822174 bytes; text/plain; application/pdf

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

Διαθεσιμότητα: http://hdl.handle.net/2027.42/5080