Skip to content

FormulaValider is a system that automatically checks the correctness of mathematical and physical formulas on many levels. It is not an ordinary calculator - it is an intelligent validator that "understands" the structure of formulas and can detect errors before you use them...

Notifications You must be signed in to change notification settings

MrEon50/FormulaValider

Folders and files

NameName
Last commit message
Last commit date

Latest commit

ย 

History

4 Commits
ย 
ย 
ย 
ย 
ย 
ย 

Repository files navigation

๐Ÿงฎ FormulaValider - ฮฃ/ฮ” Formula Validation System ๐ŸŽฏ What is FormulaValider? FormulaValider is a system that automatically checks the correctness of mathematical and physical formulas on many levels.

It's not an ordinary calculator - it's an intelligent validator that "understands" the structure of formulas and can detect errors before you use them!

๐Ÿ”ฌ Why is it important? Imagine that:

You are writing a scientific paper and you want to check if the formulas are written correctly You are learning physics and you are not sure about the mathematical syntax You are creating a scientific program and you need to validate formulas You want to automatically check hundreds of formulas in a database FormulaValider solves these problems! ๐Ÿš€

๐Ÿ—๏ธ ฮฃ/ฮ” (Sigma/Delta) Architecture The system works in two layers of validation:

๐Ÿ”ค [ฮฃ] SIGMA - Mathematical Syntax โœ… Correct: โŒ Incorrect: F = m * a F = m * E = m * c**2 E == m * cยฒ v = s / t v s / t P = U * I P = U * (I + R

What it checks:

Does the formula contain the equal sign =? Are the left and right sides mathematically correct? Are there no syntactic errors (unclosed brackets, incorrect operators)? โš–๏ธ [ฮ”] DELTA - Unit Consistency โœ… Correct units: F = m * a โ†’ [N] = [kg] ร— [m/sยฒ] โœ“

โŒ Incorrect units: F = m * v โ†’ [N] โ‰  [kg] ร— [m/s] โœ—

What it checks:

Do all symbols have defined units? Are the units on both sides of the equation consistent?

Basis for future full dimensional analysis ๐Ÿš€ Future extensions (planned): ๐Ÿง  [ฮ›] LAMBDA - Symbol Semantics Meaning of symbols (mass, energy, force...) Type of quantity (scalar, vector, tensor) Context of the scientific field ๐ŸŒ [ฮ ] PI - Conformity with Reality Verification with the physical knowledge base Checking the limits of applicability of the formula Integration with AI/AGI systems ๐Ÿ’ป How to use the program?

  1. Run the program: python formulavalider.py

  2. Select an option from menu: โ•”โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•— โ•‘ FORMULAVALIDER โ•‘ โ•‘ Validation System ฮฃ/ฮ” โ•‘ โ• โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•ฃ โ•‘ 1. Check your own pattern โ•‘ โ•‘ 2. Select a pattern from the ready list โ•‘ โ•‘ 3. System information ฮฃ/ฮ” โ•‘ โ•‘ 4. Create sample formulas.json โ•‘ โ•‘ 5. Output โ•‘ โ•šโ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•โ•

  3. Example of checking the formula: Enter the formula: F = m * a Do you want to add units? (y/n): t

Symbol and unit: F N Symbol and unit: m kg Symbol and unit: a m/s**2 Symbol and unit: [Enter]

===================================================== FORMULA VALIDATION: F = m * a Description: Newton's Second Law of Motion = ... [N]

โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€ ๐ŸŽ‰ CORRECT PATTERN! โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€

๐Ÿ“š Examples of patterns to test: โœ… Patterns correct: E = m * c2 # Einstein F = m * a # Newton P = U * I # Ohm's Law v = s / t # Velocity Ek = (1/2) * m * v2 # Kinetic energy p = m * v # Momentum W = F * s # Work

โŒ Incorrect formulas (for testing): F = m * # Incomplete E == m * c**2 # Double equal sign F m * a # No equal sign lambda = h / p # 'lambda' is a Python keyword F = m * (a + b # Unclosed parenthesis

โš ๏ธ Important restrictions: ๐Ÿšซ Avoid Python keywords: โŒ Incorrect: โœ… Use instead: lambda = h / p โ†’ L = h / p if = m * a โ†’ force = m * a for = F * r โ†’ torque = F * r class = C โ†’ capacitance = C

๐Ÿ“ Formula format: Use ** for exponentiation (not ^) Use * for multiplication (don't skip) Use sqrt() for square root Functions: sin(), cos(), log(), exp() ๐ŸŽฏ Who is this program for?

๐Ÿ‘จโ€๐ŸŽ“ Students and pupils: Checking formulas before exams Learning correct mathematical notation Verifying physical units ๐Ÿ‘จโ€๐Ÿ”ฌ Scientists and engineers: Validating formulas in publications Validating formulas in programs Automating quality control ๐Ÿ‘จโ€๐Ÿ’ป Programmers: Validating formulas in scientific applications Creating computational systems Integrating with formula databases ๐Ÿค– AI enthusiasts: Exploring representations of mathematical knowledge Preparation for AGI systems Experimenting with symbolic validation ๐Ÿ”ง Installation and compilation: Requirements: pip install sympy

Compiling to .exe: pip install pyinstaller pyinstaller --onefile formulavalider.py

๐ŸŒŸ Why is FormulaValider a breakthrough?

The first formula validation system - nothing like it existed before Modular architecture - easily extendable with new layers Practical use - from education to research Preparing for the future - a foundation for AI/AGI systems Open source - anyone can develop and customize ๐Ÿš€ Vision of the future:

FormulaValider is just the beginning! Imagine a system that:

Automatically checks all

About

FormulaValider is a system that automatically checks the correctness of mathematical and physical formulas on many levels. It is not an ordinary calculator - it is an intelligent validator that "understands" the structure of formulas and can detect errors before you use them...

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages