Enhancement for Rubi steps.
☆16Feb 23, 2023Updated 3 years ago
Alternatives and similar repositories for RubiSteps
Users that are interested in RubiSteps are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rubi for Mathematica☆273Feb 22, 2024Updated 2 years ago
- 不定积分过程生成器（By Mathematica）☆43Nov 4, 2023Updated 3 years ago
- Scanning tool for BSM models☆11Jun 18, 2019Updated 7 years ago
- playground for generative models☆12Jun 23, 2024Updated 2 years ago
- My custom LaTeX classes and styles.☆13Dec 26, 2016Updated 9 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A package providing a palette to upload images and data to mathematica.stackexchange☆22Apr 8, 2024Updated 2 years ago
- Current public version☆13Oct 30, 2026Updated last week
- Utilities for importing FEM meshes to Mathematica☆16Apr 20, 2021Updated 5 years ago
- MG5_aMC tutorial for the 1st Workshop on New Light Physics and Photon-beam Experiments☆12Jul 22, 2024Updated 2 years ago
- Mathematica package for carrying out vector calculus calculations - http://arxiv.org/abs/1309.2561☆31Mar 25, 2025Updated last year
- TensorSimplify simplifies tensors involving Dot, Tr and the IdentityTensor☆11Oct 4, 2019Updated 7 years ago
- ☆34Mar 1, 2021Updated 5 years ago
- A program which could generate highly realistic accretion disk around a Schwarzschild blackhole☆59Nov 12, 2021Updated 4 years ago
- Dock for the Lichee RV to provide Ethernet, GPIO and more☆12May 5, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Sep 23, 2026Updated last month
- Procedural SVG wallpapers, recoloured in your own colours☆15Updated this week
- Program that calculates design parameters for an ornithopter in level flight☆14Aug 11, 2023Updated 3 years ago
- Quantum mechanics notes for undergraduate students. in CHINESE.☆12Jan 5, 2015Updated 11 years ago
- Please use https://github.com/kubuds/sophgo-arduino instead of this repository.☆20Jul 15, 2024Updated 2 years ago
- BWidget (Mirror of core.tcl-lang.org).☆17Mar 20, 2026Updated 7 months ago
- Formally verified numerical integration of an ordinary differential equation☆13May 18, 2026Updated 5 months ago
- ☆13Oct 15, 2026Updated 3 weeks ago
- Object Oriented Programming in Mathematica 10+☆30Feb 27, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Rust interface for cvc5☆17Oct 13, 2026Updated 3 weeks ago
- Hypergraph tools☆12Jul 3, 2026Updated 4 months ago
- A web portal that offers more features and a better user interface for reading eprints☆26Jun 16, 2016Updated 10 years ago
- ☆14Sep 28, 2023Updated 3 years ago
- Vmodel toolbox repository☆15Mar 25, 2016Updated 10 years ago
- An implementation of interval union arithmetic in Julia☆12May 25, 2022Updated 4 years ago
- miscellaneous wolfram language functions☆33Jun 15, 2021Updated 5 years ago
- Post to Bluesky from Obsidian☆16Aug 18, 2026Updated 2 months ago
- PhaseTracer is a C++14 software package for tracing cosmological phases, finding potential phase transitions, computing the bounce action…☆22Oct 12, 2026Updated 3 weeks 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.
- An interface to pass matrix form problems☆12Sep 17, 2026Updated last month
- RFCs for changes to the TLA+ specification language☆12Sep 22, 2026Updated last month
- A package for fast evaluation of multivariate polynomials.☆13Oct 6, 2026Updated last month
- Utilities for manipulating Mathematica ElementMesh objects☆30Apr 20, 2021Updated 5 years ago
- TDL-SDK samples for SDK V1 Duo(CV180X)☆15Feb 6, 2024Updated 2 years ago
- A benchmark for C program verification☆18Feb 22, 2024Updated 2 years ago
- HPX/Kokkos interoperability library☆13Apr 24, 2025Updated last year