Logic In Computer Science
-
Updated
Aug 13, 2018 - Prolog
Logic In Computer Science
Finite group study, abelians or not, quotient group, direct product and many more...
QuickCheck support for testing instances of classes defined in the groups library.
What C# can do for studying Finite Groups, quotient groups, semi-direct products, homomorphisms, automorphisms group, characters table, minimalistic rings and fields manipulations, polynomials factoring, fields extensions and many more...
This writing assignment is written in fulfillment for the Abstract Algebra course in the Spring 2022 semester.
HSE pet-project (Classes that works with Polynomials, rational numbers, elements of a five-element field)
Implementing and combining various type systems with principal type schemes
Abelian Finite Groups decomposition
Final Year Project 2016 http:https://www.indjst.org/index.php/indjst/article/view/102112
A compact API and implementation of abelian group algebra commonly used in asymmetric cryptography, fully written in C#.
Small Groups study in Julia
Writing for my senior thesis
Add a description, image, and links to the abelian-groups topic page so that developers can more easily learn about it.
To associate your repository with the abelian-groups topic, visit your repo's landing page and select "manage topics."