h a l f b a k e r yThe best idea since raw toast.
add, search, annotate, link, view, overview, recent, by name, random
news, help, about, links, report a problem
browse anonymously,
or get an account
and write.
register,
|
|
|
Please log in.
Before you can vote, you need to register.
Please log in or create an account.
|
Derivation operators
Define special commands to replace many wordy descriptions in mathematical texts | |
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.
[link]
|
| |