mghasemi / IreneView external linksLinks
Irene is a python package that aims to be a toolkit for global optimization problems that can be realized algebraically. It generalizes Lasserre's Relaxation method to handle theoretically any optimization problem with bounded feasibility set. The method is based on solutions of generalized truncated moment problems over commutative real algebra…
☆15Jan 4, 2026Updated last month
Alternatives and similar repositories for Irene
Users that are interested in Irene are comparing it to the libraries listed below
Sorting:
- Extension of Convex.jl for disciplined multiconvex optimization☆10Feb 22, 2017Updated 8 years ago
- Numerically computing correlation functions in 2d CFT, using Jupyter Notebooks.☆22Sep 5, 2019Updated 6 years ago
- Polynomial optimization problem solver. Uses relaxation to convert the problem into Semidefinite programming. Can be also used just as Se…☆22Jan 3, 2018Updated 8 years ago
- Julia package for hierarchical matrices☆28Oct 24, 2024Updated last year
- ☆17Oct 30, 2025Updated 3 months ago
- Python wrapper for Google Maps JavaScript API V3 and Google Earth API.☆17Sep 13, 2014Updated 11 years ago
- This is the shared package to simulate pulse propagation in bulk material (solid and gas) with 3D-UPPE☆13Feb 3, 2026Updated last week
- Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions☆36Dec 27, 2025Updated last month
- Program to estimate aquatic habitats using hydraulic data and biological models☆10Feb 5, 2026Updated last week
- Finding the best parameters for any algorithm☆42Nov 1, 2017Updated 8 years ago
- Gentle introduction and demo of the adjoint variable method for electromagnetic inverse design☆36Jun 21, 2022Updated 3 years ago
- Some useful lenses☆35Jan 29, 2026Updated 2 weeks ago
- Toolkit for Bayesian scaling analysis☆14Sep 8, 2022Updated 3 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Metadata browser/editor. QGIS plugin.☆11Dec 25, 2024Updated last year
- Various test fonts (OpenType, OpenType with TrueType GX variation extensions, Multiple Master) for testing implementations of font format…☆11Jun 25, 2025Updated 7 months ago
- A collection of useful cheat sheets for computer related stuff☆13Jul 24, 2025Updated 6 months ago
- Sparse symmetric indefinite solver implemented with a runtime system☆13May 11, 2020Updated 5 years ago
- PETSc Interface for Octave and MATLAB (Deprecated)☆10Nov 10, 2022Updated 3 years ago
- Simple multi-language .Net Core CMS☆10Apr 22, 2019Updated 6 years ago
- Web application that provides hydrology services based on the Common Hydrology Features (CHyF) data model☆11Dec 16, 2022Updated 3 years ago
- Remez algorithm for computing minimax polynomial approximations☆44Aug 10, 2020Updated 5 years ago
- A platform for storing large semantic networks on MongoDB☆22Jun 20, 2011Updated 14 years ago
- A handbook for everyone who loves coding☆10Jun 10, 2019Updated 6 years ago
- Material for a course on applied machine-learning for scientists. Taught at EPFL in spring 2018.☆11May 3, 2018Updated 7 years ago
- Speeding up blind deconvolution of a blurred image by using GPUs☆11Oct 17, 2018Updated 7 years ago
- iRIC Pre-processor and post-processor GUI☆10Jan 13, 2026Updated last month
- Static-sized long-precision arithmetic library for use inside GPU parallelization with CUDA☆11Apr 5, 2025Updated 10 months ago
- ☆10Jan 16, 2025Updated last year
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- development has moved to mozilla/chief☆17Mar 8, 2013Updated 12 years ago
- ☆16Updated this week
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- FDTD 3D simulator that generates s-parameters from OFF geometry files using one or more GPUs☆15Jan 16, 2023Updated 3 years ago
- Differential Algebra Computational Toolbox☆46Apr 21, 2025Updated 9 months ago
- A Petri net modeling framework for the Julia programming language☆43Nov 22, 2023Updated 2 years ago
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- ☆10Jan 16, 2020Updated 6 years ago
- Key words: Bayesian analysis, Probabilistic programming, Data analysis, Bayesian machine learning... Using Python with its library PyMC3…☆10May 10, 2019Updated 6 years ago