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

#symboliccomputation search results

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
May 5, 2022

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
cocalc_com's profile picture. Collaborate in real time while using Jupyter, Linux, LaTeX, and more.
CoCalc by SageMath, Inc.
 @cocalc_com
Oct 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
Bibli_CIRM's profile picture. library # mathematics
Bibliothèque du CIRM
 @Bibli_CIRM
Apr 7

🆕🎬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
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
Nov 26, 2020

[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
douira100's profile picture. enthusiast for building nice things | Java & TypeScript | cake and bread baking | likes Minecraft He/Him 🏳️‍🌈
douira
 @douira100
Mar 14, 2017

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
Apr 7

🆕🎬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
Mar 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
Apr 16, 2024

🆕🎬 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
Apr 7

🆕🎬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
Apr 7

🆕🎬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
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
Feb 16, 2015

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

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
Nov 23, 2020

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
Nov 22, 2020

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
MArchuleta38019's profile picture.
Mike Archuleta
 @MArchuleta38019
Jul 4

"But I can't change that of which is already there, I just provide the road map for tomorrows creative minds to build on. " "Quote" Mike Archuleta 2025 #QuantumComputation #SymbolicComputation #FractalMath #Nuerodivergent #Humanity

0
0
0
0
12
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
Jul 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
7
StackSciComp's profile picture. A Q&A site for scientists using computers to solve scientific problems
Sci Comp SE
 @StackSciComp
Apr 17, 2014

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

0
0
0
0
0
cocalc_com's profile picture. Collaborate in real time while using Jupyter, Linux, LaTeX, and more.
CoCalc by SageMath, Inc.
 @cocalc_com
Oct 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
Jul 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
7
Bibli_CIRM's profile picture. library # mathematics
Bibliothèque du CIRM
 @Bibli_CIRM
Apr 7

🆕🎬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
Apr 7

🆕🎬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
Apr 7

🆕🎬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
Apr 7

🆕🎬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
Mar 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
Oct 21, 2024

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
Apr 16, 2024

🆕🎬 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
Apr 16, 2024

🆕🎬 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
Nov 4, 2023

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
Sep 7, 2022

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
May 5, 2022

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
Nov 26, 2020

[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
Nov 23, 2020

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
Nov 22, 2020

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
No results for "#symboliccomputation"
No results for "#symboliccomputation"

Something went wrong.


Something went wrong.


United States Trends