Selected Solutions to Dummit and Foote's Abstract Algebra Third Edition
☆41Mar 25, 2021Updated 4 years ago
Alternatives and similar repositories for sol-dummit-foote
Users that are interested in sol-dummit-foote are comparing it to the libraries listed below
Sorting:
- This is the repository for PLP, An introduction to mathematical proof, book☆25Jan 26, 2026Updated last month
- Awesome Mathematical Olympiads/Competitions/Contests☆20Jun 7, 2025Updated 9 months ago
- Basic Analysis, undergraduate real analysis textbook☆89Mar 14, 2026Updated last week
- Modern utility library and typescript typings for building JSON Schema documents☆14Nov 28, 2025Updated 3 months ago
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆13Jan 30, 2026Updated last month
- LTL2PDDL tool☆11Jul 7, 2017Updated 8 years ago
- A collection of Classes to create GUI's and more based purely on pygame (https://www.pygame.org/news).☆11May 7, 2020Updated 5 years ago
- ☆14Jan 3, 2018Updated 8 years ago
- Contains Latex document: All solutions to M.A. Armstrong's "Basic Topology"☆13Jan 3, 2023Updated 3 years ago
- Symbolic (analytical) polyhedron projection by Fourier-Motzkin elimination using SymPy☆11Oct 17, 2019Updated 6 years ago
- Planning through backpropagation using TensorFlow.☆16Oct 29, 2020Updated 5 years ago
- Children of the Galaxy repository☆14Jan 2, 2018Updated 8 years ago
- Hybrid Deep MILP Planner☆14Sep 6, 2022Updated 3 years ago
- Live viewer for reStructuredText (RST) documents.☆12Feb 14, 2021Updated 5 years ago
- Computes the alpha complex of a point set in any dimension☆14Mar 10, 2015Updated 11 years ago
- Distributed Lisp interpreter in Erlang.☆11Dec 14, 2016Updated 9 years ago
- Web-based formula editor that creates strict content MathML☆11Feb 8, 2022Updated 4 years ago
- Modern C++ port of the original implementation of the Nelder-Mead algorithm to minimize a scalar function of several variables.☆15Jul 19, 2022Updated 3 years ago
- A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed☆28Mar 13, 2026Updated last week
- Some CSS experiments for arXiv HTML documents converted via latexml☆20Feb 26, 2026Updated 3 weeks ago
- A C++ Networking Library implementing protocols for HTTP, (Not implemented: FTP, (E)SMTP, IMAP, POP3...)☆20Feb 7, 2014Updated 12 years ago
- JavaScript knot drawing and identification tool☆10Jul 20, 2016Updated 9 years ago
- 几何表达式仓库☆11Nov 4, 2025Updated 4 months ago
- Fundamentals of Multiagent Systems Textbook☆28Dec 18, 2012Updated 13 years ago
- Wolfram学生大使演讲PPT☆14Aug 26, 2020Updated 5 years ago
- ☆15Jun 7, 2022Updated 3 years ago
- Integration and automation of NS-3 network simulator and Linux Containers☆12Nov 12, 2019Updated 6 years ago
- a distributed agent-based modeling framework☆23Jul 6, 2023Updated 2 years ago
- Blazingly Fast Implementation of Deep Q-Network in C++ with NNabla☆18Mar 3, 2020Updated 6 years ago
- ☆13Jan 16, 2019Updated 7 years ago
- Latr: Lazy Translation Coherence - ASPLOS'18☆16Nov 15, 2021Updated 4 years ago
- ☆15Sep 9, 2020Updated 5 years ago
- Our first-year mathematics graduate school notes☆10Dec 20, 2021Updated 4 years ago
- Project ARES represents a joint effort between LANL and ORNL to introduce a common compiler representation and tool-chain for HPC applica…☆10Nov 30, 2016Updated 9 years ago
- Extract PDFmark can extract page mode and named destinations as PDFmark from PDF.☆17Jan 11, 2023Updated 3 years ago
- Stream processing engine☆13Apr 7, 2021Updated 4 years ago
- Software that runs reinout.vanrees.org☆20Mar 13, 2026Updated last week
- 14年使用socketio做的一个聊天室😂☆13Feb 5, 2023Updated 3 years ago
- ClusterTech Parallel Filesystem☆12May 18, 2018Updated 7 years ago