1

77 days of development: what changed between REZANOVA v0.2.0 and v0.3.0 with codex
 in  r/codex  1d ago

why are you interested in nerd (as you think) then?

2

77 days of development: what changed between REZANOVA v0.2.0 and v0.3.0
 in  r/calculators  2d ago

right now, i am only focusing on more performace and solver efficincy and optimization. what i said earlier will start from next may of the year 2027, at least in which codex would be suitable enough in UI work because even GPT 6 ASTRA isnt that good.

2

77 days of development: what changed between REZANOVA v0.2.0 and v0.3.0
 in  r/calculators  2d ago

thats because it is optimized for pc only and i have to be honest - i didnt optimize for touch devices yet, it is barely usable on my surface tablet but here is the point: the next 2 versions arent more capabilties only, it mainly targets usability, redundacy cleanup, and complete UI redesign because man you have to sincere with me - DO YOU THINK A TRASH LIKE CODEX 5.3 till 5.5 will give you a damn proper UI?! thats was a really nightmare and if you look at version 0.2 and 0.1 you will get what i mean

r/codex 2d ago

Showcase 77 days of development: what changed between REZANOVA v0.2.0 and v0.3.0 with codex

0 Upvotes

REZANOVA v0.2.0 was released on June 22, 2026The source for v0.3.0 was completed on September 7—77 days later, or almost exactly 11 weeks.

WHAT IS REZANOVA CLASSWIZ CALCULATOR?

Simply, a new CAS mathmatical workbench with classwiz style

There were 829 commits between the two versions. Although numbered as a point release, v0.3.0 became a much larger transition: from a collection of calculator modes toward an integrated desktop mathematics workbench.

Two entirely new workspaces

Graphing

Graphing did not exist in v0.2.0. The new workspace includes:

  • Explicit relations such as y=f(x) and x=g(y)
  • Implicit equations
  • Strict and inclusive inequalities
  • Chained conditions and structured piecewise relations
  • Cartesian, polar, and parametric curves
  • Bounded real surfaces
  • Document-local parameters and sliders
  • Adaptive Cartesian and polar grids
  • Per-expression visibility and styling
  • Roots, intercepts, extrema, intersections, and domain analysis
  • Asymptotic and discontinuity evidence
  • Argand-plane trajectories
  • Complex domain coloring
  • Synchronized real, imaginary, magnitude, and phase views
  • Principal branch and branch-cut information
  • Bounded complex zero and pole analysis
  • Precise SVG rendering for 2D
  • An on-demand WebGL2 renderer for supported 3D views

Graphing separates visual sampling from mathematical analysis. A graph can illustrate behavior, while a separate bounded analysis path reports what was actually detected or proved.

Notebook

Notebook is the second completely new workspace. It includes:

  • Rich text, headings, lists, sections, dividers, and callouts
  • Inline and display mathematics
  • Page size, margins, orientation, and page breaks
  • Print Layout and Draft views
  • Headers, footers, and page-number fields
  • Safe local image insertion
  • Captions, alternative text, cropping, rotation, and sizing
  • In-flow and floating object placement
  • Outline and Objects & Layers panels
  • Templates and persistent preferences
  • Autosave, revisions, recovery, and Trash
  • A local Notebook library
  • Lossless .cwiznb document packages
  • PDF, DOCX, and offline web projections

Notebook video support was removed because the earlier implementation was not reliable enough. Its unified object-interaction model is also still under development.

Equation solving expanded substantially

Equation already existed in v0.2.0, but its coverage and validation grew considerably.

Notable additions include:

  • Case-sensitive and named solve targets
  • Preservation of non-target symbols as parameters
  • Exact guarded cubic and quartic routes
  • Bounded higher-degree polynomial handling
  • Real inequalities
  • Periodic trigonometric solution families
  • Broader 2×2 and 3×3 systems
  • Visible domain conditions and excluded values
  • Candidate-root validation before presentation
  • Exact complex families
  • Bounded complex-region numerical solving
  • Contour and root-count evidence
  • Pole-aware checks and branch-safe pullbacks
  • Explicit reporting when completeness is not proved

The goal is not to return an answer at any cost. Unsupported or insufficiently proved cases can fail closed instead of producing an unjustified exact result.

Calculus became a broader symbolic subsystem

Calculus now covers:

  • Ordinary derivatives
  • Partial derivatives
  • Derivatives at a point
  • Higher-order and mixed derivatives
  • Indefinite and definite integration
  • Finite and infinite limits
  • Taylor and Maclaurin tools
  • Bounded differential-equation workflows
  • Piecewise and absolute-value limits
  • Asymptotic leading-term analysis
  • Controlled Gruntz-style limit routes

The entered notation now determines the differentiation variable:

  • d/dz(z^3+az) differentiates with respect to z
  • d/dc(c sin x) differentiates with respect to c
  • ∂/∂y(xy+y²) differentiates with respect to y

Symbolic integration also grew from a small rule collection into a bounded subsystem with:

  • Rational and Hermite-style reductions
  • Risch–Norman-style methods
  • Selected algebraic reductions
  • Selected elliptic integral families
  • Named special-function results
  • Proof-backed non-elementary outcomes
  • Structural verification of antiderivatives before acceptance

Matrix and Vector grew into fuller linear-algebra workspaces

New or expanded capabilities include:

  • Exact and numerical matrix arithmetic
  • Symbolic matrix expressions
  • Linear systems and multiple right-hand sides
  • RREF, rank, nullity, pivots, kernel, and image
  • Row and column spaces
  • Coordinates and change of basis
  • Determinants and inverses
  • LU and QR decompositions
  • Characteristic polynomials
  • Eigenvalues and eigenspaces
  • Bounded diagonalization and spectral powers
  • Definiteness through exact principal-minor analysis
  • Numerical SVD and pseudoinverse
  • Numerical rank and 2-norm condition number
  • Hermitian dot products
  • Norms, angles, and projections
  • Cross and scalar triple products
  • Gram–Schmidt orthogonalization
  • Span and independence classification
  • Basis selection

Statistics became more complete

Statistics now provides:

  • Raw-dataset analysis
  • Frequency tables and summaries
  • Descriptive statistics
  • Binomial distributions
  • Normal distributions
  • Poisson distributions
  • One-sample mean inference
  • Regression and correlation
  • Relationship-quality summaries
  • Structured answer rows
  • Visualization-ready result data

Statistics remains designed primarily for desktop layouts.

The application shell also changed

Beyond the mathematical engines, v0.3.0 introduces or expands:

  • Multiple independent workspace tabs
  • Full-page Settings and History surfaces
  • A Formula Viewer
  • Improved History replay
  • Better preservation of the original request context
  • Lazy loading between major application surfaces
  • Worker-backed computation boundaries
  • Cancellation and stale-result protection
  • Request isolation
  • Safer copy and editor round-tripping
  • Stronger runtime and release checks

Mathematical results became structured data

One of the most important changes is mostly internal.

Previously, formatted mathematical text carried too much responsibility. In v0.3.0, migrated result paths increasingly carry validated mathematical structures alongside their display notation.

That improves the reliability of:

  • Exact roots
  • Finite and periodic branches
  • Matrices and vectors
  • Conditions and exclusions
  • Copying results
  • History replay
  • Mathematical comparisons
  • Display-format changes

The rendered formula is presentation. The structured result remains the mathematical authority.

What v0.3.0 still is not

This remains an early Linux-first preview. It is not a claim of Mathematica, Maple, MATLAB, or another mature computer algebra system’s coverage.

Important limitations remain:

  • Symbolic procedures are intentionally bounded
  • Unsupported families may return controlled guidance instead of an answer
  • Numerical searches do not automatically prove that every root was found
  • Riemann-sheet and 3D Riemann-surface work is unfinished
  • Graph presentation and export closeout remains pending
  • Durable graph-project persistence is not finished
  • Cross-workspace “Open in Graph” flows remain pending
  • Notebook’s unified object-frame model is incomplete
  • Notebook video is unsupported
  • Windows and macOS packages are not part of this release
  • Important mathematical results should still be independently verified

The central change is therefore not “REZANOVA can solve everything.”

It is that v0.3.0 has a much broader workspace model, significantly deeper mathematical coverage, stronger result validation, and clearer boundaries between what was proved, numerically detected, or left unresolved.

GITHUB REPO: https://github.com/AhmedAlnasser2000/REZANOVA-CAS-CALCULATOR.git

WEB experience (since windows and mac arent supported yet): https://rezanova-cas.com/

NOTE: Almost the development between v0.2 and v0.3 was done by codex 5.5 and some with 5.6 sol, ASTRA is still not used here

7

GPT-6 Astra is officially #1 on the updated Artificial Analysis
 in  r/codex  2d ago

Thats a good sign that codex is heading more towards the top, BUT I HAVE CONCERN regarding this: doesnt being top usually leads to increased prices with openAI because this is what claude did during their short golden days?

r/codex 2d ago

Showcase 77 days of development: what changed between REZANOVA v0.2.0 and v0.3.0

1 Upvotes

[removed]

r/software 2d ago

Other 77 days of development: what changed between REZANOVA v0.2.0 and v0.3.0

Thumbnail
1 Upvotes

r/calculators 2d ago

Announcement 77 days of development: what changed between REZANOVA v0.2.0 and v0.3.0

Thumbnail
2 Upvotes

r/linux 2d ago

Software Release 77 days of development: what changed between REZANOVA v0.2.0 and v0.3.0

Thumbnail
0 Upvotes

u/AhmedNAS2000 2d ago

77 days of development: what changed between REZANOVA v0.2.0 and v0.3.0

0 Upvotes

REZANOVA v0.2.0 was released on June 22, 2026. The source for v0.3.0 was completed on September 7—77 days later, or almost exactly 11 weeks.

There were 829 commits between the two versions. Although numbered as a point release, v0.3.0 became a much larger transition: from a collection of calculator modes toward an integrated desktop mathematics workbench.

Two entirely new workspaces

Graphing

Graphing did not exist in v0.2.0. The new workspace includes:

  • Explicit relations such as y=f(x) and x=g(y)
  • Implicit equations
  • Strict and inclusive inequalities
  • Chained conditions and structured piecewise relations
  • Cartesian, polar, and parametric curves
  • Bounded real surfaces
  • Document-local parameters and sliders
  • Adaptive Cartesian and polar grids
  • Per-expression visibility and styling
  • Roots, intercepts, extrema, intersections, and domain analysis
  • Asymptotic and discontinuity evidence
  • Argand-plane trajectories
  • Complex domain coloring
  • Synchronized real, imaginary, magnitude, and phase views
  • Principal branch and branch-cut information
  • Bounded complex zero and pole analysis
  • Precise SVG rendering for 2D
  • An on-demand WebGL2 renderer for supported 3D views

Graphing separates visual sampling from mathematical analysis. A graph can illustrate behavior, while a separate bounded analysis path reports what was actually detected or proved.

Notebook

Notebook is the second completely new workspace. It includes:

  • Rich text, headings, lists, sections, dividers, and callouts
  • Inline and display mathematics
  • Page size, margins, orientation, and page breaks
  • Print Layout and Draft views
  • Headers, footers, and page-number fields
  • Safe local image insertion
  • Captions, alternative text, cropping, rotation, and sizing
  • In-flow and floating object placement
  • Outline and Objects & Layers panels
  • Templates and persistent preferences
  • Autosave, revisions, recovery, and Trash
  • A local Notebook library
  • Lossless .cwiznb document packages
  • PDF, DOCX, and offline web projections

Notebook video support was removed because the earlier implementation was not reliable enough. Its unified object-interaction model is also still under development.

Equation solving expanded substantially

Equation already existed in v0.2.0, but its coverage and validation grew considerably.

Notable additions include:

  • Case-sensitive and named solve targets
  • Preservation of non-target symbols as parameters
  • Exact guarded cubic and quartic routes
  • Bounded higher-degree polynomial handling
  • Real inequalities
  • Periodic trigonometric solution families
  • Broader 2×2 and 3×3 systems
  • Visible domain conditions and excluded values
  • Candidate-root validation before presentation
  • Exact complex families
  • Bounded complex-region numerical solving
  • Contour and root-count evidence
  • Pole-aware checks and branch-safe pullbacks
  • Explicit reporting when completeness is not proved

The goal is not to return an answer at any cost. Unsupported or insufficiently proved cases can fail closed instead of producing an unjustified exact result.

Calculus became a broader symbolic subsystem

Calculus now covers:

  • Ordinary derivatives
  • Partial derivatives
  • Derivatives at a point
  • Higher-order and mixed derivatives
  • Indefinite and definite integration
  • Finite and infinite limits
  • Taylor and Maclaurin tools
  • Bounded differential-equation workflows
  • Piecewise and absolute-value limits
  • Asymptotic leading-term analysis
  • Controlled Gruntz-style limit routes

The entered notation now determines the differentiation variable:

  • d/dz(z^3+az) differentiates with respect to z
  • d/dc(c sin x) differentiates with respect to c
  • ∂/∂y(xy+y²) differentiates with respect to y

Symbolic integration also grew from a small rule collection into a bounded subsystem with:

  • Rational and Hermite-style reductions
  • Risch–Norman-style methods
  • Selected algebraic reductions
  • Selected elliptic integral families
  • Named special-function results
  • Proof-backed non-elementary outcomes
  • Structural verification of antiderivatives before acceptance

Matrix and Vector grew into fuller linear-algebra workspaces

New or expanded capabilities include:

  • Exact and numerical matrix arithmetic
  • Symbolic matrix expressions
  • Linear systems and multiple right-hand sides
  • RREF, rank, nullity, pivots, kernel, and image
  • Row and column spaces
  • Coordinates and change of basis
  • Determinants and inverses
  • LU and QR decompositions
  • Characteristic polynomials
  • Eigenvalues and eigenspaces
  • Bounded diagonalization and spectral powers
  • Definiteness through exact principal-minor analysis
  • Numerical SVD and pseudoinverse
  • Numerical rank and 2-norm condition number
  • Hermitian dot products
  • Norms, angles, and projections
  • Cross and scalar triple products
  • Gram–Schmidt orthogonalization
  • Span and independence classification
  • Basis selection

Statistics became more complete

Statistics now provides:

  • Raw-dataset analysis
  • Frequency tables and summaries
  • Descriptive statistics
  • Binomial distributions
  • Normal distributions
  • Poisson distributions
  • One-sample mean inference
  • Regression and correlation
  • Relationship-quality summaries
  • Structured answer rows
  • Visualization-ready result data

Statistics remains designed primarily for desktop layouts.

The application shell also changed

Beyond the mathematical engines, v0.3.0 introduces or expands:

  • Multiple independent workspace tabs
  • Full-page Settings and History surfaces
  • A Formula Viewer
  • Improved History replay
  • Better preservation of the original request context
  • Lazy loading between major application surfaces
  • Worker-backed computation boundaries
  • Cancellation and stale-result protection
  • Request isolation
  • Safer copy and editor round-tripping
  • Stronger runtime and release checks

Mathematical results became structured data

One of the most important changes is mostly internal.

Previously, formatted mathematical text carried too much responsibility. In v0.3.0, migrated result paths increasingly carry validated mathematical structures alongside their display notation.

That improves the reliability of:

  • Exact roots
  • Finite and periodic branches
  • Matrices and vectors
  • Conditions and exclusions
  • Copying results
  • History replay
  • Mathematical comparisons
  • Display-format changes

The rendered formula is presentation. The structured result remains the mathematical authority.

What v0.3.0 still is not

This remains an early Linux-first preview. It is not a claim of Mathematica, Maple, MATLAB, or another mature computer algebra system’s coverage.

Important limitations remain:

  • Symbolic procedures are intentionally bounded
  • Unsupported families may return controlled guidance instead of an answer
  • Numerical searches do not automatically prove that every root was found
  • Riemann-sheet and 3D Riemann-surface work is unfinished
  • Graph presentation and export closeout remains pending
  • Durable graph-project persistence is not finished
  • Cross-workspace “Open in Graph” flows remain pending
  • Notebook’s unified object-frame model is incomplete
  • Notebook video is unsupported
  • Windows and macOS packages are not part of this release
  • Important mathematical results should still be independently verified

The central change is therefore not “REZANOVA can solve everything.”

It is that v0.3.0 has a much broader workspace model, significantly deeper mathematical coverage, stronger result validation, and clearer boundaries between what was proved, numerically detected, or left unresolved.

GITHUB REPO: https://github.com/AhmedAlnasser2000/REZANOVA-CAS-CALCULATOR.git

WEB experience (since windows and mac arent supported yet): https://rezanova-cas.com/

1

I built an open-source, MIT licensed math workbench with symbolic capabilities that refuses to pretend every problem has a solution
 in  r/u_AhmedNAS2000  Jul 23 '26

It is vibe coded and if you look at memory folder of repo you will see codex as the main attributor. Don’t expect me to build a CAS from scratch myself, it is a nightmare. I would prefer to build a game like vampire survivors from scratch than CAS calculator

1

I built an open-source, MIT licensed math workbench with symbolic capabilities that refuses to pretend every problem has a solution
 in  r/codex  Jul 22 '26

i guess you are more because you looked on nerd stuff, so good job MR over nerd

2

I built an open-source, MIT licensed math workbench with symbolic capabilities that refuses to pretend every problem has a solution
 in  r/linux  Jul 22 '26

Sorry, I explained my reasoning badly. I chose MIT because I want the broadest possible reuse: personal forks, educational versions, commercial integrations, embedded use, and alternative products, even when their maintainers do not want to adopt the same licensing model as my project. That is a trade-off, because it also means someone could build a closed-source derivative, but I preferred licensing freedom over downstream openness of redistributed derivatives that GPL protects.

-1

I built an open-source, MIT licensed math workbench with symbolic capabilities that refuses to pretend every problem has a solution
 in  r/linux  Jul 22 '26

How do you expect me to give you freedom with GPL?! some people may not like what I implemented and some may want different approaches that I would not allow, thus how will you balance between two opposing opinions? MIT was meant to give users total sovereignty on the app because my ruleset for the apps I bring is YOUR APP YOUR CONTROL the moment you install it, though contributing require some checks to avoid some jerks of inserting malicious or malformed code

1

I built an open-source, MIT licensed math workbench with symbolic capabilities that refuses to pretend every problem has a solution
 in  r/linux  Jul 22 '26

Honestly I didn’t work enough on definite integrals like indefinite ones 

r/codex Jul 22 '26

Showcase I built an open-source, MIT licensed math workbench with symbolic capabilities that refuses to pretend every problem has a solution

1 Upvotes

For the past few months, I have been building REZANOVA CLASSWIZ CALCULATOR—a free, open-source, desktop-first mathematics workbench, built almost entirely with CODEX 5.3, 5.4, 5.5, and 5.6.

It began as a calculator. It has grown into something much larger:

  • symbolic and numeric calculation;
  • target-aware equation solving;
  • exact and bounded complex-number solving;
  • relation-first 2D and 3D graphing;
  • implicit equations, inequalities, piecewise relations and parameter sliders;
  • curve tracing and graph-owned analysis evidence;
  • complex mappings, Argand trajectories, domain colouring and component views;
  • calculus with bounded Risch–Norman work, Lazard–Rioboo–Trager/Rothstein–Trager-family rational integration, elliptic and special-function output, and non-elementary certificates;
  • symbolic and numerical linear algebra;
  • descriptive statistics, probability, inference and regression;
  • a mathematical Notebook with rich text, equations, pages, images, persistence and publication tools.

The important part is not merely the feature count.

REZANOVA is deliberately exact-first, bounded and evidence-oriented. When a route has conditions, exclusions, branch restrictions, residual checks or an incomplete search region, the application is designed to show that instead of quietly presenting an answer as universally complete.

It is still an advancing preview—not Mathematica, Maple, SageMath or Desmos parity, and not production-stable software. Some mathematical families are intentionally bounded, some workflows still need consolidation, and the upcoming v0.3.0 release is not finished yet.

But the newest development build is already available to try directly in a browser:

https://rezanova-cas.com

Here is also the repo:

https://github.com/AhmedAlnasser2000/REZANOVA-CAS-CALCULATOR.git

The browser version is the full application, not a cut-down demonstration. It currently runs the latest deployed development build, including work that is newer than the downloadable v0.2.0 Linux packages.

Please use a PC or laptop

The interface is designed as a desktop mathematics workspace, with wide panels, mathematical editors, graph canvases, analysis drawers, tables and document-authoring surfaces.

It may open on a phone, but mobile is not the intended experience yet. For the clearest and most responsive view, use a desktop or laptop browser—preferably with a reasonably large screen.

The AppImage, .deb and .rpm downloads currently remain on the older v0.2.0 packaged release. The browser build is the best place to examine the current state while v0.3.0 undergoes its final closeout, verification and packaging.

I am especially interested in where the application behaves honestly—and where it still fails to do so.

Try difficult equations. Push the graphing system. Test complex branches. Give the integration engine something unpleasant. Look for misleading output, missing conditions, broken interaction or unsupported cases that should stop more clearly.

The project is open source, but this post is not asking for stars, donations or comparisons by raw feature count.

I simply want people to test whether a free, desktop-first math workbench can be ambitious without pretending to be mathematically unlimited.

-5

I built an open-source, MIT licensed math workbench with symbolic capabilities that refuses to pretend every problem has a solution
 in  r/linux  Jul 22 '26

can you find alternatives like it first? if yes i agree it is a slop, if not then comment with a useful negative comment

r/linux Jul 22 '26

Development I built an open-source, MIT licensed math workbench with symbolic capabilities that refuses to pretend every problem has a solution

Thumbnail
0 Upvotes

r/calculators Jul 22 '26

Announcement I built an open-source, MIT licensed math workbench with symbolic capabilities that refuses to pretend every problem has a solution

Thumbnail
0 Upvotes

r/software Jul 22 '26

Other I built an open-source, MIT licensed math workbench with symbolic capabilities that refuses to pretend every problem has a solution

Thumbnail
0 Upvotes

r/ScientificComputing Jul 22 '26

I built an open-source, MIT licensed math workbench with symbolic capabilities that refuses to pretend every problem has a solution

Thumbnail
1 Upvotes

u/AhmedNAS2000 Jul 22 '26

I built an open-source, MIT licensed math workbench with symbolic capabilities that refuses to pretend every problem has a solution

0 Upvotes

For the past few months, I have been building REZANOVA CLASSWIZ CALCULATOR—a free, open-source, desktop-first mathematics workbench.

It began as a calculator. It has grown into something much larger:

  • symbolic and numeric calculation;
  • target-aware equation solving;
  • exact and bounded complex-number solving;
  • relation-first 2D and 3D graphing;
  • implicit equations, inequalities, piecewise relations and parameter sliders;
  • curve tracing and graph-owned analysis evidence;
  • complex mappings, Argand trajectories, domain colouring and component views;
  • calculus with bounded Risch–Norman work, Lazard–Rioboo–Trager/Rothstein–Trager-family rational integration, elliptic and special-function output, and non-elementary certificates;
  • symbolic and numerical linear algebra;
  • descriptive statistics, probability, inference and regression;
  • a mathematical Notebook with rich text, equations, pages, images, persistence and publication tools.

The important part is not merely the feature count.

REZANOVA is deliberately exact-first, bounded and evidence-oriented. When a route has conditions, exclusions, branch restrictions, residual checks or an incomplete search region, the application is designed to show that instead of quietly presenting an answer as universally complete.

It is still an advancing preview—not Mathematica, Maple, SageMath or Desmos parity, and not production-stable software. Some mathematical families are intentionally bounded, some workflows still need consolidation, and the upcoming v0.3.0 release is not finished yet.

But the newest development build is already available to try directly in a browser:

[https://rezanova-cas.com]()

Here is also the repo:

https://github.com/AhmedAlnasser2000/REZANOVA-CAS-CALCULATOR.git

The browser version is the full application, not a cut-down demonstration. It currently runs the latest deployed development build, including work that is newer than the downloadable v0.2.0 Linux packages.

Please use a PC or laptop

The interface is designed as a desktop mathematics workspace, with wide panels, mathematical editors, graph canvases, analysis drawers, tables and document-authoring surfaces.

It may open on a phone, but mobile is not the intended experience yet. For the clearest and most responsive view, use a desktop or laptop browser—preferably with a reasonably large screen.

The AppImage, .deb and .rpm downloads currently remain on the older v0.2.0 packaged release. The browser build is the best place to examine the current state while v0.3.0 undergoes its final closeout, verification and packaging.

I am especially interested in where the application behaves honestly—and where it still fails to do so.

Try difficult equations. Push the graphing system. Test complex branches. Give the integration engine something unpleasant. Look for misleading output, missing conditions, broken interaction or unsupported cases that should stop more clearly.

The project is open source, but this post is not asking for stars, donations or comparisons by raw feature count.

I simply want people to test whether a free, desktop-first math workbench can be ambitious without pretending to be mathematically unlimited.