The following pages link to swMATH work ID (P13):
Displayed 50 items.
- AutoMarkup (Q12831) (← links)
- AUTOMATE (Q12832) (← links)
- ACL2 (Q12833) (← links)
- AVS/express (Q12834) (← links)
- AXIOM (Q12835) (← links)
- BACOL (Q12836) (← links)
- Bagel (Q12837) (← links)
- BARON (Q12838) (← links)
- BAT (Q12839) (← links)
- BayesCalc (Q12840) (← links)
- BBVSCG (Q12841) (← links)
- BCYCLIC (Q12842) (← links)
- Beaver (Q12843) (← links)
- BEM (Q12844) (← links)
- BHESS (Q12846) (← links)
- Bi-CG (Q12847) (← links)
- BIGEBRA (Q12849) (← links)
- BioBrowser (Q12850) (← links)
- Biota (Q12851) (← links)
- BISTAB (Q12852) (← links)
- Blitz++ (Q12853) (← links)
- BNCpack (Q12854) (← links)
- BOKASUN (Q12855) (← links)
- Boolector (Q12856) (← links)
- BoomerAMG (Q12857) (← links)
- BPMPD (Q12858) (← links)
- BPOLY (Q12859) (← links)
- BRANECODE (Q12860) (← links)
- BRENTM (Q12861) (← links)
- BRKF45 (Q12862) (← links)
- BSFM (Q12863) (← links)
- BTN (Q12864) (← links)
- BTPEC (Q12865) (← links)
- BVSPIS (Q12866) (← links)
- Cadabra (Q12867) (← links)
- CADNA (Q12868) (← links)
- CAGE (Q12869) (← links)
- CALYPSO (Q12870) (← links)
- CANM (Q12871) (← links)
- Canon (Q12872) (← links)
- CAPDYN (Q12873) (← links)
- CAPLib (Q12874) (← links)
- CARP-CG (Q12875) (← links)
- CARRADS (Q12876) (← links)
- CartGen (Q12877) (← links)
- CASA (Q12878) (← links)
- Catfish (Q12879) (← links)
- CATPAC (Q12880) (← links)
- CCSP (Q12881) (← links)
- CD++ (Q12882) (← links)