Automatically generated triple addition formulas (using 16 fundamental relations) (16 formulas)
© 1998-2013 Wolfram Research, Inc.