Similar to 数式処理システムの一覧

• 

  Axiom (数式処理システム)

  Axiom (computer algebra system)
  
• 

  Fast Library for Number Theory

  Fast Library for Number Theory
  
• 

  GeoGebra

  GeoGebra
  
• 

  Geometry Expressions

  
• 

  GiNaC

  GiNaC
  
• 

  Magma (数式処理システム)

  Magma (computer algebra system)
  
• 

  Mathematica

  Wolfram Mathematica
  
• 

  PARI/GP

  PARI/GP
  
• 

  Risa/Asir

  
• 

  SINGULAR (数式処理システム)

  Singular (software)
  
• 

  SymPy

  SymPy
  
• 

  WIRIS

  WIRIS
  
• 

  Zindaiji

  
• 

  Maxima

  Maxima (software)
  
• 

  MuPAD

  MuPAD
  
• 

  Yacas

  Yacas
  
• 

  ISO 80000-2

  ISO 80000-2
  
• 

  ZFCから独立な命題の一覧

  List of statements independent of ZFC
  
• 

  0

  0
  
• 

  1

  1
  ▲1 trends

  
• 

  2

  2
  
• 

  3

  3
  
• 

  4

  4
  
• 

  5

  5
  
• 

  6

  6
  
• 

  7

  7
  
• 

  8

  8
  
• 

  9

  9
  ▼-1 trends