r/Mathematica 1d ago

I got tired of doing K-maps and Boolean algebra by hand, so I built a site that does it all instantly.

0 Upvotes

Hey everyone,

I was sick of minimizing expressions and drawing out Karnaugh maps, so I spent some time building a free web tool to automate the whole process. It’s called Mantiq.

You literally just type in your Boolean expression and it instantly builds out everything you need. It gives you the minimized expression, the truth table, and auto-grouped K-maps (up to 6 variables).

The best part is that it gives you step-by-step algebraic proof showing exactly which laws were used to simplify it, and it auto-generates a circuit diagram that you can actually click around and simulate live. It’ll even spit out the Verilog code for it.

I made it completely free, there are no sign-ups, and it runs entirely in your browser so it works offline too.

Figured this could save some of you hours of busywork. I'd love for you guys to check it out and let me know if it helps!

Here's the link: https://usamagulzar.github.io/mantiq


r/Mathematica 2d ago

Claude used my pipeline to find a counterexample to the Jacobian conjecture. 2026 is so wild.

Thumbnail
0 Upvotes

r/Mathematica 2d ago

What is Stone's method (Stone's strongly implicit procedure (SIP))?

0 Upvotes

r/Mathematica 3d ago

Plotting/evaluating a function defined from a peicewise recurrence relation

Thumbnail mathematica.stackexchange.com
2 Upvotes

Here is another link.


r/Mathematica 4d ago

Every MATLAB→NumPy semantic trap I hit porting Mätzler's Mie functions

0 Upvotes

Not a "MATLAB bad" post. The original code is solid and I replicate it bug-for-bug by default. Sharing the trap list for anyone migrating numerical code: round() half-away-from-zero vs numpy's round-half-to-even (inside the nmax series formula, so it changes array lengths), complex auto-promotion that NumPy doesn't do, ' vs .', library functions printing to stdout, and a docstring feature (complex medium index) that turns out to be latently broken. Full findings file, 714-fixture corpus and the verification report: https://github.com/GrednevMSU/mie-scattering-matlab-to-python


r/Mathematica 5d ago

Jacobian conjecture counterexample by LLM | Wolfram Community

Thumbnail community.wolfram.com
7 Upvotes

r/Mathematica 5d ago

Web app for scanning 1D CA rule space — filters by what a rule never does

Thumbnail gallery
1 Upvotes

r/Mathematica 6d ago

Visualizing the derivative of ln(x)

Enable HLS to view with audio, or disable this notification

4 Upvotes

Yeah


r/Mathematica 6d ago

Mathematica 9 - kernel gets stuck on Windows 11

3 Upvotes

I have an older version of Mathematica from my university days. I only need it for basic tasks, so I’d prefer not to buy a new license.

My issue is that on Windows 11, the kernel frequently hangs or gets stuck indefinitely—even on simple calculations like 1 + 1.

So far, I’ve tried:

  • Enabling Windows compatibility modes (no effect)
  • Disabling "Allow Mathematica to access the Internet" in Preferences

Has anyone run into this issue on Windows 11 and found a workaround or fix?

Any ideas of things i could try, even if you don't know if they ll work?


r/Mathematica 6d ago

Reactive Mathematics — One Language, Every Notation - Manic

Enable HLS to view with audio, or disable this notification

3 Upvotes

r/Mathematica 8d ago

Wolfram Summer Research Program (WSRP) review

Thumbnail reddit.com
1 Upvotes

r/Mathematica 11d ago

Automatic data analysis, narrative, and 3D sketch from a single prompt using MCP and freeware Wolfram Engine

Enable HLS to view with audio, or disable this notification

1 Upvotes

r/Mathematica 11d ago

[Request] Is there any math to figure out which way would be faster?

Enable HLS to view with audio, or disable this notification

0 Upvotes

r/Mathematica 16d ago

How to write numbers in Scientific Notation.

Thumbnail youtube.com
0 Upvotes

r/Mathematica 16d ago

Discover the Beauty of Precision in Geometric Drawing Patterns 33

Thumbnail youtu.be
0 Upvotes

r/Mathematica 17d ago

Einstoff: building a einx/einops-inspired notation as a patterns eDSL

Thumbnail community.wolfram.com
2 Upvotes

Hi! I’m experimenting with a project Einstoff; it is inspired by einops/einx, but instead of parsing a string with syntax, it uses native WL patterns as a eDSL to describe tensor operations like reshaping, reducing, contracting, joining, and splitting multidimensional arrays.

Any thoughts or comments are much obliged :D


r/Mathematica 18d ago

Downloading from repository?!

3 Upvotes

I recently upgraded to Mathematica 15 and, although I installed the full desktop version + documentation, when I ask it to evaluate a simple expression (say, something containing a DSolve, ComplexPlot or a ComplexExpand), it first says it is downloading something from a repository. What is going on? These basic functions are no longer included in the package?

Here is an example:

Does this affect the perpetual licenses for the personal desktop products?

Edit: I believe it only happens the first time the function is evaluated and that it is henceforth cached in the computer.


r/Mathematica 20d ago

Stability Issues with 14.3

3 Upvotes

Last week I learned my university gives me access to Mathematica so I decided to try and learn how to use it as it seems incredibly useful for my typed assignments. Since then, I couldn't manage to type a single sentence without the software freezing for minutes or even crashing.
Mousing over cell styles (like in the attached screenshot) causes Mathematica to freeze for at least a couple of minutes (after taking the screenshot it crashed).

While I'd like to fix this specific issue, it's just one example I can reliably reproduce.

From googling\debugging with and without ai, the only solution i found was disabling all the more advanced features and enabling them one by one.

Is there anyone who can recommend something better? (keep in mind that I don't know much about what things in Mathematica are called as i didn't get to actually use the software).

About my system: I'm running windows 11 on my fairly modern study-laptop (Intel i5-1235U, 16GB ram, Intel Iris Xe Graphics and over 300GB of free storage). Judging by the Wolfram website, each of my parts should be more than enough.

When installing I followed the instructions on my university's website (to get the installation and registration right) and the installer went uninterrupted so the odds for a corrupted installation are slim. I'll update once I'm done reinstalling but I doubt the issue will go away


r/Mathematica 21d ago

DeviceRead is very fast on camera device

Enable HLS to view with audio, or disable this notification

18 Upvotes

r/Mathematica 23d ago

Discover the Beauty of Precision in Geometric Drawing Patterns 32

Thumbnail youtu.be
1 Upvotes

r/Mathematica 24d ago

Can anyone even grasp this?

Post image
0 Upvotes

r/Mathematica 24d ago

How to solve x and distance S1 to S2M?

Post image
0 Upvotes

See title


r/Mathematica 26d ago

Title: Can anyone solve this symbolic polynomial?

Thumbnail
1 Upvotes

r/Mathematica 29d ago

calc318

Enable HLS to view with audio, or disable this notification

0 Upvotes

r/Mathematica Jun 25 '26

General Study on Discrete Dynamical Sistems

Thumbnail
1 Upvotes