Similar to WIRIS

• 

  TQBF問題

  True quantified Boolean formula
  
• 

  Xorshift

  Xorshift
  
• 

  アフィン演算

  Affine arithmetic
  
• 

  0

  0
  
• 

  1

  1
  ▲1 trends

  
• 

  2

  2
  
• 

  3

  3
  ▲1 trends

  
• 

  4

  4
  
• 

  5

  5
  
• 

  6

  6
  
• 

  7

  7
  
• 

  8

  8
  
• 

  9

  9
  
• 

  1048576

  
• 

  12345679

  
• 

  数式処理システム

  Computer algebra system
  
• 

  数式処理システムの一覧

  List of computer algebra systems
  
• 

  Template:Computer algebra systems

  Template:Computer algebra systems
  
• 

  FORMAC

  FORMAC
  
• 

  General Algebraic Modeling System

  General algebraic modeling system
  
• 

  TI-Nspireシリーズ

  TI-Nspire series
  
• 

  TI-92シリーズ

  TI-92 series
  
• 

  GAP (数式処理システム)

  GAP (computer algebra system)
  
• 

  日本Mathematicaユーザー会

  
• 

  Macsyma

  Macsyma
  
• 

  Maple

  Maple (software)
  
• 

  リッシュのアルゴリズム

  Risch algorithm
  
• 

  REDUCE (数式処理システム)

  Reduce (computer algebra system)