← Back to catalogue
Research draft

formula

vr.tr.formula · INF.MED

Let an agent explain what formulas are across mathematics, logic, science and chemistry, distinguish kinds such as equations, inequations and logical formulas, relay notation standards, and help read, write and check formulas.

Thing Registry Information and virtual systems

Research draft, second pass

A second pass drafted this model: the structure a model of this thing needs, and what is known about it in the world. The line under this one says how the second half was obtained - researched against sources, or recalled without web access, in which case nothing here was read anywhere and every claim is a lead to verify. Unreviewed either way.

written by Claude from model knowledge without web access - no source was read, every claim is a lead to verify

Researched by: Claude

Purpose and description

Let an agent explain what formulas are across mathematics, logic, science and chemistry, distinguish kinds such as equations, inequations and logical formulas, relay notation standards, and help read, write and check formulas.

A concise expression of a mathematical, logical, scientific or chemical relationship in symbols, such as an equation, inequation, logical formula, system of equations or chemical formula, that states a fact, a rule or a computation; formulas are governed by the syntax of their notation, can be evaluated or solved, and range from everyday computations to systems of equations that may be determined, overdetermined or underdetermined.

What it is for: Expressing relationships and rules compactly in symbols.

It can be explain kinds of formula; help read and write formulas; relay notation standards; distinguish from related notions.

Distinguishing features

Symbolic and compact

Governed by notation syntax

Can be evaluated or solved

Cross-disciplinary

What it looks like

Not a physical object; a line of symbols such as an equation on a page or screen.

How it is recognised

Symbolic expression of a relationship or rule

Equations, inequations, logical and chemical formulas

An expression alone states no relationship; an algorithm is a procedure

Related models

is a kind of - stating a relationship

mathematical expression

is a kind of - in registry terms

mathematical notation

includes - the main kind

equation

is related to - in chemistry

chemical formula

In practice

Families and kinds

equations and systems of equations

inequations and inequalities

logical formulas, well-formed formulas

scientific formulas such as physical laws

chemical and molecular formulas

spreadsheet and programming formulas

systems classed as determined, overdetermined or underdetermined, autonomous or non-autonomous

Standards and regulation

ISO 80000-2 mathematical signs and symbols

IUPAC rules for chemical formulas

Notation conventions of each field

Failure modes and hazards

Ambiguous notation

Confusing formula with expression or algorithm

Errors in transcription

Also called

system of equationslogical formulainequationnon-autonomous systemoverdetermined systemunderdetermined systemsystem of polynomial equationsautonomous systemsystem of differential equationsHarrop formulaquadratic inequalitycubic inequalityconcentration inequalityage-predicted maximal heart rate equationquadrature rulesuperformulaBinomial Formulareadability testinterpolation formulaDelambre analogiesNapier's analogiesasymptotic formulareflection formulaformula for generating Pythagorean triplesmidparentsystem of quadratic equationsEfron–Stein inequalityLexile

Where this came from

wikidata · CC0 1.0

Source repository Registry entry point

Also registered as vr.tr.formula-2

Drafted structure

Bundle to layer to finding to question, as the second pass will find it: 4 bundles · 8 layers · 8 findings · 16 questions.

Concept What a formula is.

Definition.

Definition

Definition and kinds.

Definition

Definition.

  1. What is a formula, and what kinds exist across fields? definition
  2. Is the object a formula, an expression, an algorithm or a function? boundary

Systems

Systems of equations.

Systems

Systems.

  1. What are determined, overdetermined and underdetermined systems, and autonomous versus non-autonomous systems? definition
  2. Which entry fits system of equations? action
Use Reading and writing.

Practice.

Reading

Reading formulas.

Reading

Reading.

  1. How is a given formula read, and what do its symbols mean? action
  2. What does the formula yield for the values in question? measurement

Writing

Writing and typesetting.

Writing

Writing.

  1. How are formulas written and typeset, including in LaTeX and MathML? provenance
  2. Which references are standard? provenance
Fields Formulas by field.

Application.

Logic

Logical formulas.

Logic

Logic.

  1. What are well-formed formulas in logic, and how are they interpreted? provenance
  2. Which entry fits formal logic? action

Science

Scientific and chemical formulas.

Science

Science.

  1. How do physical laws and chemical formulas express relationships and composition? provenance
  2. Which entry fits chemical formula? action
Context History and teaching.

Context.

History

History of notation.

History

History.

  1. How did symbolic formulas develop from rhetorical algebra to modern notation? provenance
  2. Which entry fits the history of mathematical notation? action

Teach

Teaching.

Teach

Teaching.

  1. How are formulas taught, and which misconceptions arise? provenance
  2. Which entry fits mathematics education? action

What the second pass must settle

  • Should equation and chemical formula be the primary linked entries?
  • How should notation standards be linked?
  • The registry entry has merged aliases naming kinds of systems of equations; should they be split off?
Draft as JSON