narodnik / abstract-algebra-pinter-solutionsLinks
Solutions to exercises from "A Book of Abstract Algebra" by Charles C. Pinter
☆49Updated 2 years ago
Alternatives and similar repositories for abstract-algebra-pinter-solutions
Users that are interested in abstract-algebra-pinter-solutions are comparing it to the libraries listed below
Sorting:
- math notes under one roof☆32Updated 3 weeks ago
- ☆48Updated 2 years ago
- Solves systems of polynomial equations.☆30Updated 4 months ago
- Athena is a modern, practical language for proof engineering & natural deduction.☆76Updated 5 months ago
- Notes from the 278 semester class at Harvard☆19Updated last week
- An Awesome list for resources on algorithmic game theory☆164Updated 3 years ago
- ☆66Updated last year
- Formal verification of WETH9.sol with Z3☆59Updated 3 years ago
- A Symbolic Execution Tool for Cairo☆52Updated 3 years ago
- I like to learn new things☆10Updated 3 years ago
- Extracting the semantics of Noir to Lean for formal verification☆35Updated this week
- StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…☆56Updated 4 years ago
- Zero-knowledge Sudoku using zk-SNARKs☆48Updated 3 years ago
- Notebooks showing how to use CryptoUtilities☆13Updated 8 months ago
- ☆14Updated 4 months ago
- Code for Dynamic Pricing for Non-fungible Resources☆17Updated 3 years ago
- A Symbolic Execution Tool for Cairo☆15Updated 3 years ago
- ☆21Updated 4 years ago
- Python3 implementation of the Pippenger algorithm for fast multi-exponentiation☆22Updated 3 years ago
- ☆21Updated 3 years ago
- Precise Attack Synthesis for DeFi Apps☆47Updated 3 years ago
- A curated list of mechanism design resources and links.☆21Updated 4 years ago
- A web tool that helps you compare and visualize the performance of cryptographic operations☆92Updated 6 months ago
- just solve it - a CLI utility to run a portfolio of SMT solvers in parallel☆25Updated 11 months ago
- ☆41Updated 3 years ago
- https://eprint.iacr.org/2020/1516.pdf☆19Updated 3 years ago
- A formal verification of Linear PCP SNARKs.☆59Updated last year
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆58Updated last year
- Lean circuit DSL☆119Updated last week
- Agent-based simulation environment for PoS Ethereum☆55Updated 2 years ago