Repositorio de apuntes, exámenes, y recursos varios del Doble Grado en Ingeniería Informática y Matemáticas de la UGR.

Personal site, https://mkukla.net

Official repository of the FriCAS computer algebra system

Library for the analysis of networks

Study in python latest code and node serial

From the Specialization of Mathematics for Machine Learning and Data Science by DeepLearning.AI from Coursera.

Types and operations for basis represented by bits in linear algebra.

A numerical and automatic mathematical library in C++ for scientific and graphical applications.

Symmetria provides an intuitive, thorough, and comprehensive framework for interacting with the symmetric group and its elements.

Basic_Maths

Official Repository for "Mish: A Self Regularized Non-Monotonic Neural Activation Function" [BMVC 2020]

This is an exploration of data science & machine learning, including various data analysis, preprocessing and modeling methods in python and mathematics behind them.

A human-friendly and developer-friendly math proof assistant

Official website for Department of Mathematics, University of Virginia

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

人工智能学习笔记：这是一个专门用于探索和理解AI概念、算法和应用的仓库。Comprehensive Study Notes on Artificial Intelligence: A repository dedicated to the exploration and understanding of AI concepts, algorithms, and applications.

A repo, designed to help you prepare for technical interviews at top tech companies like Meta (Facebook), Amazon, Apple, Netflix, and Google (MAANG). The focus is on building a strong foundation in clean code, data structures, and algorithms.

Source Code of GNU TeXmacs, Developers Guide ==>