Someone asks about the number of PETSc users. Do we have relevant info? Hong
- [petsc-dev] Statistics on the popularity of PETS... Zhang, Hong via petsc-dev
- Re: [petsc-dev] Statistics on the popularit... Jacob Faibussowitsch
- Re: [petsc-dev] Statistics on the popul... Barry Smith
- Re: [petsc-dev] Statistics on the p... Jacob Faibussowitsch
- Re: [petsc-dev] Statistics on t... Jacob Faibussowitsch
- Re: [petsc-dev] Statistics... Zhang, Hong via petsc-dev
- Re: [petsc-dev] Statistics... Victor Eijkhout
- Re: [petsc-dev] Statis... Victor Eijkhout
- Re: [petsc-dev] St... Jacob Faibussowitsch
- Re: [petsc-dev] St... Victor Eijkhout
- Re: [petsc-dev] St... Blaise A Bourdin
