日本語
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어

#symboliccomputation 検索結果

Montreal_AI's profile picture. https://t.co/LziAg5YHcG | AGI.Eth #AGI Company 🗝️👾 Disc.: https://t.co/FchXRDk4ki OS: https://t.co/dbjdfMoPxb Français: @Montreal_IA #MontrealAI
MONTREAL.AI
@Montreal_AI
2022/05/05

Neurocompositional computing: From the Central Paradox of Cognition to a new generation of AI systems Smolensky et al.: arxiv.org/abs/2205.01128 #ArtificialIntelligence #EvolutionaryComputing #SymbolicComputation

Montreal_AI's tweet image. Neurocompositional computing: From the Central Paradox of Cognition to a new generation of AI systems Smolensky et al.: arxiv.org/abs/2205.01128 #ArtificialIntelligence #EvolutionaryComputing #SymbolicComputation
0
0
3
2
0
Algorithms_MDPI's profile picture. An #OpenAccess journal on #algorithms and applications | published by @MDPIOpenAccess | indexed in #ESCI, #Ei | Editor-in-Chief: Prof. Dr. Frank Werner
Algorithms MDPI
 @Algorithms_MDPI
2020/11/26

[Article] On the Solutions of Second-Order Differential Equations with Polynomial Coefficients: Theory, Algorithm, Application Full #openaccess @ lnkd.in/gvPRY8C #symboliccomputation #polynomialsolutions #Heunequation #Diracequation #methodofFrobenius #algorithms

Algorithms_MDPI's tweet image. [Article] On the Solutions of Second-Order Differential Equations with Polynomial Coefficients: Theory, Algorithm, Application Full #openaccess @ lnkd.in/gvPRY8C #symboliccomputation #polynomialsolutions #Heunequation #Diracequation #methodofFrobenius #algorithms
0
0
1
0
0
Bibli_CIRM's profile picture. library # mathematics
Bibliothèque du CIRM
 @Bibli_CIRM
2024/04/16

🆕🎬 Journées Nationales de Calcul Formel Visionnez les cours de Magali Bardet, Lucia Di Vizio, Christoph Koutschan, Vincent Neiger &Magali Bardet la Bibliothèque audiovisuelle du CIRM @_CIRM #Maths #conference #SymbolicComputation #CalculFormel library.cirm-math.fr/ListRecord.htm…

Bibli_CIRM's tweet image. 🆕🎬 Journées Nationales de Calcul Formel Visionnez les cours de Magali Bardet, Lucia Di Vizio, Christoph Koutschan, Vincent Neiger &Magali Bardet la Bibliothèque audiovisuelle du CIRM @_CIRM #Maths #conference #SymbolicComputation #CalculFormel library.cirm-math.fr/ListRecord.htm…
1
3
6
1
386
Bibli_CIRM's profile picture. library # mathematics
Bibliothèque du CIRM
 @Bibli_CIRM
/04/07

🆕🎬FrancoFrancophone Computer Algebra Days Moreno Maza, Marc (2025). Polyhedral sets, lattice points, optimizing compilers and computer algebra - lecture 1 & 2 . CIRM. Audiovisual resource. dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #Maths #SymbolicComputation

Bibli_CIRM's tweet image. 🆕🎬FrancoFrancophone Computer Algebra Days Moreno Maza, Marc (2025). Polyhedral sets, lattice points, optimizing compilers and computer algebra - lecture 1 & 2 . CIRM. Audiovisual resource. dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #Maths #SymbolicComputation
0
0
4
0
34
Bibli_CIRM's profile picture. library # mathematics
Bibliothèque du CIRM
 @Bibli_CIRM
/03/13

🆕🎬Enumerative combinatorics and effective aspects of differential equations Schneider, Carsten (2025). Summation theory of difference rings and applications - lecture 1,2,3. CIRM dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #SymbolicComputation

Bibli_CIRM's tweet image. 🆕🎬Enumerative combinatorics and effective aspects of differential equations Schneider, Carsten (2025). Summation theory of difference rings and applications - lecture 1,2,3. CIRM dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #SymbolicComputation
1
0
3
0
34
Bibli_CIRM's profile picture. library # mathematics
Bibliothèque du CIRM
 @Bibli_CIRM
/04/07

🆕🎬FrancoFrancophone Computer Algebra Days Charton, Francois (2025). Symbolic language models: applications and interpretability - lecture 1 & 2. CIRM. dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #Maths #conference #SymbolicComputation

Bibli_CIRM's tweet image. 🆕🎬FrancoFrancophone Computer Algebra Days Charton, Francois (2025). Symbolic language models: applications and interpretability - lecture 1 & 2. CIRM. dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #Maths #conference #SymbolicComputation
1
0
2
0
19
Bibli_CIRM's profile picture. library # mathematics
Bibliothèque du CIRM
 @Bibli_CIRM
/04/07

🆕🎬FrancoFrancophone Computer Algebra Days Watch the talks of Francois Charton, Teresa Krick, Marc Moreno Maza in the Audiovisual Mathematics Library & carmin.tv carmin.tv/fr/c/1637 library.cirm-math.fr/ListRecord.htm… @_CIRM #Maths #conference #SymbolicComputation

Bibli_CIRM's tweet image. 🆕🎬FrancoFrancophone Computer Algebra Days Watch the talks of Francois Charton, Teresa Krick, Marc Moreno Maza in the Audiovisual Mathematics Library & carmin.tv carmin.tv/fr/c/1637 library.cirm-math.fr/ListRecord.htm… @_CIRM #Maths #conference #SymbolicComputation
1
2
3
0
260
douira100's profile picture. enthusiast for building nice things | Java & TypeScript | cake and bread baking | likes Minecraft He/Him 🏳️‍🌈
douira
 @douira100
2017/03/14

I created a procedural function generator and It makes nice pictures. Will post images tomorrow! #symbolicComputation #mostcommonhashtagever

0
0
0
0
0
Bibli_CIRM's profile picture. library # mathematics
Bibliothèque du CIRM
 @Bibli_CIRM
/04/07

🆕🎬FrancoFrancophone Computer Algebra Days Krick, Teresa (2025). Effective bounds for polynomial systems defined over the rationals - lecture 1 & 2. CIRM. dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #Maths #conference #SymbolicComputation

Bibli_CIRM's tweet image. 🆕🎬FrancoFrancophone Computer Algebra Days Krick, Teresa (2025). Effective bounds for polynomial systems defined over the rationals - lecture 1 & 2. CIRM. dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #Maths #conference #SymbolicComputation
1
0
3
0
43
cocalc_com's profile picture. Collaborate in real time while using Jupyter, Linux, LaTeX, and more.
CoCalc by SageMath, Inc.
 @cocalc_com
/10/14

🧮 Rigorous math + computer‑aided checks via symbolic computation. LaTeX+SageTeX on CoCalc: compute ΦnΦn​, verify degΦn=φ(n)degΦn​=φ(n), explore Gal(Q(ζn)/Q)≅(Z/nZ)×Gal(Q(ζn​)/Q)≅(Z/nZ)×. cocalc.com/share/public_p… #SymbolicComputation #SageMath #LaTeX #Math #Reproducibility

0
2
5
0
159
Arxiv_Daily's profile picture. Daily feed of this week's top research articles published to https://t.co/ULrW4yLt6n. AI Research Papers, Curated by @DeepAI
arXiv Daily
@Arxiv_Daily
2022/01/13

DPCL: a Language Template for Normative Specifications deepai.org/publication/dp… by @gsileno et al. #ArtificialIntelligence #SymbolicComputation

1
0
1
0
0
vida_abedi's profile picture. Associate Prof. Penn State University #engineer #biochemist #EHR #imputation #AI #stroke #medicalinformatics #precisionHealth #genomics #MotherOfTwo
Dr. Vida Abedi, PhD
 @vida_abedi
2015/02/16

Controllability & observability of Boolean networks arising from biology scitation.aip.org/content/aip/jo… #Chaos #BooleanNetworks #symbolicComputation

0
0
1
0
0
StackSciComp's profile picture. A Q&A site for scientists using computers to solve scientific problems
Sci Comp SE
 @StackSciComp
2014/04/17

CAS to perform "simple" tensor operations in index notation scicomp.stackexchange.com/q/11393?atw=1 #symboliccomputation

0
0
0
0
0
DeepAI's profile picture. Pioneers in generative AI. chat/image/video/music. you own outputs. $4.99/mo for DeepAI Pro cool research at @arxiv_daily For support email team@deepai.org
DeepAI
@DeepAI
2022/09/07

CASPER: Cognitive Architecture for Social Perception and Engagement in Robots deepai.org/publication/ca… by Samuele Vinanzi et al. #ArtificialIntelligence #SymbolicComputation

0
1
3
1
0
StackSciComp's profile picture. A Q&A site for scientists using computers to solve scientific problems
Sci Comp SE
 @StackSciComp
2013/03/17

What libraries are available for solving problems at the college physics level? scicomp.stackexchange.com/q/5496?atw=1 #symboliccomputation

0
0
0
0
0
ECCOMASofficial's profile picture. This is the official account of the European Community on Computational Methods in Applied Sciences (ECCOMAS) Send us your post at eccomas.yic@gmail.com
ECCOMAS Community
 @ECCOMASofficial
2024/10/21

The 7th edition of the International Conference on Numerical and Symbolic Computation Developments and Applications (SYMCOMP) will be set in Lisbon, Portugal for two days: 10-11 July 2025. 🗓️ Mark the date in your calendar! #ECCOMAS #conference #symboliccomputation

ECCOMASofficial's tweet image. The 7th edition of the International Conference on Numerical and Symbolic Computation Developments and Applications (SYMCOMP) will be set in Lisbon, Portugal for two days: 10-11 July 2025. 🗓️ Mark the date in your calendar! #ECCOMAS #conference #symboliccomputation
1
0
0
0
86
cocalc_com's profile picture. Collaborate in real time while using Jupyter, Linux, LaTeX, and more.
CoCalc by SageMath, Inc.
 @cocalc_com
/10/14

🧮 Rigorous math + computer‑aided checks via symbolic computation. LaTeX+SageTeX on CoCalc: compute ΦnΦn​, verify degΦn=φ(n)degΦn​=φ(n), explore Gal(Q(ζn)/Q)≅(Z/nZ)×Gal(Q(ζn​)/Q)≅(Z/nZ)×. cocalc.com/share/public_p… #SymbolicComputation #SageMath #LaTeX #Math #Reproducibility

0
2
5
0
159
Eikonicopolis's profile picture. Founder of EIKONICO-a world engine of mythic governance; shaping temenos in code; karma in ritual; economies from reverence. #SymbolicDAO #RitualTech #Eikonico
Giovanni Esposito
 @Eikonicopolis
/07/21

Fair—& not just infrastructure. Software engineering encodes intent, abstraction & meaning. LLMs can sketch code, but aligning with evolving symbolic architectures? Brittle Programmers won’t be replaced—they’ll be interpreters of complexity. #AI #LLM #SymbolicComputation

0
0
0
0
6
Bibli_CIRM's profile picture. library # mathematics
Bibliothèque du CIRM
 @Bibli_CIRM
/04/07

🆕🎬FrancoFrancophone Computer Algebra Days Moreno Maza, Marc (2025). Polyhedral sets, lattice points, optimizing compilers and computer algebra - lecture 1 & 2 . CIRM. Audiovisual resource. dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #Maths #SymbolicComputation

Bibli_CIRM's tweet image. 🆕🎬FrancoFrancophone Computer Algebra Days Moreno Maza, Marc (2025). Polyhedral sets, lattice points, optimizing compilers and computer algebra - lecture 1 & 2 . CIRM. Audiovisual resource. dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #Maths #SymbolicComputation
0
0
4
0
34
Bibli_CIRM's profile picture. library # mathematics
Bibliothèque du CIRM
 @Bibli_CIRM
/04/07

🆕🎬FrancoFrancophone Computer Algebra Days Krick, Teresa (2025). Effective bounds for polynomial systems defined over the rationals - lecture 1 & 2. CIRM. dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #Maths #conference #SymbolicComputation

Bibli_CIRM's tweet image. 🆕🎬FrancoFrancophone Computer Algebra Days Krick, Teresa (2025). Effective bounds for polynomial systems defined over the rationals - lecture 1 & 2. CIRM. dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #Maths #conference #SymbolicComputation
1
0
3
0
43
Bibli_CIRM's profile picture. library # mathematics
Bibliothèque du CIRM
 @Bibli_CIRM
/04/07

🆕🎬FrancoFrancophone Computer Algebra Days Charton, Francois (2025). Symbolic language models: applications and interpretability - lecture 1 & 2. CIRM. dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #Maths #conference #SymbolicComputation

Bibli_CIRM's tweet image. 🆕🎬FrancoFrancophone Computer Algebra Days Charton, Francois (2025). Symbolic language models: applications and interpretability - lecture 1 & 2. CIRM. dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #Maths #conference #SymbolicComputation
1
0
2
0
19
Bibli_CIRM's profile picture. library # mathematics
Bibliothèque du CIRM
 @Bibli_CIRM
/04/07

🆕🎬FrancoFrancophone Computer Algebra Days Watch the talks of Francois Charton, Teresa Krick, Marc Moreno Maza in the Audiovisual Mathematics Library & carmin.tv carmin.tv/fr/c/1637 library.cirm-math.fr/ListRecord.htm… @_CIRM #Maths #conference #SymbolicComputation

Bibli_CIRM's tweet image. 🆕🎬FrancoFrancophone Computer Algebra Days Watch the talks of Francois Charton, Teresa Krick, Marc Moreno Maza in the Audiovisual Mathematics Library & carmin.tv carmin.tv/fr/c/1637 library.cirm-math.fr/ListRecord.htm… @_CIRM #Maths #conference #SymbolicComputation
1
2
3
0
260
Bibli_CIRM's profile picture. library # mathematics
Bibliothèque du CIRM
 @Bibli_CIRM
/03/13

🆕🎬Enumerative combinatorics and effective aspects of differential equations Schneider, Carsten (2025). Summation theory of difference rings and applications - lecture 1,2,3. CIRM dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #SymbolicComputation

Bibli_CIRM's tweet image. 🆕🎬Enumerative combinatorics and effective aspects of differential equations Schneider, Carsten (2025). Summation theory of difference rings and applications - lecture 1,2,3. CIRM dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #SymbolicComputation
1
0
3
0
34
ECCOMASofficial's profile picture. This is the official account of the European Community on Computational Methods in Applied Sciences (ECCOMAS) Send us your post at eccomas.yic@gmail.com
ECCOMAS Community
 @ECCOMASofficial
2024/10/21

The 7th edition of the International Conference on Numerical and Symbolic Computation Developments and Applications (SYMCOMP) will be set in Lisbon, Portugal for two days: 10-11 July 2025. 🗓️ Mark the date in your calendar! #ECCOMAS #conference #symboliccomputation

ECCOMASofficial's tweet image. The 7th edition of the International Conference on Numerical and Symbolic Computation Developments and Applications (SYMCOMP) will be set in Lisbon, Portugal for two days: 10-11 July 2025. 🗓️ Mark the date in your calendar! #ECCOMAS #conference #symboliccomputation
1
0
0
0
86
Bibli_CIRM's profile picture. library # mathematics
Bibliothèque du CIRM
 @Bibli_CIRM
2024/04/16

🆕🎬 Journées Nationales de Calcul Formel Bardet, Magali (2024). Algebraic attacks for the rank decoding problem - Lecture 1 & 2 . CIRM. Audiovisual resource dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #Maths #conference #SymbolicComputation #Cryptography #CalculFormel

Bibli_CIRM's tweet image. 🆕🎬 Journées Nationales de Calcul Formel Bardet, Magali (2024). Algebraic attacks for the rank decoding problem - Lecture 1 & 2 . CIRM. Audiovisual resource dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #Maths #conference #SymbolicComputation #Cryptography #CalculFormel
1
0
2
0
27
Bibli_CIRM's profile picture. library # mathematics
Bibliothèque du CIRM
 @Bibli_CIRM
2024/04/16

🆕🎬 Journées Nationales de Calcul Formel Visionnez les cours de Magali Bardet, Lucia Di Vizio, Christoph Koutschan, Vincent Neiger &Magali Bardet la Bibliothèque audiovisuelle du CIRM @_CIRM #Maths #conference #SymbolicComputation #CalculFormel library.cirm-math.fr/ListRecord.htm…

Bibli_CIRM's tweet image. 🆕🎬 Journées Nationales de Calcul Formel Visionnez les cours de Magali Bardet, Lucia Di Vizio, Christoph Koutschan, Vincent Neiger &Magali Bardet la Bibliothèque audiovisuelle du CIRM @_CIRM #Maths #conference #SymbolicComputation #CalculFormel library.cirm-math.fr/ListRecord.htm…
1
3
6
1
386
RLsquare's profile picture. combinations of Reasoning and Learning via Reinforcement Learning Research Group at @GeorgiaTech
RL² Research Group @ GaTech
 @RLsquare
2023/11/04

In our recent paper published in the Communications of the ACM, we show how #satisfiability solving and #symboliccomputation can be combined to create powerful new tools for solving difficult #math problems. More details: uwaterloo.ca/mathcheck/

2
0
0
0
3
DeepAI's profile picture. Pioneers in generative AI. chat/image/video/music. you own outputs. $4.99/mo for DeepAI Pro cool research at @arxiv_daily For support email team@deepai.org
DeepAI
@DeepAI
2022/09/07

CASPER: Cognitive Architecture for Social Perception and Engagement in Robots deepai.org/publication/ca… by Samuele Vinanzi et al. #ArtificialIntelligence #SymbolicComputation

0
1
3
1
0
Montreal_AI's profile picture. https://t.co/LziAg5YHcG | AGI.Eth #AGI Company 🗝️👾 Disc.: https://t.co/FchXRDk4ki OS: https://t.co/dbjdfMoPxb Français: @Montreal_IA #MontrealAI
MONTREAL.AI
@Montreal_AI
2022/05/05

Neurocompositional computing: From the Central Paradox of Cognition to a new generation of AI systems Smolensky et al.: arxiv.org/abs/2205.01128 #ArtificialIntelligence #EvolutionaryComputing #SymbolicComputation

Montreal_AI's tweet image. Neurocompositional computing: From the Central Paradox of Cognition to a new generation of AI systems Smolensky et al.: arxiv.org/abs/2205.01128 #ArtificialIntelligence #EvolutionaryComputing #SymbolicComputation
0
0
3
2
0
Arxiv_Daily's profile picture. Daily feed of this week's top research articles published to https://t.co/ULrW4yLt6n. AI Research Papers, Curated by @DeepAI
arXiv Daily
@Arxiv_Daily
2022/01/13

DPCL: a Language Template for Normative Specifications deepai.org/publication/dp… by @gsileno et al. #ArtificialIntelligence #SymbolicComputation

1
0
1
0
0
Algorithms_MDPI's profile picture. An #OpenAccess journal on #algorithms and applications | published by @MDPIOpenAccess | indexed in #ESCI, #Ei | Editor-in-Chief: Prof. Dr. Frank Werner
Algorithms MDPI
 @Algorithms_MDPI
2020/11/26

[Article] On the Solutions of Second-Order Differential Equations with Polynomial Coefficients: Theory, Algorithm, Application Full #openaccess @ lnkd.in/gvPRY8C #symboliccomputation #polynomialsolutions #Heunequation #Diracequation #methodofFrobenius #algorithms

Algorithms_MDPI's tweet image. [Article] On the Solutions of Second-Order Differential Equations with Polynomial Coefficients: Theory, Algorithm, Application Full #openaccess @ lnkd.in/gvPRY8C #symboliccomputation #polynomialsolutions #Heunequation #Diracequation #methodofFrobenius #algorithms
0
0
1
0
0
_justanotherlad's profile picture. software engineer @Microsoft ; ex @Wolfram_Alpha • here to post nerdy-stuffs or grievances, no in-between
Swastik Banerjee
 @_justanotherlad
2020/11/23

Link to blog: community.wolfram.com/groups/-/m/t/2… #ComputerAlgebraicSystems #SymbolicComputation @WolframResearch

_justanotherlad's profile picture. software engineer @Microsoft ; ex @Wolfram_Alpha • here to post nerdy-stuffs or grievances, no in-between
Swastik Banerjee
 @_justanotherlad
2020/11/22

An important issue in symbolic computation is the simplification and manipulation of algebraic expressions. Read about the RadicalDenest function developed by me as an intern @WolframResearch to denest an algebraic expression automatically containing nested radicals heuristically

_justanotherlad's tweet image. An important issue in symbolic computation is the simplification and manipulation of algebraic expressions. Read about the RadicalDenest function developed by me as an intern @WolframResearch to denest an algebraic expression automatically containing nested radicals heuristically
2
0
5
0
0
0
0
0
0
0
"#symboliccomputation" に一致する結果はありません
Montreal_AI's profile picture. https://t.co/LziAg5YHcG | AGI.Eth #AGI Company 🗝️👾 Disc.: https://t.co/FchXRDk4ki OS: https://t.co/dbjdfMoPxb Français: @Montreal_IA #MontrealAI
MONTREAL.AI
@Montreal_AI
2022/05/05

Neurocompositional computing: From the Central Paradox of Cognition to a new generation of AI systems Smolensky et al.: arxiv.org/abs/2205.01128 #ArtificialIntelligence #EvolutionaryComputing #SymbolicComputation

Montreal_AI's tweet image. Neurocompositional computing: From the Central Paradox of Cognition to a new generation of AI systems Smolensky et al.: arxiv.org/abs/2205.01128 #ArtificialIntelligence #EvolutionaryComputing #SymbolicComputation
0
0
3
2
0
Bibli_CIRM's profile picture. library # mathematics
Bibliothèque du CIRM
 @Bibli_CIRM
2024/04/16

🆕🎬 Journées Nationales de Calcul Formel Visionnez les cours de Magali Bardet, Lucia Di Vizio, Christoph Koutschan, Vincent Neiger &Magali Bardet la Bibliothèque audiovisuelle du CIRM @_CIRM #Maths #conference #SymbolicComputation #CalculFormel library.cirm-math.fr/ListRecord.htm…

Bibli_CIRM's tweet image. 🆕🎬 Journées Nationales de Calcul Formel Visionnez les cours de Magali Bardet, Lucia Di Vizio, Christoph Koutschan, Vincent Neiger &Magali Bardet la Bibliothèque audiovisuelle du CIRM @_CIRM #Maths #conference #SymbolicComputation #CalculFormel library.cirm-math.fr/ListRecord.htm…
1
3
6
1
386
Bibli_CIRM's profile picture. library # mathematics
Bibliothèque du CIRM
 @Bibli_CIRM
/04/07

🆕🎬FrancoFrancophone Computer Algebra Days Charton, Francois (2025). Symbolic language models: applications and interpretability - lecture 1 & 2. CIRM. dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #Maths #conference #SymbolicComputation

Bibli_CIRM's tweet image. 🆕🎬FrancoFrancophone Computer Algebra Days Charton, Francois (2025). Symbolic language models: applications and interpretability - lecture 1 & 2. CIRM. dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #Maths #conference #SymbolicComputation
1
0
2
0
19
Algorithms_MDPI's profile picture. An #OpenAccess journal on #algorithms and applications | published by @MDPIOpenAccess | indexed in #ESCI, #Ei | Editor-in-Chief: Prof. Dr. Frank Werner
Algorithms MDPI
 @Algorithms_MDPI
2020/11/26

[Article] On the Solutions of Second-Order Differential Equations with Polynomial Coefficients: Theory, Algorithm, Application Full #openaccess @ lnkd.in/gvPRY8C #symboliccomputation #polynomialsolutions #Heunequation #Diracequation #methodofFrobenius #algorithms

Algorithms_MDPI's tweet image. [Article] On the Solutions of Second-Order Differential Equations with Polynomial Coefficients: Theory, Algorithm, Application Full #openaccess @ lnkd.in/gvPRY8C #symboliccomputation #polynomialsolutions #Heunequation #Diracequation #methodofFrobenius #algorithms
0
0
1
0
0
Bibli_CIRM's profile picture. library # mathematics
Bibliothèque du CIRM
 @Bibli_CIRM
/04/07

🆕🎬FrancoFrancophone Computer Algebra Days Moreno Maza, Marc (2025). Polyhedral sets, lattice points, optimizing compilers and computer algebra - lecture 1 & 2 . CIRM. Audiovisual resource. dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #Maths #SymbolicComputation

Bibli_CIRM's tweet image. 🆕🎬FrancoFrancophone Computer Algebra Days Moreno Maza, Marc (2025). Polyhedral sets, lattice points, optimizing compilers and computer algebra - lecture 1 & 2 . CIRM. Audiovisual resource. dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #Maths #SymbolicComputation
0
0
4
0
34
Bibli_CIRM's profile picture. library # mathematics
Bibliothèque du CIRM
 @Bibli_CIRM
/03/13

🆕🎬Enumerative combinatorics and effective aspects of differential equations Schneider, Carsten (2025). Summation theory of difference rings and applications - lecture 1,2,3. CIRM dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #SymbolicComputation

Bibli_CIRM's tweet image. 🆕🎬Enumerative combinatorics and effective aspects of differential equations Schneider, Carsten (2025). Summation theory of difference rings and applications - lecture 1,2,3. CIRM dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #SymbolicComputation
1
0
3
0
34
Bibli_CIRM's profile picture. library # mathematics
Bibliothèque du CIRM
 @Bibli_CIRM
/04/07

🆕🎬FrancoFrancophone Computer Algebra Days Krick, Teresa (2025). Effective bounds for polynomial systems defined over the rationals - lecture 1 & 2. CIRM. dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #Maths #conference #SymbolicComputation

Bibli_CIRM's tweet image. 🆕🎬FrancoFrancophone Computer Algebra Days Krick, Teresa (2025). Effective bounds for polynomial systems defined over the rationals - lecture 1 & 2. CIRM. dx.doi.org/10.24350/CIRM.… dx.doi.org/10.24350/CIRM.… @_CIRM #Maths #conference #SymbolicComputation
1
0
3
0
43
Bibli_CIRM's profile picture. library # mathematics
Bibliothèque du CIRM
 @Bibli_CIRM
/04/07

🆕🎬FrancoFrancophone Computer Algebra Days Watch the talks of Francois Charton, Teresa Krick, Marc Moreno Maza in the Audiovisual Mathematics Library & carmin.tv carmin.tv/fr/c/1637 library.cirm-math.fr/ListRecord.htm… @_CIRM #Maths #conference #SymbolicComputation

Bibli_CIRM's tweet image. 🆕🎬FrancoFrancophone Computer Algebra Days Watch the talks of Francois Charton, Teresa Krick, Marc Moreno Maza in the Audiovisual Mathematics Library & carmin.tv carmin.tv/fr/c/1637 library.cirm-math.fr/ListRecord.htm… @_CIRM #Maths #conference #SymbolicComputation
1
2
3
0
260
ECCOMASofficial's profile picture. This is the official account of the European Community on Computational Methods in Applied Sciences (ECCOMAS) Send us your post at eccomas.yic@gmail.com
ECCOMAS Community
 @ECCOMASofficial
2024/10/21

The 7th edition of the International Conference on Numerical and Symbolic Computation Developments and Applications (SYMCOMP) will be set in Lisbon, Portugal for two days: 10-11 July 2025. 🗓️ Mark the date in your calendar! #ECCOMAS #conference #symboliccomputation

ECCOMASofficial's tweet image. The 7th edition of the International Conference on Numerical and Symbolic Computation Developments and Applications (SYMCOMP) will be set in Lisbon, Portugal for two days: 10-11 July 2025. 🗓️ Mark the date in your calendar! #ECCOMAS #conference #symboliccomputation
1
0
0
0
86

Something went wrong.


Something went wrong.


United States Trends