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 2 weeks ago
- The Model SEED is a tool for building, curating, and analyzing gonome-scale metabolic models. Visit the Model SEED homepage for installat…☆19Updated 11 years ago
- A specification and Python implementation for representing variants from Multiplexed Assays of Variant Effect.☆11Updated 10 months ago
- A place for all knowledge regarding Research Data Management (RDM) in Chemistry☆11Updated this week
- 📖 Generation and Applications of Knowledge Graphs in Systems and Networks Biology☆29Updated 4 years ago
- Collaborative annotation tool for LaTeX☆15Updated 5 years ago
- nmrXiv is currently developed as the FAIR, consensus-driven NMR data repository and computational platform. The ultimate goal is to accel…☆14Updated this week
- EBIC - AI-based parallel biclustering algorithm☆19Updated 6 years ago
- Tools for building and manipulating graphs in Python☆41Updated last year
- Semantic Reader of the Scientific Literature☆12Updated last year
- Python Wrappings for exploring Set Substitution Systems (Wolfram Models)☆15Updated 4 years ago
- Repository for libCellML development.☆17Updated this week
- Resources for grounding protein families and complexes from text and describing their hierarchical relationships.☆18Updated 4 months ago
- Information geometry and its extension information topology☆10Updated 6 years ago
- A numerical code generator☆20Updated 11 years ago
- Semantic analysis of text documents including sentence and paragraph splitting☆13Updated last month
- A knowledge resource on cell lines - From SIB CALIPHO group☆13Updated 9 months ago
- Include SVG graphics in LaTeX via Inkscape☆10Updated last week
- Citation parsing to quickly access publications☆14Updated 7 years ago
- Match entities between CiteSeerX and other digital libraries☆9Updated 5 years ago
- The package provides a set of R functions for interacting with BioPAX OWL files using Paxtools and the querying Pathway Commons (PC) mole…☆10Updated last year
- New way to do academic writing.☆22Updated 3 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
- ☆17Updated last month
- Network representation learning on drug-target-side effects-indication graphs for side effect prediction☆12Updated 4 years ago
- Research notebooks in Python, with the power of literate programming and Markdown.☆41Updated 11 years ago
- Full-featured PDF viewer with enhancements especially for academic papers☆15Updated 10 months ago
- Superposition prover☆16Updated last year
- This package contains helpers to deal with physical variables and units.☆12Updated last year
- Progress indicator library written in C.☆10Updated this week