An Application of Computer Algebra to Pharmacokinetics: The Bateman Equation.
Eugenio Roanes-LozanoAlfonso González-BermejoEugenio Roanes-MacíasJusto CabezasPublished in: SIAM Rev. (2006)
Keyphrases
- computer algebra
- theorem prover
- computer algebra systems
- automated theorem provers
- artificial neural networks
- data mining
- theorem proving
- nonlinear equations
- real world
- feature selection
- data structure
- supervised learning
- first order logic
- differential equations
- velocity field
- finite difference
- boundary value problem
- analytically derived
- real time