Adding conjecturing to Sage
☆14Mar 17, 2023Updated 3 years ago
Alternatives and similar repositories for conjecturing
Users that are interested in conjecturing are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http:/…☆18May 24, 2023Updated 3 years ago
- Materials (lecture slides and exercise sessions) for the course Computer Graphics (Fall 2013) at the University of Tartu☆13Jan 8, 2014Updated 12 years ago
- LLM-driven proof search on Erdős problems (2 solutions accepted on erdosproblems.com)☆17Apr 21, 2026Updated 6 months ago
- R Package 📦 to Generate mock data with the Mockaroo API☆12May 10, 2018Updated 8 years ago
- Delaunay triangulation image generator.☆15Dec 6, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Deposited packages of the homalg project☆20Jul 19, 2026Updated 3 months ago
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Jun 15, 2026Updated 4 months ago
- Macaulay2 web app with support for KaTeX and HTML output☆22Oct 24, 2026Updated last week
- PePPer - Personalized Perturbation Profiler☆11Oct 4, 2018Updated 8 years ago
- Clickable, multicsale truchet tiling generator in javascript☆16Apr 1, 2019Updated 7 years ago
- A Transportation-Themed Hackathon hosted by the City of Austin and the UT Center for Transportation Research☆22Jun 27, 2017Updated 9 years ago
- a chrome extension that puts in a 30 second delay before loading a non-approved webpage☆26Jun 2, 2011Updated 15 years ago
- Studying and understanding state with dependency tracking. A technique used in libraries like SWR.☆10Feb 27, 2022Updated 4 years ago
- A simple implementation of UMAP, TSNE and GDR across frameworks and libraries☆14Dec 10, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- p5.js port of Marius Watz's "infinite rainbows" for POKE London☆18Feb 24, 2017Updated 9 years ago
- Models that demonstrate the syntax and functionality of BioNetGen language and simulation tools.☆15May 30, 2023Updated 3 years ago
- Mathematical term parser and Content MathML converter in Python -- you probably want to use SymPy instead☆13Sep 20, 2017Updated 9 years ago
- Attention Unet and Deep Unet implementation for road extraction multi-gpu tensorflow☆19Feb 22, 2021Updated 5 years ago
- A NES emulator written in C☆18Jan 16, 2016Updated 10 years ago
- Indexing project where we index a portion of the web using spark, hadoop and cassandra.☆22Oct 30, 2019Updated 7 years ago
- Measures integrative complexity in English texts.☆12Apr 29, 2017Updated 9 years ago
- Tracking changes in stances of Germany's political parties over time☆22Oct 23, 2026Updated last week
- Sample code from Allen & Tildesley's Computer Simulation of Liquids, 1st Ed. See https://github.com/Allen-Tildesley/examples for moderni…☆18Sep 10, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Find secrets hidden in commits☆23Feb 6, 2026Updated 8 months ago
- ☆11Feb 18, 2021Updated 5 years ago
- collection of code snippets to assist working on cocalc☆10Jul 20, 2023Updated 3 years ago
- Gillespie Stochastic Simulation Algorithm☆14Jun 29, 2013Updated 13 years ago
- repository with the scripts to run examples of the publications with new functionalities of TCGAbiolinks☆17Mar 2, 2022Updated 4 years ago
- RefDNN: a reference drug based neural network for more accurate prediction of anticancer drug resistance (Scientific Reports)☆14Apr 21, 2022Updated 4 years ago
- An Eureka row that shows a series of UITextField's for the user to enter postal address information☆20Jan 31, 2020Updated 6 years ago
- Generic osu! library written in Rust☆20Apr 23, 2026Updated 6 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆29Oct 13, 2026Updated 2 weeks ago
- Beamer theme for the University of Cologne.☆13Oct 4, 2016Updated 10 years ago
- Game we're making with the skills we cover in the live stream. Text adventure. Zombie survival.☆15Jul 29, 2015Updated 11 years ago
- ☆21Apr 14, 2026Updated 6 months ago
- Fast interpreter with LLVM backend.☆12Jan 10, 2014Updated 12 years ago
- Matching algorithms for Graphs.jl☆20Sep 17, 2026Updated last month
- Website for AsciiMath☆14Apr 14, 2026Updated 6 months ago