Half a croissant, on a plate, with a sign in front of it saying '50c'
h a l f b a k e r y
Renovating the wheel

idea: add, search, annotate, link, view, overview, recent, by name, random

meta: news, help, about, links, report a problem

account: browse anonymously, or get an account and write.

user:
pass:
register,


 

Derivation operators

Define special commands to replace many wordy descriptions in mathematical texts
  (+2)
(+2)
  [vote for,
against]

Many proofs and derivations need a certain steps to complete. Actions to get from one state to another are often commented in words of one or another language.

But there are so many commonly used sayings such as "We apply distributive law", "We use E expansion at the vicinity of a point x", "We use T theorem", "We simplify this and that", ... and so on.

The idea is to define commands as operators which take in previous step(s) as an argument and give as a result the next step, this way replacing these wordy descriptions and making mathematical texts more detailed, yet succinct.

Inyuki, Dec 31 2009

[link]





      
[annotate]
  


 

back: main index

business  computer  culture  fashion  food  halfbakery  home  other  product  public  science  sport  vehicle