Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
ASC-Community
AngouriMath
Repository navigation
Code
Issues
93
(93)
Pull requests
Discussions
Actions
Projects
Wiki
Security and quality
Insights
More
items
Actions: ASC-Community/AngouriMath
Actions
All workflows
Workflows
.github/workflows/codecov.yml
.github/workflows/codecov.yml
C# Test
C# Test
C#/Kernel Build
C#/Kernel Build
C++ Build
C++ Build
C++ Test
C++ Test
Copilot
Copilot
Copilot code review
Copilot code review
Copilot coding agent
Copilot coding agent
F# Build
F# Build
F# Test
F# Test
Show more workflows...
Management
Caches
Deployments
C# Test
C# Test
Actions
Loading...
Loading
Sorry, something went wrong.
Uh oh!
There was an error while loading.
Please reload this page
.
will be ignored since log searching is not yet available
Show workflow options
Create status badge
Create status badge
Loading
Uh oh!
There was an error while loading.
Please reload this page
.
CSharpTest.yml
will be ignored since log searching is not yet available
2,240 workflow runs
2,240 workflow runs
Event
Filter by Event
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching events.
Status
Filter by Status
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching statuses.
Branch
Filter by Branch
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching branches.
Actor
Filter by Actor
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching users.
A power of the cosine beside a power of a + i a tan is read as one of…
C# Test
#3104:
Commit
c18738d
pushed by
Rafael-SOWNet
34m 10s
master
master
34m 10s
View workflow file
A power of the cosine beside a power of a + i a tan is read as one of the secant
C# Test
#3103:
Pull request
#1814
opened by
Rafael-SOWNet
32m 3s
a-power-of-the-cosine-below-a-power-of-an-imaginary-tangent-sum-is-read-as-the-secants
a-power-of-the-cosine-below-a-power-of-an-imaginary-tangent-sum-is-read-as-the-secants
32m 3s
View #1814
View workflow file
An odd power of the secant over a whole power of a + i a tan is integ…
C# Test
#3102:
Commit
8a310f7
pushed by
Rafael-SOWNet
22m 43s
master
master
22m 43s
View workflow file
An odd power of the secant over a whole power of a + i a tan is integrated in the sum
C# Test
#3101:
Pull request
#1813
opened by
Rafael-SOWNet
36m 9s
a-whole-power-of-the-secant-over-a-whole-power-of-an-imaginary-tangent-sum-is-integrated-in-the-sum
a-whole-power-of-the-secant-over-a-whole-power-of-an-imaginary-tangent-sum-is-integrated-in-the-sum
36m 9s
View #1813
View workflow file
A power of the secant beside a power of a + i a tan is integrated in …
C# Test
#3100:
Commit
b3ac1e8
pushed by
Rafael-SOWNet
26m 42s
master
master
26m 42s
View workflow file
A power of the secant beside a power of a + i a tan is integrated in the sum, whatever the powers
C# Test
#3099:
Pull request
#1812
opened by
Rafael-SOWNet
35m 0s
a-power-of-the-secant-beside-a-power-of-an-imaginary-tangent-sum-is-integrated-in-the-sum
a-power-of-the-secant-beside-a-power-of-an-imaginary-tangent-sum-is-integrated-in-the-sum
35m 0s
View #1812
View workflow file
A substitution under a binder neither captures the value nor passes o…
C# Test
#3098:
Commit
db33ae1
pushed by
Rafael-SOWNet
36m 22s
master
master
36m 22s
View workflow file
The floor and the ceiling of a rational are exact whatever its size (…
C# Test
#3097:
Commit
138f714
pushed by
Rafael-SOWNet
35m 36s
master
master
35m 36s
View workflow file
A quotient in x^2 over a power of a linear in x^2 and a biquadratic i…
C# Test
#3096:
Commit
1991692
pushed by
Rafael-SOWNet
27m 44s
master
master
27m 44s
View workflow file
A substitution under a binder neither captures the value nor passes over a body without the target
C# Test
#3095:
Pull request
#1811
opened by
Rafael-SOWNet
27m 15s
a-substitution-under-a-binder-skips-a-body-without-the-target
a-substitution-under-a-binder-skips-a-body-without-the-target
27m 15s
View #1811
View workflow file
The floor and the ceiling of a rational are exact whatever its size
C# Test
#3094:
Pull request
#1810
opened by
Rafael-SOWNet
33m 15s
an-exact-rational-is-floored-from-its-numerator-and-denominator
an-exact-rational-is-floored-from-its-numerator-and-denominator
33m 15s
View #1810
View workflow file
A quotient in x^2 over a power of a linear in x^2 and a biquadratic is split in x^2
C# Test
#3093:
Pull request
#1809
opened by
Rafael-SOWNet
38m 22s
an-even-quotient-over-a-power-of-a-linear-in-x-squared-is-split-in-x-squared
an-even-quotient-over-a-power-of-a-linear-in-x-squared-is-split-in-x-squared
38m 22s
View #1809
View workflow file
A quotient in x^2 over a power of x and a biquadratic is split in x^2…
C# Test
#3092:
Commit
2d3dc6a
pushed by
Rafael-SOWNet
24m 4s
master
master
24m 4s
View workflow file
A quotient in x^2 over a power of x and a biquadratic is split in x^2
C# Test
#3091:
Pull request
#1806
opened by
Rafael-SOWNet
31m 27s
an-even-quotient-over-a-power-of-x-and-a-biquadratic-is-split-in-x-squared
an-even-quotient-over-a-power-of-x-and-a-biquadratic-is-split-in-x-squared
31m 27s
View #1806
View workflow file
The tangent substitution, and a linear one, ask the same question (#1…
C# Test
#3090:
Commit
0630504
pushed by
Rafael-SOWNet
34m 23s
master
master
34m 23s
View workflow file
The tangent substitution, and a linear one, ask the same question
C# Test
#3089:
Pull request
#1802
synchronize by
Rafael-SOWNet
33m 33s
a-linear-substitution-and-the-tangent-substitution-ask-the-same-question
a-linear-substitution-and-the-tangent-substitution-ask-the-same-question
33m 33s
View #1802
View workflow file
An odd half power of a quadratic with i in it is reduced as one witho…
C# Test
#3088:
Commit
ecab3f7
pushed by
Rafael-SOWNet
40m 40s
master
master
40m 40s
View workflow file
A sum of two squares below the bar, beside a repeated factor, is spli…
C# Test
#3087:
Commit
ba77f7a
pushed by
Rafael-SOWNet
40m 42s
master
master
40m 42s
View workflow file
A sum that is the derivative of a product of powers is read as one (#…
C# Test
#3086:
Commit
54c1d10
pushed by
Rafael-SOWNet
39m 10s
master
master
39m 10s
View workflow file
A root over a number times 1 + i tan(z) is integrated as it is over a…
C# Test
#3085:
Commit
b3e736e
pushed by
Rafael-SOWNet
39m 6s
master
master
39m 6s
View workflow file
An odd half power of a quadratic with i in it is reduced as one without
C# Test
#3084:
Pull request
#1805
opened by
Rafael-SOWNet
58m 49s
an-odd-half-power-of-a-quadratic-off-the-real-line-is-reduced
an-odd-half-power-of-a-quadratic-off-the-real-line-is-reduced
58m 49s
View #1805
View workflow file
A sum of two squares below the bar, beside a repeated factor, is split over its conjugates
C# Test
#3083:
Pull request
#1804
opened by
Rafael-SOWNet
59m 38s
a-sum-of-two-squares-below-the-bar-is-split-over-its-conjugates
a-sum-of-two-squares-below-the-bar-is-split-over-its-conjugates
59m 38s
View #1804
View workflow file
A sum that is the derivative of a product of powers is read as one
C# Test
#3082:
Pull request
#1803
opened by
Rafael-SOWNet
1h 0m 19s
a-sum-that-is-the-derivative-of-a-product-of-powers-is-read-as-one
a-sum-that-is-the-derivative-of-a-product-of-powers-is-read-as-one
1h 0m 19s
View #1803
View workflow file
The tangent substitution, and a linear one, ask the same question
C# Test
#3081:
Pull request
#1802
opened by
Rafael-SOWNet
1h 31m 48s
a-linear-substitution-and-the-tangent-substitution-ask-the-same-question
a-linear-substitution-and-the-tangent-substitution-ask-the-same-question
1h 31m 48s
View #1802
View workflow file
A root over a number times 1 + i tan(z) is integrated as it is over a + i a tan(z)
C# Test
#3080:
Pull request
#1801
opened by
Rafael-SOWNet
49m 48s
a-shared-root-off-the-real-line-is-taken-out-beside-a-root
a-shared-root-off-the-real-line-is-taken-out-beside-a-root
49m 48s
View #1801
View workflow file
Previous
1
2
3
4
5
…
89
90
Next
You can’t perform that action at this time.