共 50 条
- [2] APPLICATIONS OF SYMBOLIC MATHEMATICS TO MATHEMATICS [J]. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1984, 188 (AUG): : 5 - COMP
- [3] Symbolic Power and Mathematics [J]. PROCEEDINGS OF THE INTERNATIONAL CONGRESS OF MATHEMATICIANS, VOL I: PLENARY LECTURES AND CEREMONIES, 2010, : 690 - 705
- [4] The diffusion game: Using symbolic mathematics software to play the game on a large scale [J]. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2005, 230 : U1272 - U1273
- [5] PROGRAMS FOR SYMBOLIC MATHEMATICS IN BIOCHEMISTRY [J]. METHODS IN ENZYMOLOGY, 1992, 210 : 601 - 610
- [8] Historical documents, part II Two documents on mathematics [J]. SCIENCE IN CONTEXT, 2002, 15 (03) : 465 - 470
- [10] Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics [J]. THIRTY-SIXTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FOURTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE / TWELVETH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2022, : 8629 - 8637