math1um / objects-invariants-properties
Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/
☆15Updated last year
Related projects ⓘ
Alternatives and complementary repositories for objects-invariants-properties
- ModelDB 2020 redesign☆10Updated 3 weeks ago
- Adding conjecturing to Sage☆13Updated last year
- Repository for libCellML development.☆17Updated last week
- Citation parsing to quickly access publications☆14Updated 7 years ago
- ☆15Updated 8 years ago
- An example repository to understand the basics of REUSE☆13Updated 6 months ago
- CSL styles bundled with Zotero client☆10Updated 2 months ago
- MRMCaov: R package for multi-reader multi-case analysis of variance☆12Updated last year
- Superposition prover☆16Updated last year
- A specification and Python implementation for representing variants from Multiplexed Assays of Variant Effect.☆11Updated 10 months ago
- Lexer and codec to work with LaTeX code in Python. Instead of using latexcodec, I encourage you to consider pylatexenc instead, which is …☆27Updated 7 months ago
- ☆17Updated this week
- 📖 Generation and Applications of Knowledge Graphs in Systems and Networks Biology☆29Updated 4 years ago
- Ontology of algorithms for analyzing biological models, their parameters, and their outputs☆10Updated 3 weeks ago
- VSCode extension for Metamath☆10Updated last month
- A program for drawing knots and links, with support for importing images☆26Updated 10 months ago
- Learn Lean and topology☆20Updated last year
- Java library that implements the attractor finding method described in Chaos 23 (2) 025111, and the control method described in https://d…☆12Updated 3 years ago
- Photonic and metamaterials calculations☆12Updated last month
- A python library to deal with scientific papers.☆17Updated 8 years ago
- Collaborative annotation tool for LaTeX☆15Updated 5 years ago
- ☆19Updated 7 years ago
- A place for all knowledge regarding Research Data Management (RDM) in Chemistry☆11Updated this week
- OpenCog Attention Allocation Subsystem☆12Updated last year
- A reference manager for the desktop and the web☆17Updated 13 years ago
- A python tool to create drawings in the hyperbolic disk (e.g. for inclusion in LaTex documents). The output is either a Tikz figure (a .…☆10Updated last year
- tex engine detection☆13Updated 2 years ago
- An implementation of Project Fluent for Perl 6☆11Updated last year