Changbo Chen

Changbo Chen

Professor, Chongqing Institute of Green and Intelligent Technology, Chinese Academy of …
Email verificata su cigit.ac.cn
Citato da 14794
Computer Algebra Symbolic Computation Automated Reasoning
Rob Corless

Rob Corless

Editor-in-Chief, Maple Transactions
Email verificata su uwo.ca
Citato da 14048
Symbolic Computation Numerical Analysis Computational Discovery Experimental Mathematics Special Functions
Bruno Buchberger

Bruno Buchberger

Professer for Computer Mathematics, Johannes Kepler University
Email verificata su jku.at
Citato da 13949
Symbolic Computation Computer Algebra Automated Reasoning Artificial Intelligence
Deepak Kapur

Deepak Kapur

University of New Mexico
Email verificata su cs.unm.edu
Citato da 9751
automated reasoning formal methods symbolic computation unification theory term rewriting
Erich Kaltofen

Erich Kaltofen

NCSU
Email verificata su ncsu.edu
Citato da 8456
Symbolic Computation
Xiao-Shan Gao

Xiao-Shan Gao

AMSS, CAS
Email verificata su mmrc.iss.ac.cn
Citato da 7555
Symbolic Computation Automated Reasoning Machine Learning
Carsten Schneider

Carsten Schneider

Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz
Email verificata su risc.jku.at
Citato da 7389
computer algebra symbolic computation combinatorics special functions computational physics
George Labahn

George Labahn

Professor Cheriton School of Computer Science, University of Waterloo
Email verificata su uwaterloo.ca
Citato da 5995
Computer Algebra Computational Finance Scientific Computing Symbolic Computation Approximation Theory
Michael Monagan

Michael Monagan

Professor of Mathematics, Simon Fraser University
Email verificata su cecm.sfu.ca
Citato da 4940
Computer Algebra Symbolic Computation Scientific Computing
Hoon Hong

Hoon Hong

NC State University
Email verificata su ncsu.edu
Citato da 3950
Symbolic Computation Computational algebra Computational algebraic geometry
1 - 10