Automated sum-of-squares (SOS) Prover for Algebraic Inequalities | Python-based tool with GUI & API | Generates readable sum-of-squares proofs for Olympiad-level problems. Built on SymPy.
☆31Mar 1, 2026Updated this week
Alternatives and similar repositories for Triple-SOS
Users that are interested in Triple-SOS are comparing it to the libraries listed below
Sorting:
- Pseudopotential converter from upf to psp8☆11Jan 25, 2023Updated 3 years ago
- Software to calculate atomic scattering factors and properties for Quantum Crystallography☆13Feb 24, 2026Updated last week
- Full-potential Linearized Augmented Plane Wave code FLEUR: All-electron DFT (repo mirror)☆17Updated this week
- python wrapper for fdmnes data input/output☆14Feb 16, 2026Updated 2 weeks ago
- Deep Neural Networks for Python☆10Sep 22, 2015Updated 10 years ago
- Embedding module for VASP and tools for its use.☆10Feb 20, 2025Updated last year
- Python library for computing electron-phonon renormalizations from finite displacements☆11Jan 6, 2025Updated last year
- Some time series vectorization methods which could give better representation for classification / clustering or other analysis.☆11Jan 4, 2016Updated 10 years ago
- Master's project - Artificial Immune System for symbolic regression.☆14May 2, 2013Updated 12 years ago
- gammcor code☆11Sep 25, 2025Updated 5 months ago
- ☆11Oct 13, 2023Updated 2 years ago
- Generator of polynomial machine learning potentials☆19Feb 26, 2026Updated last week
- Fast implementation of Gradient Boosting Machine (GBM) training algorithm.☆10Aug 26, 2019Updated 6 years ago
- RPMD and rate constant calculations on black-box potential energy surfaces☆15Feb 8, 2026Updated 3 weeks ago
- Prepare topology and coordinate file for CG models in Genesis.☆13Jul 3, 2025Updated 8 months ago
- Multipurpose ab initio MD program.☆12Jan 1, 2026Updated 2 months ago
- Multi-collinear functional☆10Feb 12, 2026Updated 3 weeks ago
- Study group for Hadoop, Python and analytics☆13Feb 10, 2017Updated 9 years ago
- ☆15Feb 16, 2026Updated 2 weeks ago
- QUICK, a GPU-enabled ab intio quantum chemistry software. Now move to the main branch: https://github.com/merzlab/QUICK☆11Jan 19, 2015Updated 11 years ago
- FDMNES☆10Jan 28, 2021Updated 5 years ago
- A complete installed Ubuntu desktop VirtualMachine with python2 and QuantSoftwareToolkit☆16Nov 5, 2014Updated 11 years ago
- ☆11Mar 12, 2025Updated 11 months ago
- ☆10Feb 25, 2026Updated last week
- Contains tools for analyzing time-series data.☆11May 8, 2013Updated 12 years ago
- Tilting estimators for program evaluation for Python 3☆10Oct 31, 2019Updated 6 years ago
- ☆11Mar 13, 2021Updated 4 years ago
- Natural-orbital Functional based on PySCF☆10Aug 27, 2024Updated last year
- TD-DMRG and VHCI package☆11Jul 24, 2025Updated 7 months ago
- Ab Initio Energies☆10Nov 22, 2025Updated 3 months ago
- Install script collection for open-source software☆14Oct 2, 2025Updated 5 months ago
- A python package to compute zero-field-splitting tensors for molecules and spin quantum bits in semiconductors.☆14Mar 30, 2020Updated 5 years ago
- ☆12Oct 25, 2020Updated 5 years ago
- Fast Genetic Programming☆11Oct 10, 2019Updated 6 years ago
- ☆12Apr 21, 2014Updated 11 years ago
- Fully connected neural nets for supervised learning DQMC data☆12Jul 13, 2016Updated 9 years ago
- A very simple quantum chemistry program☆10Jan 4, 2019Updated 7 years ago
- An application of stacked denoising autoencoders to multi-modal (images and audio) abstract feature discovery☆12Oct 23, 2013Updated 12 years ago
- LHCb trigger based on machine learning research☆17Jul 28, 2015Updated 10 years ago