Projects with this topic
-
Mirror of http://www.cip.ifi.lmu.de/~grinberg/ (mathematics website with papers, lecture notes etc.)
Updated -
⟨Grassmann-Clifford-Hodge⟩ multilinear differential geometric algebra
topology algebra computer-alg... linear-algebra automatic di... Simplicial H... quantum comp... quaternion complex number computationa... computationa... differential... differential... tensor Geometry Pro... Lie-Groups Lie-Algebras lie-algebra geometric al... riemannian-m... discrete ext... mathematics simplex homological ...Updated -
Learn abstract math with agda
🚀 Updated -
Symbolic parser for Julia language term rewriting using REDUCE algebra
Updated -
Field-algebra based on Group / Ring symbolic vector module extension
Updated -
C lang object oriented library for algebra operations
Updated -
My University Assignments etc
Updated -
Classical logic truth table magma algebra
Updated -
Field algebra constant parametric type
Updated -
In this work we will define a superset of integers (the complete integers), which contains the dual of integers along parity (e.g. the odd zero, the even one, ...). Then we will see how they form a ring and how they can be used as exponents for real numbers powers, in order to write functions which have a discontinuity in zero (the function itself or one of its derivates), as for example the absolute value and the sign function.
Updated -
Notes for the lecture course “Algebra I”.
Updated -
Find intuitionistic counter-models for classical tautologies.
Updated -
Selección de ejercicios del libro «Introducción al álgebra conmutativa» de Atiyah y Macdonald.
Updated -
Métodos estimação de matriz de covariância. Trabalho desenvolvido em disciplina de Reconhecimentos de Padrões, em programa de pós-graduação em Engenharia de Teleinformática, Universidade Federal do Ceará, Centro de Tecnologia, Campus do Pici.
Updated -
-
-